Développement orienté modèle : la version 4.1 de RTDS

Posté le 15 mars 2010 :: Développement

PragmaDev introduit le support d’ASN.1 et la génération de code statique dans son outil de développement orienté modèle, RTDS.

PragmaDev annonce la sortie de la version 4.1 de RTDS, introduisant "plus de 40 nouvelles fonctionnalités dans son outil de développement orienté modèle dédié aux applications temps réel et embarquées."

L’outil propose trois niveaux de modélisation : informel, semi-formel, et formel. Plus le modèle est formel plus l’outil offre des fonctionnalités telles que la vérification, le test, le prototypage ou la génération de code.

Parmi les nouvelles fonctionnalités :
Les support des données ASN.1 dans les modèles SDL,
La génération de code sans allocation dynamique de mémoire,
L’introduction d’un scheduler C pour la génération de code à partir de modèles SDL,
La couverture de code lors de la simulation d’un modèle SDL,
L’introduction d’un nouveau symbole d’information dans les traces MSC à partir d’un système SDL-RT,
La génération automatique de suites de test TTCN-3 suite à une simulation exhaustive avec les outils IF,
La possibilité de décrire les observateurs de vérification graphiquement,
Introduction d’un outil d’analyse graphique de l’utilisation des licences du PragmaDev License Manager,
Génération de code à partir d’un système uniquement UML,
Génération automatique de documentation à partir du modèle.