Présentation
RÉSUMÉ
Pour répondre au défi de l'accroissement de la complexité des systèmes électroniques, il est nécessaire d'élever constamment le niveau d'abstraction. C'est le cas dans le domaine du logiciel avec UML et l'ingénierie dirigée par les modèles, et dans le domaine du matériel avec SystemC et le niveau système électronique. Est présenté ici le profil UML MARTE qui fournit un langage cohérent et unifié pour tous les besoins de conception et d'analyse de systèmes temps réels, embarqués dans le cadre d'une ingénierie dirigée par les modèles.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Pierre BOULET : Professeur des universités à l'université Lille 1, Sciences et Technologies
INTRODUCTION
Pour répondre au défi de l'accroissement de la complexité des systèmes électroniques, il est nécessaire d'élever constamment le niveau d'abstraction. C'est le cas dans le domaine du logiciel avec UML et l'ingénierie dirigée par les modèles et dans le domaine du matériel avec SystemC et le niveau système électronique. Nous présentons ici le profil UML MARTE qui fournit un langage cohérent et unifié pour tous les besoins de conception et d'analyse de systèmes temps réels embarqués dans le cadre d'une ingénierie dirigée par les modèles.
To deal with the challenge of the increasing complexity of electronic systems, we must constantly raise the abstraction level. This has been done in the software domain with UML and model driven engineering and in the hardware domain with SystemC and the electronic system level. We present here the MARTE UML profile that provides a coherent and unified language for all the design and analysis needs of real time embedded systems in a model driven engineering approach.
UML, temps-réel, systèmes embarqués, conception, analyse, ingénierie dirigée par les modèles (IDM)
UML, real time, embedded systems, design, analysis, model driven engineering (MDE)
Domaine : Outils de conception de systèmes embarqués
Degré de diffusion de la technologie : Émergence | Croissance | Maturité
Technologies impliquées : UML
Domaines d'application : Systèmes embarqués, systèmes temps-réel
Principaux acteurs français :
Pôles de compétitivité : System@tic
Centres de compétence : INRIA, CEA, CNRS, universités de Lille, Nice, Rennes...
Industriels : Thales, CoFluent, NoMagic
Autres acteurs dans le monde : Université de Carleton, Canada, université de Cantabria, Espagne...
Cet article est réservé aux abonnés.
Il vous reste 94 % à découvrir.
Déjà abonné ? Se connecter
DOI (Digital Object Identifier)
Présentation
Standard MARTE 1.0Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(234 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
2. Ingénierie dirigée par les modèles pour les systèmes temps-réel ou embarqués
2.1 Quels modèles ?
Les modèles sont utilisés depuis qu'il existe des ingénieurs (maquettes, plans, modèles réduits, etc.). Ceux dont nous parlons ici sont des représentations informatiques d'un système établies dans un but particulier. Ce but détermine la portée et le niveau d'abstraction (ou de détail) du modèle. De bonnes propriétés d'un modèle sont :
-
l'abstraction (on masque les détails non pertinents) ;
-
la compréhensibilité (par l'homme et la machine) ;
-
la fidélité (au système modélisé) ;
-
la prédictibilité (on peut l'utiliser pour répondre à des questions sur le modèle) ;
-
le faible coût.
Un bon modèle d'ingénierie a toutes ces propriétés.
Un standard a émergé ces 10 dernières années dans le monde du logiciel : UML (Unified Modeling Language) qui a organisé dans un ensemble cohérent les différentes pratiques de modélisation des logiciels (principalement orientés objets) développées dans la décennie précédente. Son succès a été fulgurant et il est maintenant utilisé dans la grande majorité des entreprises développant du logiciel à des fins non seulement de documentation et d'analyse mais de plus en plus à des fins productives de génération automatique ou semi-automatique de code, de tests ou de documentation. Ces utilisations productives des modèles sont appelées collectivement l'ingénierie dirigée par les modèles. Les techniques utilisées sont :
-
la métamodélisation (définition de langages de modélisation) ;
-
les transformations de modèles vers d'autres modèles ou du texte ;
-
le couplage d'outils via des modèles communs.
2.2 Historique de MARTE
La version 2 d'UML a apporté des capacités de modélisation de systèmes qui manquaient aux versions précédentes (notées habituellement 1.x) :
-
une séparation claire entre la modélisation de la structure (avec en particulier le diagramme de structure composite) et du comportement...
Cet article est réservé aux abonnés.
Il vous reste 94 % à découvrir.
Déjà abonné ? Se connecter
Ingénierie dirigée par les modèles pour les systèmes temps-réel ou embarqués
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(234 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
DANS NOS BASES DOCUMENTAIRES
Papyrus, The Eclipse Foundation http://www.eclipse.org/modeling/mdt/papyrus/
Gaspard2, équipe DaRT http://www.gaspard2.org/
TimeSquare, équipe AOSTE http://www-sop.inria.fr/aoste/?r=9=30
HAUT DE PAGE
UML Profile for MARTE : Modeling and Analysis of Real-time Embedded Systems, OMG Released Versions of MARTE http://www.omg.org/spec/MARTE/
The UML Profile for MARTE : Modeling and Analysis of Real-Time and Embedded...
Cet article est réservé aux abonnés.
Il vous reste 93 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(234 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
