Simulation of Multi-Formalism Models with ModHel'X

A step in the validation of a system is to check its behavior by simulation. Simulation is also used to validate the behavior of the model of the system against test patterns. For complex systems, models are made of parts which use different modeling formalisms. The main issues in the simulation of...

Full description

Saved in:
Bibliographic Details
Main Authors: Boulanger, F., Hardebolle, C.
Format: Conference Proceeding
Language:English
Subjects:
Automata
Automatic control
Computational modeling
Context modeling
Differential equations
Engines
Heterogeneous modeling
Mathematical model
Model of computation
Power system modeling
Simulation
Software testing
System testing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A step in the validation of a system is to check its behavior by simulation. Simulation is also used to validate the behavior of the model of the system against test patterns. For complex systems, models are made of parts which use different modeling formalisms. The main issues in the simulation of such systems are the specification of the semantics of each modeling formalism, and of the interactions between heterogeneous parts of a model. ModHel'X relies on component based modeling and models of computation to address these problems and focuses on the computation of one possible behavior of a model. This includes simulation and code generation. ModHel'X defines a MOF meta-model for describing the structural elements of a modeling language. The semantics of modeling languages is expressed in an imperative style and addresses three aspects: control, data and time. ModHel'X is supported by a simulator of multi-formalism models.
ISSN:2159-4848
2771-3091
DOI:10.1109/ICST.2008.15