le profil UML en temps réel MARTE

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

2. Plan

3. Introduction

4. Introduction • Qu’est ce qu'un profile UML? • Qu’est ce qu’un système embarqué? • Définition Profile MARTE IntroductionDomaine d’applicationStéréotypesTagged valuecontraintes Conclusion • 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.

5. Introduction • Qu'est ce qu'un profile UML? • Qu’est ce qu’un système embarqué? • Définition Profile MARTE IntroductionDomaine d’applicationStéréotypesTagged valuecontraintes Conclusion • UMl • EJB • CORBA • SQL • ……. • Real time Figure 1 : Standardisation des différents domaines sous forme de profiles UML

6. Introduction • Qu'est ce qu'un profile UML? • Qu’est ce qu’un système embarqué? • Définition Profile MARTE IntroductionDomaine d’applicationStéréotypesTagged valuecontraintes Conclusion • 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é.

7. Introduction • Qu'est ce qu'un profile UML? • Qu’est ce qu’un système embarqué? • Définition Profile MARTE IntroductionDomaine d’applicationStéréotypesTagged valuecontraintes Conclusion Caractéristiques des systèmes embarqués • Doit répondre à des contraintes real-time • Représentent des systèmes réactifs

8. Introduction • Qu'est ce qu'un profile UML? • Qu’est ce qu’un système embarqué? • Définition Profile MARTE IntroductionDomaine d’applicationStéréotypesTagged valuecontraintes Conclusion 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 .

9. Domaine d’application

10. IntroductionDomaine d’applicationStéréotypesTagged valuecontraintes Conclusion • automobile • avions

11. IntroductionDomaine d’applicationStéréotypesTagged valuecontraintes Conclusion • Les applications multimédia audio, photo, vidéo

12. Stéréotypes

13. IntroductionDomaine d’applicationStéréotypesTagged valuecontraintes 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

14. Introduction Domaine d’application StéréotypesTagged valuecontraintes Conclusion Stéréotypes • Exemples : • <<interface>>, <<entitybeans>>, <<ApplicationComponent>> • Tout concept UML (Classe, Attribut, Association, Use Case, Component, Part…) peut être stéréotypé

15. Introduction Domaine d’application StéréotypesTagged valuecontraintes 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.

16. Introduction Domaine d’application StéréotypesTagged valuecontraintes 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 .

17. Introduction Domaine d’application StéréotypesTagged valuecontraintes 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.

18. Introduction Domaine d’application StéréotypesTagged valuecontraintes Conclusion StéréotypeRationale • 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.

19. Introduction Domaine d’application StéréotypesTagged valuecontraintes Conclusion StéréotypeVerify • Définit un rapport entre un requirement et un «test case» qui peut déterminer si un système accomplit l'exigence.

20. Introduction Domaine d’application StéréotypesTagged valuecontraintes Conclusion StéréotypeTestCase • Définit un processus ou une activité qui est utilisé(e) pour déterminer si un système a accompli ses exigences.

22. Tagged values

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

24. Introduction Domaine d’application StéréotypesTagged valuecontraintes Conclusion Taggedvalue • 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}, {primarykey} • Il est possible d’associer des tagged values à tout concept UML (Classe, Attribut, Association, Use Case, Component, Part…)

25. Contraintes

26. Introduction Domaine d’application StéréotypesTagged valuecontraintes Conclusion Contraintes • 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

27. Introduction Domaine d’application StéréotypesTagged valuecontraintes 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 ConstraintLanguage)

28. Introduction Domaine d’application StéréotypesTagged valuecontraintes Conclusion Figure3 :exmple du domaine du temps avec clockconstraint

29. Introduction Domaine d’application StéréotypesTagged valuecontraintes Conclusion Figue 4 : DOMAINE DU MODELE UML MARTE détaillé

30. Conclusion

31. Introduction Domaine d’application StéréotypesTagged valuecontraintesConclusion 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

32. Introduction Domaine d’application StéréotypesTagged valuecontraintesConclusion Offre: • Gain en qualité, sûreté et en fiabilité des produits issus d’un tel développement

33. Merci pour votre attention