Qualitative Simulation of Hybrid Systems with an Application to SysML Models

Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger

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.

Download


Paper Citation


in Harvard Style

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 - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 279-286. DOI: 10.5220/0006535202790286


in Bibtex Style

@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 - Volume 1: MODELSWARD,},
year={2018},
pages={279-286},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006535202790286},
isbn={978-989-758-283-7},
}


in EndNote Style

TY - CONF

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