Présentation

Article

1 - POURQUOI UN LANGAGE DE MODÉLISATION POUR LES SYSTÈMES TEMPS-RÉEL OU EMBARQUÉS ?

2 - INGÉNIERIE DIRIGÉE PAR LES MODÈLES POUR LES SYSTÈMES TEMPS-RÉEL OU EMBARQUÉS

  • 2.1 - Quels modèles ?
  • 2.2 - Historique de MARTE

3 - STANDARD MARTE 1.0

4 - OUTILS SUPPORTANT MARTE

  • 4.1 - Modeleurs UML
  • 4.2 - Outils IDM

5 - CONCLUSION

Article de référence | Réf : IN120 v1

Ingénierie dirigée par les modèles pour les systèmes temps-réel ou embarqués
Modélisation et analyse de systèmes embarqués ou temps-réel avec le profil UML MARTE

Auteur(s) : Pierre BOULET

Date de publication : 10 févr. 2011

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

Auteur(s)

  • Pierre BOULET : Professeur des universités à l'université Lille 1, Sciences et Technologies

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

INTRODUCTION

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. 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.

Abstract

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.

Mots-clés

UML, temps-réel, systèmes embarqués, conception, analyse, ingénierie dirigée par les modèles (IDM)

Keywords

UML, real time, embedded systems, design, analysis, model driven engineering (MDE)

Points clés

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 93% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-in120


Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Présentation

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.

HAUT DE PAGE

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 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Ingénierie dirigée par les modèles pour les systèmes temps-réel ou embarqués
Sommaire
Sommaire

    1 Outils logiciels

    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

    2 Sites Internet

    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 92% à découvrir.

    Pour explorer cet article
    Téléchargez l'extrait gratuit

    Vous êtes déjà abonné ?Connectez-vous !


    L'expertise technique et scientifique de référence

    La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
    + de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
    De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

    Cet article fait partie de l’offre

    Technologies logicielles Architectures des systèmes

    (233 articles en ce moment)

    Cette offre vous donne accès à :

    Une base complète d’articles

    Actualisée et enrichie d’articles validés par nos comités scientifiques

    Des services

    Un ensemble d'outils exclusifs en complément des ressources

    Un Parcours Pratique

    Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

    Doc & Quiz

    Des articles interactifs avec des quiz, pour une lecture constructive

    ABONNEZ-VOUS