PragmaDev Studio
| Développé par | PragmaDev |
|---|---|
| Dernière version | 5.5 () |
| Environnement | Linux, Windows, macOS, Raspbian |
| Type | Outil de modélisation |
| Licence | Gratuite et commerciale |
| Site web | www.pragmadev.com |
PragmaDev Studio initialement appelé Real Time Developer Studio ou RTDS est un outil introduit par la société PragmaDev en 2002. Son objectif initial était de supporter la technologie de modélisation SDL-RT, un mélange du standard LDS de l'UIT-T et du langage C. Depuis la version 5.0 lancée le RTDS a été renommé PragmaDev Studio. Studio est organisé en quatre modules indépendants: Specifier, Developer, Tester, Tracer. Depuis la version 5.1 lancée le l'outil est disponible gratuitement pour les petits projets.
Langage de Description et de Specification
[modifier | modifier le code]Le Langage de Description et de Spécification -LDS- est un langage de modélisation standardisé par l'UIT-T pour décrire les systèmes communicants. LDS est graphique et intègre un langage d'action avec une sémantique d'exécution ce qui rend les modèles LDS exécutables. De ce fait LDS est considéré comme formel car il est complet et non ambigu. En Anglais LDS est appelé SDL Specification and Description Language. SDL-RT est une variante de SDL dans laquelle le langage d'action est remplacé par des instructions en code C ou C++. SDL-RT est considéré comme semi-formel car c'est un mélange de code et de modèle. L'UIT-T a standardisé un profil UML basé sur le SDL ce qui par extension rend tout outil SDL une sorte d'outil UML.
Simulation
[modifier | modifier le code]PragmaDev Specifier intègre un simulateur de modèle LDS dont les fonctionnalités sont proches d'un débogueur de modèle. Il est possible de mettre des points d'arrêt graphiques, de visualiser les valeurs des variables, de voir les timers actifs. Durant l'exécution une trace graphique est générée au format Message Sequence Chart de l'UIT-T.
Génération de code
[modifier | modifier le code]PragmaDev Developer peut générer du code C ou C++ à partir d'un modèle SDL-RT. PragmaDev Studio peut aussi générer du code à partir d'un modèle SDL. Le code généré peut être adapté sur n'importe quel système d'exploitation temps réel ou scheduler. L'outil propose aussi des intégrations avec des débogueurs tels que gdb de telle sorte que l'utilisateur a l'impression de déboguer son modèle et pas le code généré.
Vérification de modèle
[modifier | modifier le code]PragmaDev Studio peut exporter le modèle sous différents formats tels que IF, FIACRE, ou XLIA. Ces formats servent d'entrée à des outils académiques de vérification tels que IFx de Verimag, TINA du LAAS, ou Diversity du CEA LIST.
Test
[modifier | modifier le code]PragmaDev Tester supporte le standard international de test TTCN-3. Comme pour les modèles, l'outil peut simuler les tests en confrontation avec un modèle, ou du code de test peut être généré pour exécution contre une implémentation (SUT: System Under Test).
Test basé sur les modèles
[modifier | modifier le code]- PragmaDev Studio peut générer des cas de test au format TTCN-3 à partir de traces d'exécution au format Message Sequence Charts .
- Des cas de tests peuvent aussi être générés à partir d'un modèle LDS via une technologie tierce telle que IFx de Verimag ou Diversity du CEA LIST. Pour cela PragmaDev Studio exporte le modèle vers un langage pivot qui est pris en entrée par l'outil tiers.
Historique des versions de PragmaDev Studio
[modifier | modifier le code]
| Année de sortie | Version | Résumé |
|---|---|---|
| 2002 | 1.x | Support de SDL-RT avec génération de code pour VxWorks et débogue avec Tornado. |
| 2003 | 2.x | Support UML. |
| 2004 | 3.x | Support SDL avec simulateur de modèles. |
| 2009 | 4.x | Support du TTCN-3 pour le test. |
| 2015 | 5.x | Nouvelle ergonomie. Nouvelle organisation en modules: Specifier, Developer, Tester, Tracer. |
PragmaDev
[modifier | modifier le code]L'éditeur de RTDS, puis de PragmaDev Studio est la société privée PragmaDev. PragmaDev a été créée en 2001 et est basée à Paris en France[1].
Références
[modifier | modifier le code]- « Profil PragmaDev. » (consulté le ) : « PragmaDev, lauréat du concours national du ministère de la recherche 2001 pour la création d'entreprises de technologies innovantes, est une société indépendante basée à Paris France qui fournit une suite d'outils pour le développement des applications temps réel et embarquées: Real Time Developer Studio. »
Articles
[modifier | modifier le code]- Kuhn, T.; Gotzhein, R.; Webel, C., "Model-Driven Development with SDL – Process, Tools, and Experiences" in Model Driven Engineering Languages and Systems, Eds. Nierstrasz, Oscar; Whittle, Jon; Harel, David; Reggio, Gianna, Springer LNCS 4199, October 2006.
- Hassine, M.B.; Grati, K.; Ghazel, A.; Kouki, A., "Design and Implementation of AIS Link Layer Using SDL-RT", Systems Conference, 2008 2nd Annual IEEE, vol., no., p. 1,5, 7-10 April 2008.
- Serge Haddad; Fabrice Kordon; Laurent Pautet; Laure Petrucci, "Distributed Systems: Design and Algorithms", Wiley and Sons Inc. 2011.
- SAM 2010 proceedings Springer LNCS.
- SDL 2009 proceedings Springer LNCS.
- Models 2006 conference Springer LNCS.
- Distributed systems Wiley 2013.
- CASE 2011 Simposio Argentino de Sistemas Embedidos.
- Cours sur les langages de programmation de systèmes temps réel à l'ENSEEIHT.
- (en) Laurent Doldi, Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis, John Wiley & Sons, Inc., (lire en ligne)
- SDL Illustrated - Visually design executable models - TMSO - (ISBN 2-9516600-0-6).
