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

Nicolas Sannier 1, 2, * Benoit Baudry 2 Thuy Nguyen 1
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
Model-Driven Requirements Engineering Workshop (MoDRE), Aug 2011, Trento, Italy. 2011, 〈http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6045368〉. 〈10.1109/MoDRE.2011.6045368〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00636855
Contributeur : Nicolas Sannier <>
Soumis le : vendredi 28 octobre 2011 - 14:42:54
Dernière modification le : jeudi 11 janvier 2018 - 06:20:11
Document(s) archivé(s) le : lundi 30 janvier 2012 - 11:17:54

Fichier

Sannier_Baudry_Nguyen_Formaliz...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

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. 2011, 〈http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6045368〉. 〈10.1109/MoDRE.2011.6045368〉. 〈inria-00636855〉

Partager

Métriques

Consultations de la notice

387

Téléchargements de fichiers

256