Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors

Sensor-based digital systems for Instrumentation and Control (I&C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, check the consistency between different levels of abstraction and address the concerns of various stakeholders. In this work, we integrate the development process of I&C systems and the involvement of stakeholders within a model-driven methodology. The proposed approach introduces a new architectural framework that defines various concepts, allowing system implementations and encompassing different development phases, all actors, and system concerns. In addition, we define a new I&C Modeling Language (ICML) and a set of methodological rules needed to build different architectural framework views. To illustrate this methodology, we extend the specific use of an open-source system engineering tool, named Eclipse Papyrus, to carry out many automation and verification steps at different levels of abstraction. The architectural framework modeling capabilities will be validated using a realistic use case system for the protection of nuclear reactors. The proposed framework is able to reduce the overall system development cost by improving links between different specification tasks and providing a high abstraction level of system components.

[1]  Sébastien Gérard,et al.  From Document-Based to Model-Based System and Software Engineering: Experience Report of a Selective Catalytic Reduction System Development , 2016, EduSymp/OSS4MDE@MoDELS.

[2]  Ulrich Frank,et al.  Domain-Specific Modeling Languages: Requirements Analysis and Design Guidelines , 2013, Domain Engineering, Product Lines, Languages, and Conceptual Models.

[3]  Robert Wille,et al.  Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study , 2020, ArXiv.

[4]  Federico Ciccozzi,et al.  MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering , 2016, IDC.

[5]  Fu Li,et al.  The first digital reactor protection system in China , 2002 .

[6]  Benoit Baudry,et al.  Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering , 2011, 2011 Model-Driven Requirements Engineering Workshop.

[7]  Benoit Baudry,et al.  INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis , 2014, REFSQ.

[8]  Nikolaos Papakonstantinou,et al.  Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant , 2020, IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society.

[9]  Allae Erraissi,et al.  An Approach Based On Model Driven Engineering For Big Data Visualization In Different Visual Modes , 2020 .

[10]  George Spanoudakis,et al.  Towards a Model-Driven Platform for Evidence based Public Health Policy Making , 2017, SEKE.

[11]  W.J. Zhang,et al.  Comparison of AH and MFM for work domain analysis in light of interface design , 2017, 2017 IEEE International Systems Engineering Symposium (ISSE).

[12]  Aruna Raja,et al.  Domain Specific Languages , 2010 .

[13]  Davide Brugali,et al.  Model-Driven Software Engineering in Robotics: Models Are Designed to Use the Relevant Things, Thereby Reducing the Complexity and Cost in the Field of Robotics , 2015, IEEE Robotics & Automation Magazine.

[14]  W. J. Zhang,et al.  The general architecture of adaptive robotic systems for manufacturing applications , 2010 .

[15]  Elisabetta Di Nitto,et al.  Towards a Model-Driven Design Tool for Big Data Architectures , 2016, 2016 IEEE/ACM 2nd International Workshop on Big Data Software Engineering (BIGDSE).

[16]  Ludovic Apvrille,et al.  SysML-Sec: A model driven approach for designing safe and secure systems , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[17]  Y. Lin,et al.  On Proposal of Function-Behavior-State Framework as Refinement of EID Framework of Human-Machine Interface Design , 2001 .

[18]  Emmanuel Okewu,et al.  Model-Driven Engineering and Creative Arts Approach to Designing Climate Change Response System for Rural Africa: A Case Study of Adum-Aiona Community in Nigeria , 2017 .

[19]  Frank van Lingen,et al.  The Unavoidable Convergence of NFV, 5G, and Fog: A Model-Driven Approach to Bridge Cloud and Edge , 2017, IEEE Communications Magazine.

[20]  Martin Gogolla,et al.  Object Constraint Language , 2009, Encyclopedia of Database Systems.

[21]  Ingo Weber,et al.  Lorikeet: A Model-Driven Engineering Tool for Blockchain-Based Business Process Execution and Asset Management , 2018, BPM.

[22]  Wilbert G. Aguilar,et al.  MilNova: An approach to the IoT solution based on model-driven engineering for the military health monitoring , 2017, 2017 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON).

[23]  Alexey Platunov,et al.  Model-driven functional testing of cyber-physical systems using deterministic replay techniques , 2018, 2018 IEEE Industrial Cyber-Physical Systems (ICPS).

[24]  Sophie Dupuy-Chessa,et al.  Flexibility in MDE for scaling up from simple applications to real case studies: illustration on a Nuclear Power Plant , 2013, IHM.

[25]  Jérôme Hugues,et al.  Model Driven Engineering with Capella and AADL , 2016 .

[26]  Edgar Tello-Leal,et al.  Methodology for the model-driven development of service oriented IoT applications , 2018, J. Syst. Archit..

[27]  Aniruddha S. Gokhale,et al.  UPSARA: A Model-Driven Approach for Performance Analysis of Cloud-Hosted Applications , 2018, 2018 IEEE/ACM 11th International Conference on Utility and Cloud Computing (UCC).