HAL : hal-00371596, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

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 1, Xavier Crégut 1, Jean-Pierre Giacometti 2, Pierre Michel 3, Marc Pantel 1

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)
	Airbus
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

Équipe de recherche : IRIT; ONERA; Airbus

Domaine

:

Informatique/Génie logiciel

hal-00371596, version 1

http://hal.archives-ouvertes.fr/hal-00371596

oai:hal.archives-ouvertes.fr:hal-00371596

Contributeur : Benoit Combemale <>

Soumis le : Dimanche 29 Mars 2009, 23:18:55

Dernière modification le : Lundi 30 Mars 2009, 06:40:28