Soutenance de stage d’obtention du DUT informatique          présenté par Régis CANIONCQ
   Présentation de l’INRIA et d’AOSTE   Problématique   Cahier des charges   Développement du profil de traçabilité  ...
Contexte   Problématique                CdC                RVT                Interface         Conclusion       Recherch...
Contexte     Problématique                CdC                RVT                Interface         Conclusion          20 ...
Contexte     Problématique                CdC                RVT                Interface         Conclusion      Elles so...
Contexte    Problématique                CdC                RVT                Interface         Conclusion          Exig...
Contexte      Problématique                     CdC                RVT                Interface            Conclusion     ...
Contexte   Problématique                CdC                RVT                Interface           Conclusion              ...
Contexte    Problématique                CdC                RVT                Interface         Conclusion      Environn...
Contexte   Problématique                CdC                RVT                Interface         Conclusion              ◦ ...
Contexte    Problématique                CdC                RVT                Interface         Conclusion       Etend d...
Contexte   Problématique                CdC                RVT                Interface         Conclusion             Con...
Contexte   Problématique                CdC                RVT                Interface         Conclusion             Rég...
Contexte   Problématique                CdC                RVT                Interface         Conclusion                ...
Contexte   Problématique                CdC                RVT                Interface            Conclusion             ...
Contexte   Problématique                CdC                RVT                Interface         Conclusion             Rég...
Contexte     Problématique                CdC                RVT                Interface         Conclusion      Rétro-c...
Contexte   Problématique                 CdC                RVT                Interface         Conclusion      Diagramm...
Contexte   Problématique                CdC                RVT                Interface         Conclusion             Rég...
Contexte   Problématique                CdC                RVT                Interface         Conclusion             Rég...
Contexte   Problématique                   CdC                RVT                Interface         Conclusion            ...
Contexte     Problématique                  CdC                RVT                Interface         Conclusion      Prépar...
Contexte   Problématique                CdC                RVT                Interface         Conclusion      Gros effo...
Contexte    Problématique                CdC                RVT                Interface         Conclusion          Stag...
Prochain SlideShare
Chargement dans…5
×

Traçabilité des exigences dans les sytèmes critiques

1 497 vues

Publié le

0 commentaire
0 j’aime
Statistiques
Remarques
  • Soyez le premier à commenter

  • Soyez le premier à aimer ceci

Aucun téléchargement
Vues
Nombre de vues
1 497
Sur SlideShare
0
Issues des intégrations
0
Intégrations
29
Actions
Partages
0
Téléchargements
0
Commentaires
0
J’aime
0
Intégrations 0
Aucune incorporation

Aucune remarque pour cette diapositive
  • [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
  • Traçabilité des exigences dans les sytèmes critiques

    1. 1. Soutenance de stage d’obtention du DUT informatique présenté par Régis CANIONCQ
    2. 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. 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. 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. 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. 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. 7. Contexte Problématique CdC RVT Interface Conclusion Specifications Phases de Phases de vérification etmodé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. 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. 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. 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. 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. 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. 13. Contexte Problématique CdC RVT Interface Conclusion Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 13
    14. 14. Contexte Problématique CdC RVT Interface Conclusion Exigence racineNiveauAnalyse <<decompose>> Sous-exigence Sous-exigence <<derive>> <<copy>>NiveauConception Exigence dérivée Exigence copiée Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 14
    15. 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. 16. Contexte Problématique CdC RVT Interface Conclusion Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 16
    17. 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. 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. 19. Contexte Problématique CdC RVT Interface Conclusion Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 19
    20. 20. Contexte Problématique CdC RVT Interface Conclusion Régis CANIONCQ – Stage d’obtention du DUT Informatique 2010 – Université de Nice 20
    21. 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. 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. 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. 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

    ×