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

https://hal.telecom-paristech.fr/hal-02287860
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:26:15 PM
Last modification on : Sunday, September 15, 2019 - 1:12:16 AM

Identifiers

  • HAL Id : hal-02287860, version 1

Citation

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⟩

Share

Metrics

Record views

5