Early Checking of SysML Models Applied to Protocols - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

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.
Not file

Dates and versions

hal-02287860 , version 1 (13-09-2019)

Identifiers

  • HAL Id : hal-02287860 , version 1

Cite

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⟩
44 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More