Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 metadata
https://hal.telecom-paris.fr/hal-02287860
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:26:15 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM

Identifiers

  • HAL Id : hal-02287860, version 1

Collections

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

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 Datacite

Share

Metrics

Record views

40