Skip to Main content Skip to Navigation
Conference papers

Early Checking of SysML Models Applied to Protocols

Pierre de Saqui-Sannes 1 Rob Vingerhoeds 1 Ludovic Apvrille 2, 3
1 ISAE-SUPAERO - Institut Supérieur de l'Aéronautique et de l'Espace
2 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
3 COMELEC - Département Communications & Electronique
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.
Keywords : Modeling SysML Simulation Formal verification TTool Protocol
Document type :
Conference papers
Complete list of metadatas
https://hal.telecom-paris.fr/hal-02287860
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:26:15 PM
Last modification on : Friday, July 31, 2020 - 11:28:04 AM

Identifiers

  • HAL Id : hal-02287860, version 1

Collections

LTCI | PARISTECH | INSTITUT-TELECOM | COMELEC | LABSOC | MOSIM2018 | UNIV-PARIS-SACLAY | TDS-MACS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

38