Analyzing Safety of Collaborative Cyber-Physical Systems Considering Variability

被引:14
作者
Ali, Nazakat [1 ]
Hussain, Manzoor [1 ]
Hong, Jang-Eui [1 ]
机构
[1] Chungbuk Natl Univ, Dept Comp Sci, Lab Software Engn, Cheongju 28644, South Korea
基金
新加坡国家研究基金会;
关键词
Collaboration; Hazards; Runtime; Uncertainty; Adaptation models; Contracts; Variability; cyber-physical system; SOTIF; safety; hazard analysis techniques; FAULT-TREE ANALYSIS;
D O I
10.1109/ACCESS.2020.3021460
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:162701 / 162713
页数:13
相关论文
共 29 条
  • [1] Failure Detection and Prevention for Cyber-Physical Systems Using Ontology-Based Knowledge Base
    Ali, Nazakat
    Hong, Jang-Eui
    [J]. COMPUTERS, 2018, 7 (04)
  • [2] Event-tree analysis using binary decision diagrams
    Andrews, JD
    Dunnett, SJ
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2000, 49 (02) : 230 - 238
  • [3] [Anonymous], 2001, INTRO GRAPH THEORY
  • [4] Enhancing Misuse Cases With Risk Assessment for Safety Requirements
    Arogundade, Oluwasefunmi T.
    Misra, Sanjay
    Abayomi-Alli, Olusola O.
    Fernandez-Sanz, Luis
    [J]. IEEE ACCESS, 2020, 8 : 12001 - 12014
  • [5] Basic concepts and taxonomy of dependable and secure computing
    Avizienis, A
    Laprie, JC
    Randell, B
    Landwehr, C
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) : 11 - 33
  • [6] Behrmann G., 2006, TECH REP, P2
  • [7] Goal-based configuration analysis for networks of collaborative cyber-physical systems
    Brings, Jennifer
    Daun, Marian
    Weyer, Thorsten
    Pohl, Klaus
    [J]. PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 1387 - 1396
  • [8] Towards a Framework for Safe and Secure Adaptive Collaborative Systems
    Causevic, Aida
    Papadopoulos, Alessandro, V
    Sirjani, Marjan
    [J]. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 2, 2019, : 165 - 170
  • [9] Automatic Identifying Interaction Components in Collaborative Cyber-Physical Systems
    Daneth, Horn
    Ali, Nazakat
    Hong, Jang-Eui
    [J]. 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 197 - 203
  • [10] Towards Enhancement of Fault Traceability Among Multiple Hazard Analyses in Cyber-Physical Systems
    Daneth, Horn
    Ali, Nazakat
    Hong, Jang-Eui
    [J]. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 2, 2019, : 458 - 464