 |
|
|
|
| HAL: hal-00371596, version 1 |
| Detailed view |  Export this paper |
|
|
| 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Toulouse, France : France (2008) |
|
|
|
|
| Introducing Simulation and Model Animation in the MDE Topcased Toolkit |
|
|
| Benoît Combemale 1Xavier Crégut 1 |
|
|
| For the TOPCASED collaboration(s) |
|
|
| (2008) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Institut de recherche en informatique de Toulouse (IRIT) |
|
|
|
CNRS : UMR5505 – Université des Sciences Sociales - Toulouse I – Université Toulouse le Mirail - Toulouse II – Université Paul Sabatier - Toulouse III |
|
|
| 2: | Airbus France |
|
|
|
Airbus France |
|
|
| 3: | Fédération de Recherche en Informatique et Automatique (FRIA) |
|
|
|
CNRS : FR2238 – ONERA – Institut National Polytechnique de Toulouse - INPT – Université Paul Sabatier - Toulouse III |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Software Engineering |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00371596, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00371596/en/ | |
| oai:hal.archives-ouvertes.fr:hal-00371596_v1 | |
| From: Benoît Combemale | |
| Submitted on: Sunday, 29 March 2009 23:18:55 | |
| Updated on: Monday, 30 March 2009 06:40:28 | |
