1. Soutenance de stage d’obtention du DUT informatique
présenté par Régis CANIONCQ

2.  Présentation de l’INRIA et d’AOSTE
 Problématique
 Cahier des charges
 Développement du profil de traçabilité
 Développement de l’interface utilisateur
 Conclusion
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 2

3. Contexte Problématique CdC RVT Interface Conclusion
 Recherches dans les STIC
 500 personnes dans 31 équipes
 46 nationalités représentées
 21 brevets actifs
 160 logiciels déposés
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 3

4. Contexte Problématique CdC RVT Interface Conclusion
 20 personnes (Sophia-Antipolis et Rocquencourt)
 Équipe mixte INRIA, CNRS, Université de Nice
 Conception des systèmes temps réel embarqués :
◦ Modélisation de haut niveau (standard MARTE),
◦ Transformation et analyse de modèles,
◦ Implantation sur des plateformes embarquées,
◦ Production logicielle (TimeSquare, Kpassa, Esterel, SyncCharts).
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 4

5. Contexte Problématique CdC RVT Interface Conclusion
Elles sont issues d’un cahier des charges
 Exigences fonctionnelles:
« ce que le système doit être capable de faire »
 Exigences non fonctionnelles:
« comment le système doit le faire »
ex: performance, sécurité, qualité
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 5

6. Contexte Problématique CdC RVT Interface Conclusion
 Exigence fonctionnelle:
L’ABS doit contrôler la pression des freins
et éviter le blocage des roues.
 Exigence non fonctionnelle:
Les capteurs doivent transmettre les données
dans un délai de 5 millisecondes.
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 6

7. Contexte Problématique CdC RVT Interface Conclusion
Specifications
Phases de
Phases de vérification et
modélisation Modélisation des exigences
validation des
produits
Modèles d’analyse
Lien de Tests de validation
traçabilité
Modèles architecturaux Cycle en V Tests d’intégration
Modèles d’implémentation Tests unitaires
Code
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 7

8. Contexte Problématique CdC RVT Interface Conclusion
Exigences en UML
Outils de
Modèle solution vérification
en UML et validation
PLUGIN DE
TRAÇABILITÉ
TimeSquare
ABS
◦ Modélisation des exigences en UML
◦ Satisfaction par un modèle solution
◦ Interfaçage avec les outils de V&V
◦ Remontée des résultats des cas de tests
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 8

9. Contexte Problématique CdC RVT Interface Conclusion
 Environnement open-source Eclipse/Papyrus
 Méthode de développement : ingénierie dirigée par les modèles
 Prise en compte de projets/outils existants :
◦ MeMVaTEx
◦ MyReq/Reqtify
◦ Standard SysML
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 9

10. Contexte Problématique CdC RVT Interface Conclusion
◦ Plugin Eclipse de modélisation UML
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 10

11. Contexte Problématique CdC RVT Interface Conclusion
 Etend des éléments UML en créant de nouveaux éléments
de modèles avec de nouvelles propriétés
 Couvre un domaine de conception spécifique
(temps réel MARTE, SOC)
 Facilité d’import
Choix de créer le profil RVT
« Requirement Validation and Traceability »
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 11

12. Contexte Problématique CdC RVT Interface Conclusion
Conception d’un métamodèle Ecore
Génération du squelette Java du profil RVT
Implémentation manuelle en Java
des algorithmes de traçabilité
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 12

13. Contexte Problématique CdC RVT Interface Conclusion
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 13

14. Contexte Problématique CdC RVT Interface Conclusion
Exigence racine
Niveau
Analyse <<decompose>>
Sous-exigence Sous-exigence
<<derive>> <<copy>>
Niveau
Conception
Exigence dérivée Exigence copiée
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 14

15. Contexte Problématique CdC RVT Interface Conclusion
Exigence
<<satisfy>> <<vérify>>
Modèle solution
Produit
<<test>>
<<test>>
Cas de test Cas de test
du modèle du produit
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 15

16. Contexte Problématique CdC RVT Interface Conclusion
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 16

17. Contexte Problématique CdC RVT Interface Conclusion
 Rétro-conception et modifications de Papyrus:
◦ Analyse du code open-source Java
◦ Patrons de conception
◦ Architecture MVC
 Création d’un diagramme RVT dédié et d’une palette :
◦ Bibliothèque graphiques SWT, JFace, GEF
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 17

18. Contexte Problématique CdC RVT Interface Conclusion
 Diagramme dédié
 Palette RVT
 Evite la surcharge des menus
 Meilleure intégration à
l’interface Papyrus
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 18

19. Contexte Problématique CdC RVT Interface Conclusion
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 19

20. Contexte Problématique CdC RVT Interface Conclusion
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 20

21. Contexte Problématique CdC RVT Interface Conclusion
 9 diagrammes Ecore (conception du métamodèle)
 Code source :
Totaux
Lignes de code Java 13317
dont générées 2088
dont écrites 5166
dont réutilisées 5483
Sous packages 37
Classes 296
Méthodes 1355
Quantifié par Metrics pour Eclipse
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 21

22. Contexte Problématique CdC RVT Interface Conclusion
Préparation Réalisation Finalisation
(3 semaines) (5 semaines) (2 semaines)
•Formation aux •Conception •Tests unitaires
outils et concepts •Tests de validation
•Développement
•Analyse (démonstrateur ABS)
préliminaire
•Installation de
l’environnement
de développement
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 22

23. Contexte Problématique CdC RVT Interface Conclusion
 Gros efforts sur l’ergonomie (diagramme/palette)
 Point d’extension Eclipse pour interfaçage avec des
outils hétérogènes
 Import et export de document de spécifications
 Distribution Eclipse spécialisée
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 23

24. Contexte Problématique CdC RVT Interface Conclusion
 Stage complet:
◦ Analyse des études et outils existants
◦ Modélisation haut niveau (IDM)
◦ Immersion dans un code open-
source, retro-conception et extension
 Contribution au domaine de la traçabilité des
exigences par un outil opérationnel qui va
être diffusé
Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 24