Traçabilité des exigences dans les sytèmes critiques
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
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
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
Notes de l'éditeur
[00:00 / 30s]
[00:30 / 20s]De manière classique, je vais vs présenter l’equipe, le contexte de la rechercheEnsuite plus précisément le cahier des chargesEnsuite les developpements que j’ai fait pour ce qu’on appelle un profil de traçabilitéPuis le dev de l’interface utilisateur,Ensuite je concluerai