Skip to Main content Skip to Navigation
New interface
Conference papers

Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering

Nicolas Sannier 1, 2, * Benoit Baudry 2 Thuy Nguyen 1 
* Corresponding author
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Safety regulations and standards imposed by national regulators on nuclear power plant systems provide high-level requirements, recommendations and/or guidance expressed in natural language. In many cases, this leaves a large margin for interpretation, not all of which are acceptable to a given regulator. Currently the elements that lead to the establishment of acceptable/accepted practices are not always documented, nor are these practices formally modeled. When a new standard appears or when Electricité de France (EDF) has to discuss a standard with another regulator, there is no systematic process to build a practice. Domain-specific modeling, traceability and variability modeling are Model-Driven Engineering (MDE) techniques that could address various aspects of practice formalization. This paper precisely defines the modeling issues that are currently faced by EDF when managing regulatory safety requirements, standards and practices. Then we review existing requirements modeling techniques to understand their benefits and limits according to EDF's needs.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Nicolas Sannier Connect in order to contact the contributor
Submitted on : Friday, October 28, 2011 - 2:42:54 PM
Last modification on : Friday, February 4, 2022 - 3:16:28 AM
Long-term archiving on: : Monday, January 30, 2012 - 11:17:54 AM


Files produced by the author(s)



Nicolas Sannier, Benoit Baudry, Thuy Nguyen. Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering. Model-Driven Requirements Engineering Workshop (MoDRE), Aug 2011, Trento, Italy. ⟨10.1109/MoDRE.2011.6045368⟩. ⟨inria-00636855⟩



Record views


Files downloads