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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00636855
Contributor : Nicolas Sannier <>
Submitted on : Friday, October 28, 2011 - 2:42:54 PM
Last modification on : Friday, December 21, 2018 - 11:10:24 AM
Long-term archiving on : Monday, January 30, 2012 - 11:17:54 AM

File

Sannier_Baudry_Nguyen_Formaliz...
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

796

Files downloads

399