Utilisateur:Manu31415/Brouillon
- → 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.
| 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
[modifier | modifier le code]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
[modifier | modifier le code]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
[modifier | modifier le 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
[modifier | modifier le code]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
[modifier | modifier le code]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
[modifier | modifier le code]- 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
[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. |
PragmaDev
[modifier | modifier le code]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.[1]
References
[modifier | modifier le code]- « PragmaDev. Profile. » (consulté le ) : « PragmaDev est un éditeur d'outils de modélisation basé sur LDS... »
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., 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.
- (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).
Liens externes
[modifier | modifier le code]{{DEFAULTSORT:RTDS}} [[Category:Software modeling tools]]
Vous êtes ici sur la page personnelle d’un utilisateur de Wikipédia en français.
Cette page ne fait pas partie de l’espace encyclopédique de Wikipédia.
Si vous avez accédé à cette page depuis un autre site que celui de Wikipédia en français, c’est que vous êtes sur un site miroir ou un site qui fait de la réutilisation de contenu. Cette page n’est peut-être pas à jour et l’utilisateur identifié n’a probablement aucune affiliation avec le site sur lequel vous vous trouvez. L’original de cette page se trouve à l'adresse suivante : https://fr.wikipedia.org/wiki/Utilisateur:Manu31415/Brouillon.