Skip to Main content Skip to Navigation
Conference papers

Early Checking of SysML Models Applied to Protocols

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.
Complete list of metadata
Contributor : Telecomparis Hal Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:26:15 PM
Last modification on : Tuesday, October 19, 2021 - 11:15:20 AM


  • HAL Id : hal-02287860, version 1


Pierre de Saqui-Sannes, Rob Vingerhoeds, Ludovic Apvrille. Early Checking of SysML Models Applied to Protocols. 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France. ⟨hal-02287860⟩



Record views