Skip to Main content Skip to Navigation
Theses

EMI : Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable - Application aux modèles UML des systèmes embarqués

Abstract : The increasing complexity of embedded systems renders them more vulnerable to software bugs, design errors and security flaws. Therefore, there is a growing need for verification and validation activities. To execute and analyze models of these systems, transformations are usually required to obtain (i) the executable code that can be deployed on embedded targets as well as (ii) analysis models used to apply formal verification techniques (e.g., model-checking). However, these typically unproven transformations are responsible for semantic gaps and require to establish an equivalence relation between executable code and analysis models to ensure that what is executed is what has been verified. To unify analysis activities and embedded execution of these models, the EMI approach relies on a controllable model interpreter that uses a unique pair (model + semantics) for all software development activities. To evaluate this approach, a UML model interpreter has been designed and applied on different case studies of embedded systems to perform multiple analysis activities (e.g., simulation, animation, debugging, model-checking, monitoring).
Document type :
Theses
Complete list of metadata

https://hal.archives-ouvertes.fr/tel-03150281
Contributor : Anne-Flore Jarry <>
Submitted on : Tuesday, February 23, 2021 - 4:27:47 PM
Last modification on : Friday, March 5, 2021 - 3:20:17 AM
Long-term archiving on: : Monday, May 24, 2021 - 8:41:18 PM

File

manuscrit-valentin-besnard-ver...
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03150281, version 1

Collections

Citation

Valentin Besnard. EMI : Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable - Application aux modèles UML des systèmes embarqués. Systèmes embarqués. ENSTA Bretagne, 2020. Français. ⟨tel-03150281⟩

Share

Metrics

Record views

85

Files downloads

81