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

Paris - France - Le 12 mars 2010 - 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 basé sur des standards internationaux.

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 on retiendra:

  • 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.



A propos de PragmaDev
PragmaDev est une société indépendante à forte croissance basée à Paris France qui fournit une suite d’outils pour le développement orienté modèle des applications temps réel et embarquées: Real Time Developer Studio.
PragmaDev compte parmi ses clients Airbus, Alcatel, Renault, Wipro, Thomson, la DGA, Nortel Networks, Korean Telecom, l’Agence Spatiale Européenne, Toshiba, et LG Electronics.