Saqui-Sannes, Pierre de and Apvrille, Ludovic Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool. (2009) In: GPL 2009 - 1ères journées nationales du GDR Génie de la programmation et du Logiciel, 28 January 2009 - 30 January 2009 (Toulouse, France).
|
(Document in French)
PDF ( Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 204kB |
Official URL: http://gdr-gpl.cnrs.fr/index.php?option=com_content&task=view&id=43&Itemid=35
Abstract
La démonstration proposée concerne la traçabilité d'exigences tout au long du cycle de développement d'un système temps-réel, potentiellement distribué. L'outil TTool, basé sur un profil UML2, permet de saisir les exigences au format SysML, puis de confronter, par utilisation de techniques de vérification formelle, ces exigences aux diagrammes UML du système.
| Item Type: | Conference or Workshop Item (Poster) |
|---|---|
| Audience (conference): | National conference without published proceedings |
| Uncontrolled Keywords: | |
| Institution: | Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE) Other partners > Télécom Paris (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) |
| Laboratory name: | Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Laboratoire Traitement et Communication de l'Information - LTCI (Paris, France) |
| Statistics: | download |
| Deposited On: | 04 Mar 2009 08:29 |
Repository Staff Only: item control page
