loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Slim Medimegh 1 ; Jean-Yves Pierron 1 and Frédéric Boulanger 2

Affiliations: 1 CEA LIST, France ; 2 Université Paris-Saclay, France

Keyword(s): Hybrid Systems, Qualitative Simulation, Symbolic Execution, Model Transformation.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Methodologies, Processes and Platforms ; Model Execution and Simulation ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.12.31

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Medimegh, S.; Pierron, J. and Boulanger, F. (2018). Qualitative Simulation of Hybrid Systems with an Application to SysML Models. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 279-286. DOI: 10.5220/0006535202790286

@conference{modelsward18,
author={Slim Medimegh. and Jean{-}Yves Pierron. and Frédéric Boulanger.},
title={Qualitative Simulation of Hybrid Systems with an Application to SysML Models},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2018},
pages={279-286},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006535202790286},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Qualitative Simulation of Hybrid Systems with an Application to SysML Models
SN - 978-989-758-283-7
IS - 2184-4348
AU - Medimegh, S.
AU - Pierron, J.
AU - Boulanger, F.
PY - 2018
SP - 279
EP - 286
DO - 10.5220/0006535202790286
PB - SciTePress