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).
|
(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
