PragmaDev annonce la version 3.4 de RTDS, son outil de développement orienté modèle dédié aux applications temps réel et embarquées

PragmaDev, lauréat du concours national du ministère de la recherche 2001 pour la création d’entreprises de technologies innovantes, annonce la sortie de la version 3.4 de RTDS, son outil de développement orienté modèle dédié aux applications temps réel et embarquées basé sur les standards SDL de l’Union Internationale des Télécommunications et UML de l’Object Management Group.

La version 3.4 de Real Time Developer Studio introduit 30 nouvelles fonctionnalités et se positionne comme l’environnement de développement des applications temps réel et embarquées le plus complet du marché en intégrant le support de UML, SDL, SDL-RT, C, et C++ dans le même outil.

Parmis les nouvelles fonctionnalités on retiendra:

Génération de code C à partir du SDL
RTDS permet de générer le code C complet intégré à un système d’exploitation temps réel depuis un modèle SDL. Ceci permet d’imlémenter le système directement sur une cible après simulation et validation du comportement sur station hôte.
Intégration Nucleus
Le code généré peut maintenant être intégré nativement sur système d’exploitation temps réel Nucleus.
Intégration OSE 5.2
Le code généré peut maintenant être intégré sur la dernière version du système d’exploitation temps réel OSE Delta.
Vérification du modèle
Le système SDL peut être exporté au format IF permettant d’utiliser un vérificateur de modèle tel que celui des laboratoires Verimag. L’appel au vérificateur peut se faire automatiquement et permet d’afficher un scénario d’erreur sous forme de MSC (Diagramme de Séquence).
Traçabilité
Des informations de traçabilité peuvent être ajoutées à n’importe quel élément du projet et un utilitaire d’intégration avec l’outil Reqtify est inclus dans la distribution. Reqtify est un outil léger de traçabilité d’exigences qui permet de capturer les exigences depuis n’importe quelle source et de faire des analyses d’impact. Reqtify offre des liens avec Word, Excel, des outils de modélisation UML et SysML, ainsi que d’autres outils de traçabilité du marché.