OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

AVATAR/TTool : un environnement en mode libre pour SysML temps réel

Apvrille, Ludovic and Saqui-Sannes, Pierre de AVATAR/TTool : un environnement en mode libre pour SysML temps réel. (2011) Génie Logiciel, vol. 58 (n° 98). pp. 22-26. ISSN 1265-1397

[img](Document in French)

PDF (Publisher's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
509Kb

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
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Telecom ParisTech (FRANCE)
Laboratory name:
Statistics:download
Deposited By:Pierre de Saqui-Sannes

Repository Staff Only: item control page