PragmaDev Studio

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.

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.

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

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.

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

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

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

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

• Telecom SudParis school of engineering handout on SDL.

• (en) Laurent Doldi, Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis, John Wiley & Sons, Inc., 2003 (lire en ligne)

• SDL Illustrated - Visually design executable models - TMSO - (ISBN 2-9516600-0-6).

• PragmaDev Process

• Page d'accueil PragmaDev

• Portail du logiciel
• Portail des mathématiques