OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool

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-30 Janv 2009, Toulouse, France . (Unpublished)

[img]
Preview
(Document in French)

PDF ( Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
199Kb

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
Other partners > Telecom ParisTech (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Statistics:download
Deposited By:Pierre de Saqui-Sannes

Repository Staff Only: item control page