Skip to Main content Skip to Navigation
Conference papers

Qualitative Simulation of Hybrid Systems with an Application to SysML Models

Abstract : Hybrid systems are specified in a heterogeneous form, with discrete and continuous parts. Simulating such systems requires precise data and synchronization of continuous changes and discrete transitions. However, in the early design stages, missing information forbids numerical simulation. We present here a symbolic execution model for the qualitative simulation of hybrid systems, which consists in computing only qualities of the behavior. This model is implemented in the Diversity symbolic execution engine to build the qualitative behaviors of the system. We apply this approach to the analysis of SysML models, using an M2M transformation from SysML to a pivot language and an M2T transformation from this language to Diversity.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal-centralesupelec.archives-ouvertes.fr/hal-01707264
Contributor : Frédéric Boulanger <>
Submitted on : Monday, February 12, 2018 - 4:25:13 PM
Last modification on : Wednesday, September 16, 2020 - 5:51:15 PM
Long-term archiving on: : Tuesday, May 8, 2018 - 2:22:34 AM

File

article_modelsaward_2018.pdf
Files produced by the author(s)

Identifiers

Citation

Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger. Qualitative Simulation of Hybrid Systems with an Application to SysML Models. 6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006535202790286⟩. ⟨hal-01707264⟩

Share

Metrics

Record views

723

Files downloads

328