Skip to Main content Skip to Navigation
Theses

Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués

Abstract : Embedded software has becomeessential in most industrial sectors. The latterusually involves various business knowledge.The whole system (the software and itsenvironment) is specified in a heterogeneousform, with discrete and continuous parts.Simulating these hybrid systems requiresprecise data and synchronization of continuouschanges and discrete transitions. However, inthe first design steps, missing informationforbids numerical simulation. We present in ourthesis a new qualitative language for qualitativesimulation of hybrid systems, which consists incomputing the relationships between the systemvariables. This language is implemented in theDiversity symbolic execution engine to build thetraces of the system. We apply this approach tothe analysis of SysML models, using an M2Mtransformation from SysML to a pivot language,an M2T transformation from this language toDiversity. We also analyze the brutal symbolictraces obtained by Diversity to build the realqualitative behaviors of the system.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-02017872
Contributor : Abes Star :  Contact
Submitted on : Wednesday, February 13, 2019 - 2:05:07 PM
Last modification on : Wednesday, September 16, 2020 - 5:02:19 PM
Long-term archiving on: : Tuesday, May 14, 2019 - 5:13:50 PM

File

pdf2star-1550062518-72461_MEDI...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02017872, version 1

Citation

Slim Medimegh. Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués. Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC093⟩. ⟨tel-02017872⟩

Share

Metrics

Record views

521

Files downloads

253