{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:13:27Z","timestamp":1760235207938,"version":"build-2065373602"},"reference-count":35,"publisher":"MDPI AG","issue":"15","license":[{"start":{"date-parts":[[2021,7,29]],"date-time":"2021-07-29T00:00:00Z","timestamp":1627516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"BPI France","award":["ORION"],"award-info":[{"award-number":["ORION"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>Sensor-based digital systems for Instrumentation and Control (I&amp;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\u2019s 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&amp;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&amp;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.<\/jats:p>","DOI":"10.3390\/s21155136","type":"journal-article","created":{"date-parts":[[2021,7,29]],"date-time":"2021-07-29T21:21:21Z","timestamp":1627593681000},"page":"5136","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Model-Driven Architectural Framework towards Safe and Secure Nuclear Power Reactors"],"prefix":"10.3390","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6534-9295","authenticated-orcid":false,"given":"Bassem","family":"Ouni","sequence":"first","affiliation":[{"name":"CEA LIST, University of Paris-Saclay, 91120 Palaiseau, France"}]},{"given":"Christophe","family":"Aussagues","sequence":"additional","affiliation":[{"name":"CEA LIST, University of Paris-Saclay, 91120 Palaiseau, France"}]},{"given":"Saadia","family":"Dhouib","sequence":"additional","affiliation":[{"name":"CEA LIST, University of Paris-Saclay, 91120 Palaiseau, France"}]},{"given":"Chokri","family":"Mraidha","sequence":"additional","affiliation":[{"name":"CEA LIST, University of Paris-Saclay, 91120 Palaiseau, France"}]}],"member":"1968","published-online":{"date-parts":[[2021,7,29]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Carroll, E.R., and Malins, R.J. (2016). Systematic Literature Review: How Is Model-Based Systems Engineering Justified? SANDIA Report 2016\u20132607, Sandia National Laboratories.","DOI":"10.2172\/1561164"},{"key":"ref_2","unstructured":"Adedjouma, M., Thomas, T., Mraidha, C., Gerard, S., and Zeller, G. (2016, January 2\u20137). From Document-Based to Model-Based System and Software Engineering. Proceedings of the OSS4MDE 2016\u2014Open Source Software for Model-Driven Engineering, Saint Malo, France."},{"key":"ref_3","unstructured":"Object Management Gruop (2015). OMG Unified Modeling Language TM (OMG UML). Technical Report, Object Management Gruop."},{"key":"ref_4","unstructured":"Fowler, M. (2010). Domain-Specific Languages, Pearson Education."},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Reyes, C.R.P., Vaca, H.P., Calder\u00f3n, M.P., Montoya, L., and Aguilar, W.G. (2017, January 18\u201320). MilNova: An approach to the IoT solution based on model-driven engineering for the military health monitoring. Proceedings of the 2017 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON), Pucon, Chile.","DOI":"10.1109\/CHILECON.2017.8229585"},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Prasinos, M., Spanoudakis, G., and Koutsouris, D. (2017, January 5\u20137). Towards a model-driven platform for evidence based public health policy making. Proceedings of the SEKE 2017\u201429th International Conference on Software Engineering & Knowledge Engineering, Pittsburgh, PA, USA.","DOI":"10.18293\/SEKE2017-180"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCOM.2017.1600907","article-title":"The Unavoidable Convergence of NFV, 5G, and Fog: A Model-Driven Approach to Bridge Cloud and Edge","volume":"55","author":"Yannuzzi","year":"2017","journal-title":"IEEE Commun. Mag."},{"key":"ref_8","unstructured":"Tran, A.B., Lu, Q., and Weber, I. (2018). Lorikeet: A Model-Driven Engineering Tool for Blockchain-Based Business Process Execution and Asset Management. BPM (Dissertation\/Demos\/Industry), Springer."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/j.sysarc.2018.08.008","article-title":"Methodology for the model-driven development of service oriented IoT applications","volume":"90","year":"2018","journal-title":"J. Syst. Archit."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Badica, C., El Fallah Seghrouchni, A., Beynier, A., Camacho, D., Herpson, C., Hindriks, K., and Novais, P. (2017). MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering. International Symposium on Intelligent and Distributed Computing, Springer International Publishing.","DOI":"10.1007\/978-3-319-48829-5"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1109\/MRA.2015.2452201","article-title":"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","volume":"22","author":"Brugali","year":"2015","journal-title":"IEEE Robot. Autom. Mag."},{"key":"ref_12","first-page":"198","article-title":"An Approach Based on Model Driven Engineering for Big Data Visualization in Different Visual Modes","volume":"9","author":"Erraissi","year":"2020","journal-title":"Int. J. Sci. Technol. Res."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Guerriero, M., Tajfar, S., Tamburri, D.A., and Di Nitto, E. (2016, January 14\u201322). Towards a model-driven design tool for big data architectures. Proceedings of the 2nd International Workshop on BIG Data Software Engineering, Austin, TX, USA.","DOI":"10.1145\/2896825.2896835"},{"key":"ref_14","unstructured":"Ouni, B., Gaufillet, P., Jenn, E., and Hugues, J. (February, January 31). Model Driven Engineering with Capella and AADL. Proceedings of the ERTSS Conference, Toulouse, France."},{"key":"ref_15","unstructured":"Roudier, Y., and Apvrille, L. (2015, January 9\u201311). SysML-Sec: A model driven approach for designing safe and secure systems. Proceedings of the 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Angers, Loire Valley, France."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Pinkevich, V., and Platunov, A. (2018, January 15\u201318). Model-driven functional testing of cyber-physical systems using deterministic replay techniques. Proceedings of the 2018 IEEE Industrial Cyber-Physical Systems (ICPS), Saint Petersburg, Russia.","DOI":"10.1109\/ICPHYS.2018.8387650"},{"key":"ref_17","first-page":"101","article-title":"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","volume":"12","author":"Okewu","year":"2017","journal-title":"Probl. Ekorozwoju Sustain. Dev."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Barve, Y., Shekhar, S., Khare, S., Bhattacharjee, A., and Gokhale, A. (2018, January 17\u201320). Upsara: A model-driven approach for performance analysis of cloud-hosted applications. Proceedings of the 2018 IEEE\/ACM 11th International Conference on Utility and Cloud Computing (UCC), Zurich, Switzerland.","DOI":"10.1109\/UCC.2018.00009"},{"key":"ref_19","unstructured":"Mashkoor, A., Egyed, A., and Wille, R. (2020). Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study. arXiv."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Sannier, N., Baudry, B., and Nguyen, T. (2011, January 29). Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering. Proceedings of the 2011 Model-Driven Requirements Engineering Workshop, MoDRE 2011, Trento, Italy.","DOI":"10.1109\/MoDRE.2011.6045368"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"C\u00e9ret, E., Calvary, G., and Dupuy-Chessa, S. (2013, January 13\u201315). Flexibility in MDE for scaling up from simple applications to real case studies: Illustration on a Nuclear Power Plant. Proceedings of the 25\u00e8me Conf\u00e9rence Francophone sur l\u2019Interaction Homme-Machine, IHM\u201913, Bordeaux, France.","DOI":"10.1145\/2534903.2534909"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Linnosmaa, J., Pakonen, A., Papakonstantinou, N., and Karpati, P. (2020, January 18\u201321). Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant. Proceedings of the IECON 2020 the 46th Annual Conference of the IEEE Industrial Electronics Society, Singapore.","DOI":"10.1109\/IECON43393.2020.9254226"},{"key":"ref_23","unstructured":"Salinesi, C., and van de Weerd, I. (2014). INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis. Requirements Engineering: Foundation for Software Quality, Springer International Publishing."},{"key":"ref_24","unstructured":"Poirier, C., Kriaa, S., Pebay-peyroula, F., and Zille, V. (2014, January 24\u201328). A tool for I & C system architecture design: The French Connexion cluster. Proceedings of the ISOFIC\/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants\/International Symposium on Symbiotic Nuclear Power Systems, Seoul, Korea."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Cai, M., Lin, Y., Gao, Z., Yuan, C., and Zhang, W. (2017, January 11\u201313). Comparison of AH and MFM for work domain analysis in light of interface design. Proceedings of the 2017 IEEE International Systems Engineering Symposium (ISSE), Vienna, Austria.","DOI":"10.1109\/SysEng.2017.8088250"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Lin, Y., Zhang, W., and Watson, L. (2001). On Proposal of Function-Behavior-State Framework as Refinement of EID Framework of Human-Machine Interface Design. Human Friendly Mechatronics, Elsevier.","DOI":"10.1016\/B978-044450649-8\/50012-7"},{"key":"ref_27","unstructured":"(2021, July 28). Eclipse Papyrus \u2122 Modeling Environment. Available online: https:\/\/www.eclipse.org\/papyrus\/."},{"key":"ref_28","unstructured":"(2011). ISO\/IEC\/IEEE systems and software engineering\u2014Architecture description. ISO\/IEC\/IEEE 42010:2011(E) (Revision of ISO\/IEC 42010:2007 and IEEE Std 1471-2000), IEEE."},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1016\/j.rcim.2010.03.002","article-title":"The general architecture of adaptive robotic systems for manufacturing applications","volume":"26","author":"Bi","year":"2010","journal-title":"Robot. Comput. Integr. Manuf."},{"key":"ref_30","unstructured":"ISO (2021). ISO\/IEC JTC 1\/SC 7\/WG42\u2014Software and Systems Engineering, ISO."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Frank, U. (2013). Domain-specific modeling languages: Requirements analysis and design guidelines. Domain Engineering, Springer.","DOI":"10.1007\/978-3-642-36654-3_6"},{"key":"ref_32","unstructured":"American National Standard (2009). ANSI\/ISA-5.1-2009 Instrumentation Symbols and Identification, American National Standard."},{"key":"ref_33","unstructured":"Object Management Group (2014). Object Constraint Language, Object Management Group. Technical Report."},{"key":"ref_34","unstructured":"(2021, July 28). Eclipse Environment. Available online: https:\/\/www.eclipse.org\/."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0029-5493(02)00193-0","article-title":"The first digital reactor protection system in China","volume":"218","author":"Li","year":"2002","journal-title":"Nucl. Eng. Des."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/21\/15\/5136\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T06:36:42Z","timestamp":1760164602000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/21\/15\/5136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,29]]},"references-count":35,"journal-issue":{"issue":"15","published-online":{"date-parts":[[2021,8]]}},"alternative-id":["s21155136"],"URL":"https:\/\/doi.org\/10.3390\/s21155136","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2021,7,29]]}}}