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]](http://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png)
| (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: | Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Laboratoire System on Chip - LabSoC (Sophia-Antipolis, France) |
| Statistics: | download |
| Deposited By: | Pierre de Saqui-Sannes |
Repository Staff Only: item control page
