Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download
Contributor : Nicolas Sannier Connect in order to contact the contributor
Submitted on : Wednesday, April 23, 2014 - 11:27:08 AM
Last modification on : Tuesday, October 19, 2021 - 11:58:58 PM
Long-term archiving on: : Wednesday, July 23, 2014 - 11:40:21 AM


Files produced by the author(s)


  • HAL Id : hal-00982065, version 1


Nicolas Sannier, Benoit Baudry. INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis. REFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Apr 2014, Essen, Germany. ⟨hal-00982065⟩



Les métriques sont temporairement indisponibles