Towards the Maintenance Principles of Cyber-Physical Systems

Cyber-physical systems (CPSs) are rapidly proliferating in different applications. Their system features significantly differ from those of linear complex systems (LCSs). Consequently, they pose novel challenges with regard to ensuring the dependability of system operation. Maintenance of CPSs raises new theoretical and practical issues. To guarantee a high level of dependability, new and efficient system maintenance principles should be explored and operationalized in various contexts. This paper reports on the first results of the authors’ work in this direction. A comprehensive literature review has been conducted with the objective of identifying the specific features of LCSs and CPSs. We analysed the major maintenance principles and approaches currently applied to complex systems to see how they can be applied to CPSs. We found that the existing maintenance principles have various relationships with CPSs: (i) some of them cannot be considered in the context of CPSs due to incongruent system features, (ii) some of them can be adapted due to certain partial congruencies, and (iii) some of them can be applied directly due to the congruency of some system features of LCSs with CPSs. It was also found and demonstrated through a number of practical examples that many specific maintenance principles need to be developed for CPSs. We assert that the system features of CPSs without parallel in LCSs primarily reveal what sort of new maintenance principles and approaches are needed. The ultimate goal of our on-going research is to define and test these new maintenance principles. In this paper, we identify and define these principles, starting from the unique system features of CPSs and aiming to develop a maintenance advisory system.

[1]  Kai Qian,et al.  Introduction to Embedded Systems , 2009 .

[2]  Martyn Thomas,et al.  Professional Issues in System Safety Engineering , 2009, SSS.

[3]  Brian Randell,et al.  Dependability and its threats - A taxonomy , 2004, IFIP Congress Topical Sessions.

[4]  Philippe Massonet,et al.  Early verification and validation of mission critical systems , 2007, Formal Methods Syst. Des..

[5]  Harish Garg,et al.  Stochastic behavior analysis of complex repairable industrial systems utilizing uncertain data. , 2012, ISA transactions.

[6]  Liviu Miclea,et al.  About dependability in cyber-physical systems , 2011, 2011 9th East-West Design & Test Symposium (EWDTS).

[7]  Peter Muchiri,et al.  Safety and Maintenance , 2009 .

[8]  T. S. Perraju,et al.  Mission Critical Intelligent Systems , 2005 .

[9]  Y. Narahari Petri nets , 1999 .

[10]  Sahar Tahvili,et al.  Strategic maintenance planning by fuzzy AHP and Markov Decision Processes , 2015 .

[11]  Leonard Barolli,et al.  Special issue on emerging trends in cyber-physical systems , 2011, J. Ambient Intell. Humaniz. Comput..

[12]  Tarek S. Sobh,et al.  A cooperative immunological approach for detecting network anomaly , 2011, Appl. Soft Comput..

[13]  Carolyn L. Talcott,et al.  Cyber-Physical Systems and Events , 2008, Software-Intensive Systems and New Computing Paradigms.

[14]  Bin Zhang,et al.  An integrated architecture for fault diagnosis and failure prognosis of complex engineering systems , 2012, Expert Syst. Appl..

[15]  Liliane Pintelon,et al.  Maintenance concept development: A case study , 2004 .

[16]  Rui Kang,et al.  Critical review of system failure behavior analysis method , 2012, Proceedings of the IEEE 2012 Prognostics and System Health Management Conference (PHM-2012 Beijing).

[17]  Mohamed Ben-Daya,et al.  Handbook of maintenance management and engineering , 2009 .

[18]  Lianglun Cheng,et al.  The Research On The Model Of The Context-Aware For Reliable Sensing And Explanation In Cyber-Physical System , 2011 .

[19]  Jong Sou Park,et al.  Multi-cyber framework for availability enhancement of cyber physical systems , 2012, Computing.

[20]  Yu-Chee Tseng,et al.  Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing Review from Wireless Sensor Networks towards Cyber Physical Systems , 2022 .

[21]  Elena Dubrova,et al.  Fundamentals of Dependability , 2013 .

[22]  Tao Tang,et al.  Component Based Design of Fault Tolerant Devices in Cyber Physical System , 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[23]  Luciano Lavagno,et al.  Embedded Systems , 2005, Embedded Systems Handbook.

[24]  M. Ben-Daya Failure Mode and Effect Analysis , 2009 .

[25]  Soundar Kumara,et al.  Sensors, networks and internet of things: research challenges in health care , 2011, IIWeb '11.

[26]  David M. Johnson,et al.  A review of fault management techniques used in safety-critical avionic systems , 1996 .

[27]  M. A. Burhanuddin,et al.  An Efficient Failure-Based Maintenance Decision Support System for Smalland Medium Industries , 2011 .

[28]  Bradford B. Glade,et al.  Reliability Through Consistency , 1995, IEEE Softw..

[29]  Helen Gill,et al.  Cyber-Physical Systems , 2019, 2019 IEEE International Conference on Mechatronics (ICM).

[30]  Jorge Santos,et al.  Power saving and fault-tolerance in real-time critical embedded systems , 2009, J. Syst. Archit..

[31]  Xiaojun Zhou,et al.  Opportunistic preventive maintenance scheduling for a multi-unit series system based on dynamic programming , 2009 .

[32]  Gyula Kártyás,et al.  Maintenance of complex automated systems , 2012, 2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI).

[33]  Ashraf Labib,et al.  Maintenance Strategies for Changeable Manufacturing , 2009 .

[34]  Won-Tae Kim,et al.  Self-Managed System Development Method for Cyber-Physical Systems , 2011, FGIT-CA/CES3.

[35]  Horst F. Wedde,et al.  Building Large, Complex, Distributed Safety-Critical Operating Systems , 2004, Real-Time Systems.

[36]  Wolfgang A. Halang,et al.  Distributed Embedded Control Systems: Improving Dependability with Coherent Design , 2008 .

[37]  Peter Marwedel,et al.  Embedded system design , 2021, Embedded Systems.

[38]  Gabor Karsai,et al.  Model-Integrated Development of Cyber-Physical Systems , 2008, SEUS.

[39]  Ajit Srividya,et al.  A systemic approach to integrated E-maintenance of large engineering plants , 2010, Int. J. Autom. Comput..

[40]  Basim Al-Najjar,et al.  Maintenance Today and Future Trends , 2010 .

[41]  Junshan Zhang,et al.  Optimal Allocation of Interconnecting Links in Cyber-Physical Systems: Interdependence, Cascading Failures, and Robustness , 2012, IEEE Transactions on Parallel and Distributed Systems.

[42]  Carolyn L. Talcott,et al.  Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision , 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

[43]  Ludo Gelders,et al.  Maintenance management decision making , 1992 .

[44]  Nikolaos Papakonstantinou,et al.  Common cause failure analysis of cyber–physical systems situated in constructed environments , 2013, Research in Engineering Design.

[45]  YangQuan Chen,et al.  Optimal Observation for Cyber-physical Systems , 2009 .

[46]  Guowu Yang,et al.  Component-based hardware/software co-verification , 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..

[47]  Xu Shiyi,et al.  On dependability of computing systems , 1999 .

[48]  Jay Lee,et al.  Self-maintenance and engineering immune systems: Towards smarter machines and manufacturing systems , 2011, Annu. Rev. Control..

[49]  Jozef L. Teugels Markov Chains: Models, Algorithms and Applications , 2008 .

[50]  Flemming Poulfelt,et al.  Return on Strategy: How to Achieve it! , 2009 .

[51]  Marko Čepin,et al.  Assessment of Power System Reliability , 2011 .

[52]  Gabriel L. Nazar,et al.  Adaptability: The Key for Future Embedded Systems , 2013 .

[53]  Srinivas Kumar Pinjala,et al.  An empirical investigation on the relationship between business and maintenance strategies , 2006 .

[54]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[55]  Enzo Morosini Frazzon,et al.  Towards Socio-Cyber-Physical Systems in Production Networks , 2013 .

[56]  Arshad Jhumka,et al.  Dependability in Service-Oriented Computing , 2010, Agent-Based Service-Oriented Computing.

[57]  Yoann Pigné,et al.  Problem Solving and Complex Systems , 2008, ArXiv.

[58]  Peng Li,et al.  Evolution Course and Analysis of Internet of Things , 2013 .

[59]  Liang Hu,et al.  Review of Cyber-Physical System Architecture , 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[60]  Lui Sha,et al.  Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

[61]  Martin Sailer,et al.  Assured service quality by improved fault management , 2004, ICSOC '04.

[62]  Imre Horváth,et al.  CURRENT DRIVERS AND OBSTACLES OF SYNERGY IN CYBER-PHYSICAL SYSTEMS DESIGN , 2012 .

[63]  Soo Dong Kim,et al.  A Service-Based Approach to Designing Cyber Physical Systems , 2010, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.

[64]  J. M. Kontoleon Status and Trends in the Performance Assessment of Fault Tolerant Systems , 2008 .

[65]  Yong Yin,et al.  Perceptual control architecture for cyber-physical systems in traffic incident management , 2012, J. Syst. Archit..

[66]  Rudolph Frederick Stapelberg,et al.  Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design , 2009 .