Introducing Simulation and Model Animation in the MDE Topcased Toolkit

Benoit Combemale (1) , Xavier Crégut (1, 2) , Jean-Pierre Giacometti (3) , Pierre Michel (4) , Marc Pantel (1, 2)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 Toulouse INP - Institut National Polytechnique (Toulouse)
3 Airbus [France]
4 FRIA - Fédération de Recherche en Informatique et Automatique

The Topcased project aims at developing a modular and generic CASE environment for model driven development of safety critical systems. Model validation is a key feature in this project and model simulation is a major way for validation. The purpose of this paper is to present the current Topcased process for building model simulators and animators. After introducing the functional requirements for model simulation and animation, it is explained how simulation is currently being integrated in the Topcased environment, presenting the main components of a simulator: a model animator, a scenario builder and a simulation engine. The approach is illustrated by the presentation of the first simulation experiment conducted in the project: the UML 2 StateMachines case study.

Domaines: Génie logiciel [cs.SE]

Benoit Combemale, Xavier Crégut, Jean-Pierre Giacometti, Pierre Michel, Marc Pantel. Introducing Simulation and Model Animation in the MDE Topcased Toolkit. 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France, France. http://www.erts2008.org/. ⟨hal-00371596⟩