OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

SysML Models Verification Relying on Dependency Graphs

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Hotescu, Oana Andreea and Tempia Calvino, Alessandro SysML Models Verification Relying on Dependency Graphs. (2022) In: MODELSWARD 2022 : 10th International Conference on Model-Driven Engineering and Software Development, 6 February 2022 - 8 February 2022 (Virtual, Vienna, Austria).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Formal verification of SysML models contributes to detect design errors early in the life cycle of systems. Incremental modeling of systems leads to repeat verification of systems models parts that were already verified in previous versions of the SysML model. This paper proposes to optimize the verification process by generating first a dependency graph of the SysML model. The dependency generation algorithm is implemented by free SysML tool TTool. An Avionics Full DupleX network serves as case study.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Ecole Polytechnique Fédérale de Lausanne - EPFL (SWITZERLAND)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Télécom Paris (FRANCE)
Laboratory name:
Deposited On:18 Nov 2021 13:57

Repository Staff Only: item control page