INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis

Nicolas Sannier 1 Benoit Baudry 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : [Context and motivation] Regulatory requirements for Nuclear instrumentation and control (I&C) systems are first class requirements. They are written by national safety entities and are completed through a large documentation set of national recommendation guidesandnational/internationalstandards. [Question/Problem] I&C systems important to safety must comply to all of these requirements. The global knowledge of this domain is scattered through these different documents and not formalized. Its organization and traceability relationships within this domain is mainly implicit. As a consequence, such long lasting nuclear I&C projects set important challenges in terms of tacit expertise capitalization and domain analysis. [Principal ideas/results] To tackle this domain formalization issue, we propose a dual Model-driven Engineering (MDE) and Information Retrieval (IR) approach to address the nuclear regulatory requirements domain definition, and assisted traceability based on the acquired requirements model. [Contributions] In this paper, we present the Connexion metamodel that pro- vides a canvas for the definition and capitalization of the nuclear regu- latory requirements domain. We also present an hybrid MDE/IR-based approach, named INCREMENT, for acquiring, modeling and analyzing these regulatory requirements. This approach is supported by a tool that is developed in the context of the CONNEXION project, which gathers French major nuclear I&C industrial actors.
Type de document :
Communication dans un congrès
Camille Salinesi and Inge van de Weerd. REFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Apr 2014, Essen, Germany. Springer, 2014
Liste complète des métadonnées


https://hal.inria.fr/hal-00982065
Contributeur : Nicolas Sannier <>
Soumis le : mercredi 23 avril 2014 - 11:27:08
Dernière modification le : jeudi 9 février 2017 - 16:04:46
Document(s) archivé(s) le : mercredi 23 juillet 2014 - 11:40:21

Fichier

REFSQ2014-increment.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00982065, version 1

Citation

Nicolas Sannier, Benoit Baudry. INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis. Camille Salinesi and Inge van de Weerd. REFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Apr 2014, Essen, Germany. Springer, 2014. <hal-00982065>

Partager

Métriques

Consultations de
la notice

472

Téléchargements du document

135