AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models - Equipe System on Chip
[go: up one dir, main page]

Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2023
AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models
1 DACLE-LETI - Département d'Architectures, Conception et Logiciels Embarqués-LETI (CEA Grenoble - France)
"> DACLE-LETI - Département d'Architectures, Conception et Logiciels Embarqués-LETI
2 Mines Saint-Étienne MSE - École des Mines de Saint-Étienne (158, Cours Fauriel - 42023 Saint Étienne cedex 2 - France)
"> Mines Saint-Étienne MSE - École des Mines de Saint-Étienne
3 CMP-ENSMSE - Centre Microélectronique de Provence - Site Georges Charpak (CMP-GC) (880, route de Mimet 13541 GARDANNE - FRANCE - France)
"> CMP-ENSMSE - Centre Microélectronique de Provence - Site Georges Charpak (CMP-GC)
4 ENS de Lyon - École normale supérieure de Lyon (15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)
"> ENS de Lyon - École normale supérieure de Lyon
5 LabSoC - System on Chip (Télécom Paris (Eurecom) Sophia Antipolis - France) "> LabSoC - System on Chip
6 COMELEC - Département Communications & Electronique (19 Place Marguerite Perey 91120 PALAISEAU - France) "> COMELEC - Département Communications & Electronique
7 FAYOL-ENSMSE - Institut Henri Fayol (158 cours Fauriel 42023 Saint-Etienne Cedex 2 - France) "> FAYOL-ENSMSE - Institut Henri Fayol
8 FAYOL-ENSMSE - Département Informatique et systèmes intelligents (France) "> FAYOL-ENSMSE - Département Informatique et systèmes intelligents

Résumé

SysML models are widely used for designing and analyzing complex systems. Model-based design methods often require successive modifications of the models, whether for incrementally refining the design (e.g. in agile development methods) or for testing different design options. Such modifications, or mutations, are also used in mutation-based testing approaches. However, the definition of mutation operators can be a complex issue and applying them to models is sometimes performed by hand: this is time consuming and error prone. The paper addresses this issue thanks to the introduction of AMULET, the first mutation language for SysML. AMULET encompasses the modifications targeting SysML block and state-machine diagrams, and is supported by a compiler the paper presents. This compiler is integrated in TTool, an open-source SysML toolkit, enabling the full support of design methods including model design, mutation and verification tasks in a unique toolkit. The paper also introduces two case-studies providing concrete examples of AMULET use for modeling vulnerabilities and cyber attacks, and highlighting the benefits of AMULET for SysML mutations.
Fichier principal
Vignette du fichier
3624583.pdf (434.19 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

emse-04212653 , version 1 (12-09-2024)
Identifiants

Citer

Bastien Sultan, Léon Frénot, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert. AMULET: a Mutation Language Enabling Automatic Enrichment of SysML Models. ACM Transactions on Embedded Computing Systems (TECS), 2023, pp.1-28. ⟨10.1145/3624583⟩. ⟨emse-04212653⟩
260 Consultations
14 Téléchargements

Altmetric

Partager

More