LE PROFILE UML POUR MARTE Encadré Par: Mr A. Benyamina Réalisé par: Mr B.Farid Co-encadré Par: Mr P. Boulet 18/01/2011 LE PROFIL UML/MARTE

Plan: Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion Plan: Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion 18/01/2011 2/14

Définition UML (Unified Modeling Language) : Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion Définition UML (Unified Modeling Language) : Langage de modélisation unifie langage de modélisation objet Standardisé par l’OMG Basé sur un métamodèle auquel est associé une représentation graphique 18/01/2011 3/14

Définition Extensibilité d’UML : la notion de profil Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion Définition Extensibilité d’UML : la notion de profil UML ne propose qu’une sémantique faible 18/01/2011 4/14

Définition Un profil UML est : Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion Définition Un profil UML est : Spécialisation du modèle UML pour un domaine d’utilisation particulier Regroupe de manière cohérente les extensions du modèle UML. Un profil UML est composé de : stéréotypes. « tagged value » contraintes 18/01/2011 5/14 Un profile est composé de, de et de

Modélisation et l’Analyse des Systèmes Temps Réel Embarqués Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion MARTE est un profil UML Modélisation et l’Analyse des Systèmes Temps Réel Embarqués la version préliminaire a été approuvée en juin 2007 Adopter l’IDM dans le développement des Systèmes Embarqués Temps-Réel (SETRs). conçu pour succéder à son prédécesseur appelé profile for Scheduling, Performance and Time Specification (SPT ) Comme on a dit , Marte est un profile uml qui se traduit en francais par : Modélisation et l’Analyse des Systèmes Temps Réel Embarqués, dont la version préliminaire a été approuvée en juin 2007. qui a pour but d’Adopter l’IDM dans le développement des Systèmes Embarqués Temps-Réel (SETRs) Il s’organise en différents paquetages fournissant un ensemble d’éléments de notations facilitant l’utilisation d’UML pour la modélisation et l’analyse des systèmes temps réels embarqués. 18/01/2011 6/14

Structure du profil MARTE Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion Structure du profil MARTE High-Level Application Modeling (HLAM) Detailed Resource Modeling (DRM) Allocation Modeling (Alloc) Comme illustré en figure, ce profil est composé de trois paquetages principaux : MARTE Foundations , MarteDesignModel , MarteAnalysisModel MARTE Foundations : c’est le cœur du profil, sur lequel les autres paquetages s’appuyent. Il contient entre autres une définition précise des différentes notions de temps que l’on retrouve dans les systèmes temps réel. On notera aussi le sous-paquetage Allocation, introduisant les concepts pouvant être utilisés pour la spécification d’une projection d’un modèle fonctionnel sur une architecture matérielle. Le sous-paquetage Non Functional Properties fournit quant à lui un ensemble de notions pour exprimer différentes grandeurs comme le temps, la fréquence, la puissance, incluant les unités de mesure correspondantes. MarteAnalyseModel:ce paquetage se focalise sur les activités d’analyse des systèmes embarqués. On voit qu’il identifie deux sous-activités particulières : l’ordonnancement (Schedulability) et la performance (Performance). MarteDesignModel : ce dernier paquetage fournit les éléments nécessaires à la description d’applications, en se basant sur deux sous-paquetages spécifiques : Software Resources pour la modélisation du logiciel et Hardware Resources pour la modélisation du matériel. 18/01/2011 7/14

1- High-Level Application Modeling (HLAM) Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion 1- High-Level Application Modeling (HLAM) Hight –level application modeling (HLAM): Est le modèle d’application qui d’écrit les fonctionnalités du système. Comme illustré dans la figure, le package HLAM de MARTE dépend de Generic Resources Modeling (GRM) et CoreElements. La préoccupation de package HLAM est de fournir des concepts de modélisation de haut niveau pour faire face aux modélisations des fonctionnalités des systèmes temps réel et embarqués. 18/1/1011 8/14

2- Detailed Resource Modeling (DRM) Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion 2- Detailed Resource Modeling (DRM) Detailed Resource Modeling (DRM) : a. Hardware Resource Modeling (HRM) b. Software Resource Modeling (SRM) Detailed Resource Modeling (DRM) : Le modèle des ressources qui décrit la plateforme d’exécution en prenant compte des propriétés non-fonctionnelles. L’objectif de ce package est de fournir des aspects de modélisation spécifique capable de décrire à la fois logiciel et matériel . Il spécialise des concepts génériques offerts par GRM . Ce modèle se compose à son tour de deux modèles : 1. Hardware Resource Modeling (HRM) 2.Software Resource Modeling (SRM) 18/01/2011 9/14

a. Hardware Resource Modeling (HRM) Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion a. Hardware Resource Modeling (HRM) Hardware Resource Modeling (HRM) : le modèle des ressources matériels pour décrire du matériel existant ou bien en concevoir un nouveau, à travers plusieurs vues et différents niveaux de détail. HRM regroupe la plupart des concepts du matériel sous une taxinomie hiérarchique avec plusieurs catégories selon leur nature, fonctionnalité et technologie, 18/01/2011 10/14

b. Software Resource Modeling (SRM) Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion b. Software Resource Modeling (SRM) Software Resource Modeling (SRM) : spécialisé des ressources et des services définis précédemment dans GRM afin de d écrire la plateforme d'exécution logicielle (ex : système d’exploitation). Ainsi, le modèle est organisé en quatre package : SW ResourceCore qui fournissent les ressources de conception de base du logiciel, SW Concurrency qui classifie les contextes d'exécution concurrente, SW Interaction qui trie les communication et la synchronisation des ressources finalement SW Brokering qui fournisse une gestion du matériels et logiciels 18/01/2011 11/14

3- Allocation Modeling (Alloc) Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion 3- Allocation Modeling (Alloc) 18/1/1011 12/14

Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion Conclusion Un objectif majeur de MARTE est de proposer un langage de modélisation commun pour spécifier a la fois les aspects logiciels et matériels des SETRs : Le modèle d’application : décrit les fonctionnalités du système Le modèle des ressources : décrit la plateforme d’exécution en prenant compte des propriétés non fonctionnelles Le modèle d’allocation : décrit l’allocation de l’application sur les ressources. 18/01/2011 13/14

Merci de votre attention Plan Introduction Le Standard MARTE L’architecture de Profile MARTE MARTE Design Model Conclusion Merci de votre attention Vos Questions?? 18/01/2011 14/13