Direct Model-checking of SysML Models - Equipe System on Chip Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Direct Model-checking of SysML Models

Résumé

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a new model-checker that can be applied (almost) directly to the SysML model. The paper first explains how this model-checker works. Then, we explain how it can efficiently check CTL-like properties. Finally, the paper discusses the performance of this model-checker integrated in the TTool framework.
Fichier principal
Vignette du fichier
Modelsward2021_TempiaCalvino_Apvrille.pdf (269.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03349263 , version 1 (21-09-2021)

Identifiants

Citer

Alessandro Tempia Calvino, Ludovic Apvrille. Direct Model-checking of SysML Models. 9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.216-223, ⟨10.5220/0010256302160223⟩. ⟨hal-03349263⟩
426 Consultations
154 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More