le profil UML en temps réel MARTE Encadré par : Mr BEN STA Hatem Élaboré par : NASRI Ines RAHMANI Hajer SBOUI Samer 1

Plan Introduction Domaine d’application Stéréotypes Tagged values Contraintes Conclusion

Introduction

Il regroupe de manière cohérente les extensions du modèle UML. Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Introduction Qu’est ce qu'un profile UML? Qu’est ce qu’un système embarqué? Définition Profile MARTE Un profile UML est une spécialisation du modèle UML pour un domaine d’utilisation particulier. Il regroupe de manière cohérente les extensions du modèle UML. Un profile est composé de stéréotypes, de tagged values et des contraintes.

UMl Real time EJB CORBA SQL ……. Introduction Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Introduction Qu'est ce qu'un profile UML? Qu’est ce qu’un système embarqué? Définition Profile MARTE UMl Real time EJB CORBA SQL ……. Chaque domaine a des notions particulières, des besoins particuliers que UML peut supporter par le biais de ses extensions ,regroupées en profiles UML on voit ainsi émerger des standards telque CORBA ,…… Figure 1 : Standardisation des différents domaines sous forme de profiles UML

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Qu'est ce qu'un profile UML? Qu’est ce qu’un système embarqué? Définition Profile MARTE Un système embarqué peut être défini comme un système électronique et informatique autonome, qui est dédié à une tâche bien précise. Les systèmes embarqués font très souvent appel à l‘informatique, et notamment aux systèmes temps réel. Le terme de système embarqué désigne aussi bien le matériel que le logiciel utilisé.

Caractéristiques des systèmes embarqués Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Introduction Qu'est ce qu'un profile UML? Qu’est ce qu’un système embarqué? Définition Profile MARTE Caractéristiques des systèmes embarqués Doit répondre à des contraintes real-time Représentent des systèmes réactifs

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Qu'est ce qu'un profile UML? Qu’est ce qu’un système embarqué? Définition Profile MARTE Définition Le profil UML pour MARTE(MODELING AND ANALYSIS OF REAL-TIME AND EMBEDDED SYSTEMS )a pour objectif d’étendre UML pour l’utiliser dans une approche de développement dirigé par les modèles de systèmes temps réel et embarqués. MARTE fournit des supports pour les étapes de spécification, de conception et de vérification /validation .

Domaine d’application

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion automobile avions

Les applications multimédia audio, photo, vidéo Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Les applications multimédia audio, photo, vidéo

Stéréotypes

Une classe stéréotypée porte la sémantique du stéréotype. Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Stéréotypes Ajout de nouveaux éléments de modélisation dans le contexte métier ou technique. Une classe stéréotypée porte la sémantique du stéréotype. Les stéréotypes ne peuvent être utilisés que conformément à leur définition

Stéréotypes Exemples : Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Stéréotypes Exemples : <<interface>>, <<entity beans>>, <<ApplicationComponent>> Tout concept UML (Classe, Attribut, Association, Use Case, Component, Part…) peut être stéréotypé

Stéréotype Requirement Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Stéréotype Requirement présente une capacité ou une condition qu'un système doit satisfaire. permet de spécifier une fonction qu'un système doit exécuter ou une condition de la performance qu'un système doit satisfaire. => « Requirements »sont utilisées pour établir un contrat entre le client (ou autre stakeholder) et les responsables de la conception et de l'implémentation du système.

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Stéréotype Trace définit une relation entre les éléments du modèle ou ensembles des éléments du modèle qui représentent le même concept. les traces sont utilisées essentiellement pour traquer des exigences et des changements au sein des modèles .

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Stéréotype Derive Définit une relation de dépendance entre deux requirements où le requirement du client peut être produit ou peut être inféré des requirements du fournisseur ou à partir d'information supplémentaire du design. Les requirements dérivés peuvent raffiner ou répéter un requirement pour améliorer les communications du stakeholder ou traquer l'évolution du design.

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Stéréotype Rationale Définit un élément qui documente les principes ou raisons pour une décision de modélisation, tel qu'un choix de l'analyse ou une sélection du design. Il peut être attaché à tout élément du modèle.

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Stéréotype Verify Définit un rapport entre un requirement et un «test case» qui peut déterminer si un système accomplit l'exigence.

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Stéréotype TestCase Définit un processus ou une activité qui est utilisé(e) pour déterminer si un système a accompli ses exigences.

Tagged values

Une tagged value peut être vue comme un nouvel méta-attribut. Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Tagged value Les valeurs marquées sont principalement utilisées pour ajouter des informations sur les classes. En fait c’une annotation des éléments de modélisation Une tagged value peut être vue comme un nouvel méta-attribut.

Peuvent être définies pour des éléments existants ou des stéréotypes Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Tagged value Peuvent être définies pour des éléments existants ou des stéréotypes Virtualisées sous la forme : nom de la propriété, valeur Exemples {virtual}, {primary key} Il est possible d’associer des tagged values à tout concept UML (Classe, Attribut, Association, Use Case, Component, Part…)

Contraintes

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Les contraintes sont utilisées pour exprimer les relations entre les stéréotypes et les tagged values. Les contraintes servent à étendre la sémantique d’UML par l’ajout de nouvelles règles ou la modification de règles existantes

Préciser les conditions d’emploi des éléments du modèle Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Contraintes Les contraintes permettent de préciser les conditions d’emploi des éléments du modèle. Préciser les conditions d’emploi des éléments du modèle Peuvent être représentées en utilisant soit le langage naturel, soit OCL (Object Constraint Language)

Figure3 :exmple du domaine du temps avec clockconstraint Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Figure3 :exmple du domaine du temps avec clockconstraint

Figue 4 : DOMAINE DU MODELE UML MARTE détaillé Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Figue 4 : DOMAINE DU MODELE UML MARTE détaillé

Conclusion

Contrôler le développement des modèles Automatiser Assure : Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion L’implémentation d’un profile UML2 dédié aux systèmes embarqués permet de: Guider Contrôler le développement des modèles Automatiser Assure : Amélioration de la maîtrise de développement d’un produit

Introduction Domaine d’application Stéréotypes Tagged value contraintes Conclusion Offre: Gain en qualité, sûreté et en fiabilité des produits issus d’un tel développement

Merci pour votre attention