INCREMENT Une approche pour modliser et analyser dans
- Slides: 53
INCREMENT Une approche pour modéliser et analyser dans le large les exigences réglementaires de sûreté Nicolas Sannier 1, 2 Sous la direction de Benoit Baudry 2, Thuy Nguyen 1, Laurence Picci 1 EDF R&D - STEP P 1 A 2 Inria Rennes Bretagne Atlantique – Triskell 1 Triskell Team
A propos … Du contrôle-commande et de ses exigences • Le contrôle-commande nucléaire : • Permet de mesurer et de piloter l’activité de la centrale • Va des capteurs aux interfaces Homme-Système • Doit répondre à différentes exigences • Les exigences fonctionnelles et de performance 2
A propos … Des systèmes classés de sûreté • • Systèmes importants pour la sûreté • Systèmes dont la défaillance (erreurs, perte) entraînerait la perte ou des dommages importants aux personnes, installations, à l’environnement Exigences de sûreté 3
A propos … des exigences de sûreté de fonctionnement • • Les exigences de sûreté de fonctionnement au regard de la raison d’être du système • Déterminées par le maître d’ouvrage • Risques , fiabilité, disponibilité, maintenabilité, … Les exigences réglementaires de sûreté • Imposées au maître d’ouvrage par les pouvoirs publics • Pour la protection des personnes et de l’environnement • Sont ambigües, non vérifiables, non atomiques, … • Hétérogénéité des sources, • Domaine en forte évolution et complexe 4
A propos … Les différentes sources d’exigences réglementaires • Les textes réglementaires • • Les guides réglementaires • • pratiques jugées acceptables par une autorité réglementaire Les normes nationales et internationales • • de haut niveau, fixent des objectifs globaux Sont parfois imposées, sinon d’application volontaire Les pratiques • Pratiques acceptées sur des projets « récents » 5
A propos … Dimensions des évolutions récentes des exigences réglementaires • Une dimension temporelle • Multiplication des normes avec l’arrivée de nouvelles technologies • Aspects logiciels pour les systèmes de CC en France : • 1 norme à appliquer en 1986 • 100+ en 2013 • Une dimension « internationale » • différentes cultures de sûreté [4] Sannier, Baudry & Nguyen – MODRE’ 2011 6
A propos … de l’organisation du domaine et de la traçabilité des exigences Quelles sont les exigences Relatives à … ? [*] Sannier & Baudry – RELAW' 2012 7
Questions de recherche • • Objectifs industriels • Formaliser et organiser dans le large et à haut niveau la connaissance métier d’une façon pertinente du point de vue d’un ingénieur nucléaire • Acquisition, navigation, manipulation dans le modèle Verrous scientifiques 1. Adéquation des techniques de modélisation et de traçabilité de l’état de l’art pour ces objectifs et ce domaine ? 2. Comment analyser de tels modèles, comment aider la traçabilité de ces exigences réglementaires ? 8
Etat de l’art “THERE ARE KNOWNS. THESE ARE THINGS WE KNOW THAT WE KNOW. THERE ARE KNOWN UNKNOWNS. THAT IS TO SAY, THERE ARE THINGS THAT WE KNOW WE DON’T KNOW. BUT THERE ALSO UNKNOWNS. THERE ARE THINGS WE DON’T KNOW. ” DONALD RUMSFELD, CITED IN SAWYER ET AL. , RE’ 2011 9
Etat de l’art Une problématique multi-domaines • • 3 domaines • Ingénierie des exigences • Ingénierie dirigée par les modèles • Recherche d’information 4 préoccupations • La définition / formalisation d’exigences • La prise en compte des exigences réglementaires • La traçabilité • Dans le large 10
Etat de l’art Une problématique multi-domaines Ingénierie des exigences Spécification des exigences Ingénierie (des exigences) dirigée par les modèles UML, Sys. ML KAOS, i* GRL Cresco Safety. Met … Traçabilité des exigences légales et réglementation Traçabilité des exigences recherche d’information Techniques de recherche d’information 11
Etat de l’art Synthèse et limites courantes Patrons UML Sys. ML KAOS i* Concepts manipulés Exigences réglementaires Exigences Élts. diagramme Exigences Buts, attentes, exigences Non Non Non Traçabilité Dans le large … Non Associations Non Non Modules Anton et Amyot et Briand et al. Cleland et al. al. Travaux RI Concepts manipulés Exigences réglementaires Droits et devoirs Exigences Documents HIPAA Transports Normes de sûreté Non Traçabilité Dans le large … Non Associations Candidats Non Norme Modules Corpora 12
INCREMENT : une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté 13
Contributions de la thèse • Comment formaliser et organiser la connaissance métier d’une façon pertinente du point de vue d’un ingénieur nucléaire ? • • Une fois les concepts formalisés, comment acquérir, naviguer et manipuler des modèles ? • • Un métamodèle du domaine (Connexion) Une base outillée pour l’acquisition, la manipulation et la navigation (Increment. Parser, Increment. GUI) Comment analyser de tels modèles, comment aider la traçabilité de ces exigences réglementaires ? • Des outils d’indexation et de recherche d’information branchés sur les modèles (Increment. Tools, Increment. Index) 14
INCREMENT Une approche hybride pour un problème hybride Ingénierie des exigences Spécification des exigences Ingénierie (des exigences) dirigée par les modèles UML, Sys. ML KAOS, i* GRL Cresco Safety. Met …. exigences légales et réglementation INCREMENT Traçabilité des exigences recherche d’information Techniques de recherche d’information 15
INCREMENT Une approche hybride pour un problème hybride • Instrumentation a. Nd Control REquirements Modeling environm. ENT • INCREMENT-MDE • • INCREMENT-IR • • IDM pour formaliser et capitaliser sur le domaine Recherche d’information (RI) pour l’analyse des contenus textuels INCREMENT-Hybrid • Hybridation IDM/RI dans un même environnement [*] Sannier & Baudry - submitted to REFSQ' 2014 16
INCREMENT-MDE : une approche d’Ingénierie Dirigée par les Modèles 17
INCREMENT-MDE : une approche d’IDM Construction d’un métamodèle Etat de l’art académique Métamodèles Données métier Experts métier Increment. GUI Increment. Tools Increment. Parser * Plus de détails dans la thèse ou sur htpp: //nicolassannier. wordpress. com 18
INCREMENT-MDE : une approche d’IDM Concepts du métamodèle 19
INCREMENT-MDE : une approche d’IDM 3 - Un environnement support à la modélisation : Increment. GUI Liste des regroupements Corpora, topics, projets, Règles de design, interactions … Liste des éléments et verbatims propriétés 20
INCREMENT-MDE : une approche d’IDM Des briques supports à l’acquisition, la manipulation et l’analyse • Un ensemble de briques pour l’acquisition et l’analyse des modèles • Increment. Parser : un analyseur configurable pour l’acquisition • Increment. GUI : un environnement de modélisation • Increment. Tools : ensemble de règles et de méthodes sur les modèles • Acquisition automatique de 8 normes CEI, plus de 8000 éléments • + normes IEEE, AIEA • Un extracteur depuis la base de données CONNEXION (800 exi. ) • Génération de collections génériques éditables 21
INCREMENT Limites d’une approche IDM 10 CFR 50–A. 3: Section 10 CFR 50: Regulatory. Document corpus: Corpus name: corpus fragments name: 10 CFR 50 title: 10 CFR 50 - Appendix A fragments tf 22: Text. Fragment from. Documents name: tf 22 id: 10 CFR 50 – Appendix A III - Criterion 22 verbatim: Criterion 22 -Protection system independence The protection system shall be designed to assure that the effects of natural phenomena, and of normal operating, maintenance, testing, and postulated accident conditions on redundant channels do not result in loss of the protection function. . . name: 10 CFR 50–A. 3 title: III. Protection and Reactivity Control Systems verbatim: III. Protection and Reactivity Control Systems n Criterion 20—Protection system functions. The protection system shall be designed (1) to initiate automatically the operation of appropriate systems including the reactivity control systems, to assure that specified acceptable … fragments 10 CFR 50 -A 3. 22: Regulatory. Requirement analyzed. As : Typed. Element. Corpus corpus elements id: 10 CFR 50 -A 3. 22 name: 10 CFR 50 -A 3. 22 verbatim: Protection system independence. The protection system shall be designed to assure that the effects of natural phenomena, and of normal operating, maintenance, testing, and postulated accident conditions on … classification: IEEE 1 E IEEE non-1 E input. Author: AREVA date: 2013 system. Target: Protection system: RTS, ESFAS, DCS 22
INCREMENT Limites d’une approche IDM 10 CFR 50–A. 3: Section 10 CFR 50: Regulatory. Document corpus: Corpus name: corpus fragments name: 10 CFR 50 title: 10 CFR 50 - Appendix A fragments tf 22: Text. Fragment from. Documents name: tf 22 id: 10 CFR 50 – Appendix A III - Criterion 22 verbatim: Criterion 22 -Protection system independence The protection system shall be designed to assure that the effects of natural phenomena, and of normal operating, maintenance, testing, and postulated accident conditions on redundant channels do not result in loss of the protection function. . . name: 10 CFR 50–A. 3 title: III. Protection and Reactivity Control Systems verbatim: III. Protection and Reactivity Control Systems n Criterion 20—Protection system functions. The protection system shall be designed (1) to initiate automatically the operation of appropriate systems including the reactivity control systems, to assure that specified acceptable … fragments 10 CFR 50 -A 3. 22: Regulatory. Requirement analyzed. As : Typed. Element. Corpus corpus elements id: 10 CFR 50 -A 3. 22 name: 10 CFR 50 -A 3. 22 verbatim: Protection system independence. The protection system shall be designed to assure that the effects of natural phenomena, and of normal operating, maintenance, testing, and postulated accident conditions on … classification: IEEE 1 E IEEE non-1 E input. Author: AREVA date: 2013 system. Target: Protection system: RTS, ESFAS, DCS 23
INCREMENT Limites d’une approche IDM 10 CFR 50–A. 3: Section 10 CFR 50: Regulatory. Document corpus: Corpus name: corpus fragments name: 10 CFR 50 title: 10 CFR 50 - Appendix A fragments tf 22: Text. Fragment from. Documents name: tf 22 id: 10 CFR 50 – Appendix A III - Criterion 22 verbatim: Criterion 22 -Protection system independence The protection system shall be designed to assure that the effects of natural phenomena, and of normal operating, maintenance, testing, and postulated accident conditions on redundant channels do not result in loss of the protection function. . . name: 10 CFR 50–A. 3 title: III. Protection and Reactivity Control Systems verbatim: III. Protection and Reactivity Control Systems n Criterion 20—Protection system functions. The protection system shall be designed (1) to initiate automatically the operation of appropriate systems including the reactivity control systems, to assure that specified acceptable … fragments 10 CFR 50 -A 3. 22: Regulatory. Requirement analyzed. As : Typed. Element. Corpus corpus elements id: 10 CFR 50 -A 3. 22 name: 10 CFR 50 -A 3. 22 verbatim: Protection system independence. The protection system shall be designed to assure that the effects of natural phenomena, and of normal operating, maintenance, testing, and postulated accident conditions on … classification: IEEE 1 E IEEE non-1 E input. Author: AREVA date: 2013 system. Target: Protection system: RTS, ESFAS, DCS 24
INCREMENT Limites d’une approche IDM 10 CFR 50–A. 3: Section 10 CFR 50: Regulatory. Document corpus: Corpus name: corpus fragments name: 10 CFR 50 title: 10 CFR 50 - Appendix A fragments tf 22: Text. Fragment from. Documents name: tf 22 id: 10 CFR 50 – Appendix A III - Criterion 22 verbatim: Criterion 22 -Protection system independence The protection system shall be designed to assure that the effects of natural phenomena, and of normal operating, maintenance, testing, and postulated accident conditions on redundant channels do not result in loss of the protection function. . . name: 10 CFR 50–A. 3 title: III. Protection and Reactivity Control Systems verbatim: III. Protection and Reactivity Control Systems n Criterion 20—Protection system functions. The protection system shall be designed (1) to initiate automatically the operation of appropriate systems including the reactivity control systems, to assure that specified acceptable … fragments 10 CFR 50 -A 3. 22: Regulatory. Requirement analyzed. As : Typed. Element. Corpus corpus elements id: 10 CFR 50 -A 3. 22 name: 10 CFR 50 -A 3. 22 verbatim: Protection system independence. The protection system shall be designed to assure that the effects of natural phenomena, and of normal operating, maintenance, testing, and postulated accident conditions on … classification: IEEE 1 E IEEE non-1 E input. Author: AREVA date: 2013 system. Target: Protection system: RTS, ESFAS, DCS 25
INCREMENT Vers une approche de recherche d’information • • Un modèle d’exigences : • De taille importante (plusieurs milliers d’éléments) • Contenu est essentiellement textuel, de haut niveau et ambigu • Limitations du nombre d’opérations sur les modèles Définition de plusieurs types de lien de traçabilité • • Pas d’éléments pour calculer et mettre en œuvre la traçabilité Traçabilité des exigences avec la recherche d’information 26
INCREMENT Indexation et de recherche d’information (TF-IDF) • Indexation pour stocker, trier les informations d’un document (unité de traitement) dans des champs • • Un document est un fragment de texte (taille et forme indifférente) Un calcul de similarité entre une requête portant sur un ou plusieurs champs des documents de l’index • Term frequency (TF) : plus le ou les termes apparaissent dans le document, plus le score est haut • Inverse document frequency (IDF) : Plus le terme apparait dans les documents, plus il est commun, moins il est important • Score TF-IDF : plus les documents contiennent les termes de la requête plus le score est haut 27
INCREMENT Limites d’une approche recherche d’information • Forte génération de faux positif avec les scores TF-IDF • • Traçabilité = favorisation du rappel au détriment de la précision • D’autant plus forte que tout le contenu des documents est conservé Maîtriser la génération de faux-positif dans l’état de l’art • Valeur de coupure arbitraire • Regroupements entre « bonnes » et « mauvaises » exigences 28
INCREMENT-Hybrid : une hybridation IDM / Recherche d’information 29
INCREMENT-Hybrider l’IDM et la recherche d’information • • • Un modèle d’exigences • Acquis de manière semi-automatique • Riche en informations • peu exploitable pour des analyses automatiques sur les verbatims Un index • Acquis manuellement • De taille raisonnable (> 8000 documents pour 8 normes) : • à plat, sans typologie, avec peu d’informations sinon les textes Mettre à disposition automatiquement et prendre en compte les informations du modèle pour l’indexation et la recherche d’information 30
INCREMENT-Hybrid Questions de recherche • • Comment indexer les propriétés d’un modèle d’exigences ? • Une analyse de la synchronisation modèle – index sur le patron CRUD • Un mécanisme d’indexation automatique des éléments de modèle Quelle efficacité de l’utilisation des propriétés du modèle pour la maîtrise des faux positifs ? • Une étude sur l’impact de l’utilisation du typage pour améliorer la recherche d’information 31
INCREMENT-Hybrid Indexer les propriétés d’un modèle ? [2] Sannier & Baudry – MODRE’ 2012 32
INCREMENT-Hybrid Mécanisme de synchronisation • Un mécanisme de synchronisation modèle - index • Un sens de synchronisation : modèle index • Deux modes de synchronisation • À la demande (chargement/sauvegarde du modèle dans l’outil) • • Implémenté dans l’outil À la volée : à chaque modification du modèle [2] Sannier & Baudry – MODRE’ 2012 33
INCREMENT-Hybrid Efficacité de l’hybridation • Maîtriser la génération de faux positifs • MISC : Modeling - Indexing - Searching - Comparing Document specific reading rules Determining reading rules Connexion Metamodel conforms to automatic extraction with reading rules Standards Preprocessing documents Model indexing Model-based Candidate links Index {related documents} INCREMENT querying Plain text standards Standard querying Manual extraction {documents} Relative Comparison indexing [*] Sannier & Baudry - submitted to REFSQ' 2014 Standard Index Candidate links {related documents} 34
INCREMENT-Hybrid Bénéfices de l’hybridation candidate links (above the cut-off value) retrieved requirements and recommendations above threshold retrieved links in the modelbased index configuration management 221 72 106 52, 04 34 common cause failure CCF 154 17 115 25, 32 98 specification 576 216 62, 50 0 independence 64 14 14 78, 13 0 validation 347 96 96 72, 33 0 verification 445 169 171 61, 57 2 quality assurance 259 84 106 59, 07 22 defence in depth 81 8 14 82, 72 6 integration 237 65 65 72, 57 0 self supervision 92 25 25 72, 83 0 modification 214 70 70 67, 29 0 diversity 103 16 16 84, 47 0 isolation 38 8 8 78, 95 0 query [*] Sannier & Baudry - submitted to REFSQ' 2014 straightforward Loss of reduction of the requirements and research space (%) recommendations 35
INCREMENT-Hybrid Bénéfices de l’hybridation • Réduction des espaces de candidats en moyenne de 65% • Sans avoir besoin d’une valeur de coupure • Ensembles plus petits et plus pertinents pour l’analyse • Contribution en traçabilité des exigences : • Recherche d’information fort rappel, très faible précision • Amélioration par construction de la précision • Hypothèse : Maintien du rappel (aucune « exigence » perdue) [*] Sannier & Baudry - submitted to REFSQ' 2014 36
3. Conclusion et perspectives 37
INCREMENT Synthèse • Instrumentation a. Nd Control REquirements Modeling environm. ENT • IDM pour formaliser et capitaliser sur le domaine • Recherche d’information (RI) pour l’analyse des contenus textuels • Hybridation IDM/RI dans un même environnement Documents du domaine Ingénieurs CC Increment. GUI Increment. Parser Increment. Index Conforms with Connexion Metamodel RR Model Synchronized with [*] Sannier & Baudry - submitted to REFSQ' 2014 RR Index 38
Résumé des contributions • 1 contribution méthodologique • • La description du domaine, de ses exigences et de leur évolution 3 contributions techniques dans INCREMENT Utilisées par les partenaires CONNEXION dans le cadre du projet 1. La formalisation du domaine des exigences réglementaires • Un Métamodèle et une démarche outillée l’accompagnant 2. Une analyse de différentes techniques de recherche d’information pour la traçabilité • Statistiques, Clustering, Topic detection (LDA), Scores TF-IDF 39
Résumé des contributions 3. L’hybridation entre le métamodèle et les techniques d’indexation • Indexation automatique des modèles d’exigences • Système de recherche dans Increment-GUI 40
Perspectives pour INCREMENT R&D • Dans le cadre R&D du projet CONNEXION • Maturation du métamodèle et de ses outils chez les partenaires • Prise en compte de la variabilité des exigences • • • (thèse S. Ben Nasr) Meilleures définitions des règles de design, de la justification En dehors de CONNEXION • Passage hors du monde nucléaire avec une expérimentation sur des normes de performance électrique des bâtiments • • (collaboration avec Martin Monperrus – Univ. Lille) Evaluation de la réduction de l’espace de recherche en dehors du typage [*] Sannier & Baudry - submitted to REFSQ' 2014 41
Perspectives pour INCREMENT Recherche académique • Pour le domaine de l’ingénierie des exigences réglementaires • Métamodèle Connexion = Structuration organique des exigences • Prendre en compte la « nature » des exigences • • Exigences d’objectifs, de moyens, de processus, autre ? Définir des environnements pour la certification • Plus génériques que les actuels (Connexion, Cresco, Safety. Met, etc. ) • S’organisant autour des « natures » / « contrats » • Collaboration avec Simula en réflexion 42
Publications liées à la thèse *. INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis, Nicolas Sannier, and Benoit Baudry, submitted to (REFSQ’ 2014), 2014 1. Defining and Retrieving Themes in Nuclear Regulations, Nicolas Sannier, and Benoit Baudry, in (RELAW’ 2012), pp 33 -41, Chicago, Ill. , USA, 25 th of September 2012 2. Toward Multilevel Textual Requirements Traceability using Model-driven Engineering and Information Retrieval, Nicolas Sannier, and Benoit Baudry, in (Mo. DRE’ 2012), pp 29 -38, Chicago, Ill. , USA, 24 th of september 2012. 3. Ingénierie dirigée par les modèles pour structurer et partager un référentiel d’exigences de sûreté dans la durée, Nicolas Sannier, in 4èmes Journées nationales du GRD-GPL 2012, p 203, Rennes, France, 20 -22 June 2012. 4. Formalizing standards and regulations variability in longlife projects. A challenge for model-driven engineering, Nicolas Sannier, Benoit Baudry, and Thuy Nguyen, in 1 st International Workshop Model-Driven Requirements Engineering (Mo. DRE’ 2011), pp 64 -73, Trento, Italy, 29 th of august 2011. 5. Défis pour la variabilité et la traçabilité des exigences en ingénierie système, Nicolas Sannier, and Benoit Baudry, in INFORSID’ 2011, Lille, France, 24 -26 may 2011 43
Publications non liées à la thèse 6. Comparing or Configuring Products: Are We Getting the Right Ones? Nicolas Sannier, Guillaume Bécan, Mathieu Acher, Sana Ben Nasr, and Benoit Baudry, in (VAMOS’ 2014), Nice, France, to appear. 7. On Product Comparison Matrices and Variability Models from a Product Comparison/Configuration Perspective, Nicolas Sannier, Guillaume Bécan, Sana Ben Nasr, Benoit Baudry, in (JLDP’ 2013), Paris, France, November 29, 2013. 8. From Comparison Matrix to Variability Model: The Wikipedia Case study, Nicolas Sannier, Mathieu Acher, and Benoit Baudry, in (ASE’ 2013), pp 580 -585, Palo Alto, California, November 11 – 15, 2013. 44
Les diapositives Bonus 45
A propos … Des systèmes numériques de contrôle-commande (CC) des centrales • Le contrôle-commande : Réalisation de fonctions importantes pour la sûreté • 1985 : premier système de protection réacteur numérique • Nécessité d’utiliser des technologies numériques • • Raréfaction des systèmes non numériques • Utilisation de produits de moins en moins dédiés Suspicion universelle vis-à-vis du logiciel • Ariane, Ping of Death, régulateurs de vitesse défectueux, Louvois … • On ne sait pas démontrer l’absence d’erreur • Risques de défaillance de cause commune [4] In Sannier, Baudry & Nguyen - MODRE' 2011 46
Conséquences de la complexité du domaine Un peu d’histoire récente du CC nucléaire • Un projet EPR certifié pour la France par les autorités de sûreté • Deux projets en Chine, acceptés sur le modèle français • Un projet en Finlande, accepté en Finlande après modification • Un projet en Grande-Bretagne et aux Etats-Unis (en cours d’évaluation) • 1 EPR, 5 Projets mais : • 4 architectures de contrôle commande différentes, • 4 processus de certifications différents • 2 « échecs » de certification (Grande Bretagne, Etats-Unis) [*] Sannier & Baudry - submitted to REFSQ' 2014 47
Etat de l’art Exigences réglementaires • • Travaux et communauté essentiellement dans le secteur médical et aux US • Conformité par rapport à des préoccupations très particulières • Exigences réglementaires in the small Travaux autour de la certification et conformité aux normes • Travaux sur les « grandes » normes (DO-178, CEI 61508) • • Travaux spécifiques à une norme Une approche récente pour de la conformité multi normes, multi domaines (OPENCOSS) • Toutes des spécialisations de la CEI 61508 [*] Sannier & Baudry - submitted to REFSQ' 2014 48
Etat de l’art Formalisation et modélisation des exigences • • Formalisation par patrons de spécification • Dwyer, Konrad et Cheng, Volere shells, EARS, etc. • Valable pour les exigences de plus bas niveau « Formalisation » par la modélisation • Approches orientées buts (KAOS, i*) : pour l’élucidation d’exigences • UML : valable pour les exigences traditionnelles, pas normatives • Sys. ML (diagramme d’exigences) : expressivité faible tel quel • DSLs : spécifiques à une préoccupation sur les exigences • Spécification, versions de modèles, propriétés particulières [*] Sannier & Baudry - submitted to REFSQ' 2014 49
Etat de l’art Traçabilité des exigences • • Sémantique de la traçabilité • Liens simples entre n éléments • Liens plus riches (derive, satisfy, contain, reference, require, etc. ) Représentation de la traçabilité • • Matrices, références, liens hypertextes, associations, etc. Moyens de mise en œuvre • Traçabilité manuelle ou semi-automatisée • Analyse de la langue naturelle • Recherche d’information pour la traçabilité des exigences [*] Sannier & Baudry - submitted to REFSQ' 2014 50
Etat de l’art Synthèse et limites courantes • Des exigences complexes, subies, en dehors de l’état de l’art académique x Inadéquation des techniques de spécification pour le problème x Travaux limités à un nombre limité d’exigences réglementaires • Modélisation (UML, Sys. ML, KAOS, i*, Use case maps) peu adaptée x Utile en élucidation, pas pour brosser le paysage x Forte déformation de la sémantique et obligation d’extension x Modélisations spécifiques à une norme • Traçabilité x Manuelle ou semi-automatisée sur des ensembles contrôlés x Gestion des espaces de candidats [*] Sannier & Baudry - submitted to REFSQ' 2014 51
INCREMENT-MDE : une approche d’IDM Evolution d’un métamodèle • d’un triptyque de base < Exigence, architecture, qualification > … 52
INCREMENT-MDE : une approche d’IDM Un métamodèle du domaine • Plusieurs grands concepts : • Typed. Element qui regroupent les exigences, les recommandations, etc. • Corpus, Document. Fragment, pour les documents et la réglementation d’où sont issues les exigences • Interaction pour la traçabilité entre « exigences » et les comparaisons • Design. Rule, pour un pont vers l’architecture • Justification, pour la gestion de la justification • Des wrappers pour des regroupements personnalisés • Topic pour le regroupement d’exigences dans les thèmes • Project pour avoir une vue sur les différents projets et les exigences • Typed. Element. Wrapper, pour d’autres regroupements 53
- Dissertation comment faire
- Comment faire une introduction dans une dissertation
- Les pomes
- Toi et moi basel
- Mot de bienvenue au culte d'adoration
- Quand je suis frais je suis chaud qui suis-je
- Un marqueur de relation
- La fiche de lecture la ficelle
- Rendre une femme heureuse
- Vocabulaire pour décrire une maison
- Plan de communication pour une entreprise de transport
- Mtonymie
- Caspar david friedrich l'abbaye dans une forêt de chênes
- Combien de blida dans une bouteille de champagne
- Dans le ciel nous avons une mère paroles
- Donne la paix à ton frère
- Plan de sujet
- Comment mettre un éléphant dans un frigo
- Fonctions techniques définition
- Je suis une intruse
- Particule dans une boite
- Test de la girafe
- Comment mettre une girafe dans un frigo
- Adjectif nominal
- Comment mettre une girafe dans un frigo
- Il y a une fenêtre dans la salle de classe.
- Coupe racine dicotylédone
- Une pilule une petite granule chanson
- Le bonheur est une trajectoire et non pas une destination
- Composition de la une d'un journal
- Si une porte se ferme une autre s'ouvre
- Il était une fois une petite fille
- Ce n'est pas une image juste c'est juste une image
- Bpms definition
- Avantages de la gestion axée sur les résultats
- Mon anniversaire s'approche
- Synoptique toulouse
- Réforme curriculaire définition
- Approche par les forces
- La compétence communicative
- Organigramme maintenance industrielle
- Approche par les forces
- Approche administrative
- Approche scpd
- Approche surge
- Approche actionnelle fle
- Les principes de l'approche communicative
- Steps of index testing
- Psychologie
- Approche
- Approche clinique définition
- Increment in c++ example
- Increment and decrement operators in c
- Topping d10b