A Survey on Systems Engineering Methodologies for Large Multi-Energy Cyber-Physical Systems

Today’s large distributed energy cyber-physical systems such as power networks with multiple production units are becoming more and more complex due to the increasing share of renewables. They are characterized by long-lived lifecycles that can even be eternal such as electric grids where design and operational phases can overlap. These systems exhibit dynamic configurations and involve several interacting disciplines and manifold stakeholders that can, at any time, take part in the system or leave it. A pressing need has emerged for means to test a large number of scenarios all along the system design, operation and maintenance phases. Doing so requires the ability to model the system behavior and perform simulation on each of its facets using accurate tools for the purpose of automated testing, verification and validation. Existing industrial engineering design practices are becoming obsolete and do not have the means to follow the growing complexity of such multi-disciplinary and multi-stakeholder systems. For this matter, we have explored systems engineering (SE) practices among research communities and tool editors. Design methodologies found in literature are generally based on the functional breakdown of requirements and use general modeling languages for representing the system behavior. They are limited to finite state machines representation with a wide gap regarding the physical aspects that are neglected or at best developed in a separate corner. A survey on existing engineering methodologies is presented in this work. The main common missing aspects of these practices are identified and emphasized. A focus on formal approaches for system design and especially for automatic verification and validation processes is also introduced. Finally, an outlook of the main concepts that we chose to focus on in future works concerning the engineering of multi-energy systems is presented in this paper.

[1]  Thuy Nguyen A modelling & simulation based engineering approach for socio-cyber-physical systems , 2017, 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC).

[2]  Manas Bajaj,et al.  4.3.3 Satellites to Supply Chains, Energy to Finance —SLIM for Model‐Based Systems Engineering , 2011 .

[3]  Pierluigi Mancarella,et al.  Multi-energy systems : An overview of concepts and evaluation models , 2015 .

[4]  Davide Bresolin,et al.  A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems , 2015, Proceedings of the IEEE.

[5]  Gauthier Fanmuy,et al.  System Engineering on 3DEXPERIENCE Platform - UAS Use Case , 2014, CSDM.

[6]  Pascal Roques,et al.  MBSE with the ARCADIA Method and the Capella Tool , 2016 .

[7]  Jean-Michel Bruel,et al.  Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach , 2015, ICCS.

[8]  Olivia Penas,et al.  A SysML-based methodology for mechatronic systems architectural design , 2014, Adv. Eng. Informatics.

[9]  Antoine Rauzy,et al.  A language proposition for system requirements , 2017, 2017 Annual IEEE International Systems Conference (SysCon).

[10]  Moncef Hammadi,et al.  Knowledge sharing for mechatronic systems design and optimization , 2018 .

[11]  Edward A. Lee Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[12]  Daniel Bouskela,et al.  ETL: A new temporal language for the verification of cyber-physical systems , 2018, 2018 Annual IEEE International Systems Conference (SysCon).

[13]  Dejan Nickovic,et al.  Contracts for Systems Design: Theory , 2015 .