Utilisateur:Manu31415/Brouillon

• Gérer mon brouillon
• Demander une relecture (voir les demandes)
• Publier mon brouillon

Cette page est un brouillon appartenant à Manu31415

Conseils de rédaction

• → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
• → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.

Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :

• Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
• Indiquez les éléments démontrant la notoriété du sujet (aide).
• Liez chaque fait présenté à une source de qualité (quelles sources  – comment les insérer).
• Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
• Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).

• → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.

Real Time Developer Studio

Informations

Développé par	PragmaDev
Dernière version	4.5
Environnement	Linux, Windows, Solaris, OS X
Type	Software development
Site web	www.pragmadev.com

Real Time Developer Studio, habituellement appelé RTDS, est un outil introduit par la société PragmaDev en 2002. Son objectif initial était de supporter la technologue de modélisation SDL-RT, un mix du standard LDS de l'ITU-T et du langage C.

Langage de Description et de Specification

Le Langage de Description et de Specification -LDS- est un langage de modélisation standardisé par l'ITU-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 mix de code et de modèle. L'ITU-T a standardisé un profil UML basé sur le SDL ce qui par extension rend tout outil SDL une sorte d'outil UML.

Simulation

Real Time Developer Studio 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'ITU-T.

Génération de code

Real Time Developer Studio peut générer du code C ou C++ à partir d'un modèle SDL ou SDL-RT. 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

Real Time Developer Studio peut exporte 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

Real Time Developer Studio 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

• Real Time Developer 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 Real Time Developer Studio exporte le modèle vers un langage pivot qui est pris en entrée par l'outil tiers.

Historique des versions de Real Time Developer Studio

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.

PragmaDev

L'éditeur de RTDS est la société privée PragmaDev. PragmaDev a été créée en 2001 et est basée à Paris en France.

Articles

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

• ENSEEIHT school of engineering handout on embedded systems.

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

Liens externes

• PragmaDev Home Page

{{DEFAULTSORT:RTDS}} [[Category:Software modeling tools]]