OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Early Checking of SysML Models Applied to Protocols

Saqui-Sannes, Pierre de and Vingerhoeds, Rob A. and Apvrille, Ludovic Early Checking of SysML Models Applied to Protocols. (2018) In: 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), 27 June 2018 - 29 June 2018 (Toulouse, France).

[img]
Preview
(Document in English)

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

Abstract

The paper shares an experience in using SysML and the free, open-source software TTool for protocol modelling and communication architecture validation. A dialogue between a pilot and a control tower serves as running example to demonstrate the benefits of complementary model analysis techniques: simulation, model checking, and verification by abstraction. The proposed method may be adapted to other modelling languages and tools.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Telecom ParisTech (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes
Deposited On:21 Mar 2018 16:12

Repository Staff Only: item control page