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 metadatas

Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:26:15 PM
Last modification on : Sunday, September 15, 2019 - 1:12:16 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