Analyzing Safety of Collaborative Cyber-Physical Systems Considering Variability

Cyber-Physical System (CPS) is co-engineered interacting networks of physical and computational components that operate on different spatial and temporal scales. The safety goal of a single CPS is usually achieved by applying hazard analysis techniques and by following the standard processes defined in ISO 26262 and IEC 61508. However, the safety property may not be satisfied when multiple CPSs collaborate due to complexity, uncertainty, and variability. Therefore, a technique that would provide a hazardous-free collaboration for multiple CPSs is required to preserve sustainability. In this paper, we analyze the hazards arising due to variabilities in collaborative CPSs. We extend the hazard analysis techniques (FTA, FMEA, and ETA) to explore hazards with variability and developed a fault traceability graph from our extended techniques to trace the faults considered by multiple hazard analyses in collaborative CPSs with variability. To justify our proposed approach, a case study on the human rescue robot system was conducted to analyze hazards emerging as a result of variabilities. Finally, a tool (CPS Tracer) was developed to model the FTA, ETA, and FMEA with variability (v_FTA, v_FMEA, and v_ETA). It also and generates the fault traceability graph (v_FTG) that represents fault propagation route.

[1]  Jang-Soo Lee,et al.  NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs , 2017, J. Comput. Sci. Eng..

[2]  Patrik Feth,et al.  Safety Assurance for Autonomous and Collaborative Medical Cyber-Physical Systems , 2017, SAFECOMP Workshops.

[3]  Lui Sha,et al.  Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP , 2018, SAC.

[4]  C. H. Lie,et al.  Fault Tree Analysis, Methods, and Applications ߝ A Review , 1985, IEEE Transactions on Reliability.

[5]  Marian Daun,et al.  Collaborating Multiple System Instances of Smart Cyber-physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges , 2015, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.

[6]  Klaus Pohl,et al.  Goal-based configuration analysis for networks of collaborative cyber-physical systems , 2020, SAC.

[7]  Luis M. Camarinha-Matos,et al.  Towards collaborative Cyber-Physical Systems , 2017, 2017 International Young Engineers Forum (YEF-­ECE).

[8]  Klaus-Dieter Thoben,et al.  A methodology to develop collaborative robotic cyber physical systems for production environments , 2016, Logist. Res..

[9]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[10]  Clifton A. Ericson,et al.  Hazard Analysis Techniques for System Safety , 2005 .

[11]  Sanjay Misra,et al.  Enhancing Misuse Cases With Risk Assessment for Safety Requirements , 2020, IEEE Access.

[12]  H. Schneider Failure mode and effect analysis : FMEA from theory to execution , 1996 .

[13]  Marjan Sirjani,et al.  Towards a Framework for Safe and Secure Adaptive Collaborative Systems , 2019, 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC).

[14]  V A Gorelov,et al.  Driver assistance systems: analysis, tests and the safety case. ISO 26262 and ISO PAS 21448 , 2019, IOP Conference Series: Materials Science and Engineering.

[15]  Nazakat Ali,et al.  Towards Enhancement of Fault Traceability Among Multiple Hazard Analyses in Cyber-Physical Systems , 2019, 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC).

[16]  Mariëlle Stoelinga,et al.  Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..

[17]  Hakima Chaouchi,et al.  Predictive Formal Analysis of Resilience in Cyber-Physical Systems , 2019, IEEE Access.

[18]  Sarah J. Dunnett,et al.  Event-tree analysis using binary decision diagrams , 2000, IEEE Trans. Reliab..

[19]  Detlef Scholle,et al.  Cooperative safety critical CPS platooning in SafeCOP , 2017, 2017 6th Mediterranean Conference on Embedded Computing (MECO).

[20]  Jiafu Wan,et al.  A survey of Cyber-Physical Systems , 2011, 2011 International Conference on Wireless Communications and Signal Processing (WCSP).

[21]  Jang-Eui Hong,et al.  Failure Detection and Prevention for Cyber-Physical Systems Using Ontology-Based Knowledge Base , 2018, Comput..

[22]  Alexander Fay,et al.  Developing Ontologies for the Collaboration of Cyber-Physical Systems: Requirements and Solution Approach , 2018, 2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC).

[23]  Shuang-Hua Yang,et al.  Safety and security risk assessment in cyber-physical systems , 2019, IET Cyper-Phys. Syst.: Theory & Appl..

[24]  Jang-Eui Hong,et al.  Automatic Identifying Interaction Components in Collaborative Cyber-Physical Systems , 2019, 2019 26th Asia-Pacific Software Engineering Conference (APSEC).

[25]  Marisol García-Valls,et al.  Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification , 2014, 2014 IEEE 38th Annual Computer Software and Applications Conference.

[26]  Sotiris Makris,et al.  A cyber physical system (CPS) approach for safe human-robot collaboration in a shared workplace , 2019, Robotics and Computer-Integrated Manufacturing.