Apvrille, Ludovic and Saqui-Sannes, Pierre de AVATAR/TTool : un environnement en mode libre pour SysML temps réel. (2011) Génie Logiciel, 58 (98). 22-26. ISSN 1265-1397
|
(Document in French)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 544kB |
Abstract
Cet article partage une expérience de modélisation de systèmes temps réel s’appuyant sur le langage AVA- TAR dérivé de SysML, l’outil en mode libre TTool et la méthode associée. AVATAR enrichit SysML par son lan- gage TEPE d’expression de propriétés. Sa sémantique formelle, par traduction vers les automates temporisés, autorise les preuves de sûreté et celle obtenue par traduction vers le pi-calcul rend possible les preuves de sécurité. Exé- cutable sur Linux, MacOS et Windows, l’outil en mode libre TTool mise quant à lui sur l’accessibilité aux non spé- cialistes pour offrir un éditeur de diagrammes, un simulateur de modèles, une interface aux outils de vérification formelle UPPAAL et ProVerif, et un générateur de code C Posix. L’article illustre l’approche AVATAR sur une étude de cas pédagogique et recense les projets académiques et industriels qui font appel à TTool.
Item Type: | Article |
---|---|
Audience (journal): | International peer-reviewed journal |
Uncontrolled Keywords: | |
Institution: | French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE) Other partners > Telecom ParisTech (FRANCE) |
Laboratory name: | Laboratoire SoC (Systems on Chip) - LabSoc (Sophia Antipolis, France) Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS |
Statistics: | download |
Deposited On: | 04 Oct 2011 14:04 |
Repository Staff Only: item control page