ThesisAuthors: DUMOULIN, Cédric; NGUYEN, Viet Hoa (2009)
L’équipe projet INRIA DaRT propose un environnement de conception GASPARD
basé sur l’ingénierie dirigée par les modèles pour la conception de systèmes embarqués à
hautes performances. Les systèmes embarqués sont conçus à un niveau d ’abstraction
élevé à l’aide du profil standard MARTE (Modeling and Analysis of Real -time and
Embedded systems). En se basant sur l’Ingénierie Dirigée par les Modèles (IDM), les
modèles MARTE sont raffinés vers des niveaux d’abstraction plus bas. Cependant, dans
le système Gaspard actuel, la définition de la chaîne de transformation est complexe,
partant de modèles de hauts niveaux jusqu’à la production de code simulable, testable,
vérifiable. De p...