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.

Lien : www.pragmadev.com