A Modified FTA Approach to Achieve Runtime Safety Analysis of Critical Systems

被引：0
|
作者：
Li, Guoqi [1 ]
机构：
[1] Beihang Univ BUAA, Sci & Technol Reliabil & Environm Engn Lab, Sch Reliabil & Syst Engn, Beijing, Peoples R China
来源：
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES | 2014年 / E97A卷 / 10期
关键词：
fault tree analysis; runtime safety analysis; critical systems;
D O I：
10.1587/transfun.E97.A.2083
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Runtime analysis is to enhance the safety of critical systems by monitoring the change of corresponding external environments. In this paper, a modified FTA approach, making full utilization of the existing safety analysis result, is put forward to achieve runtime safety analysis. The procedures of the approach are given in detail. This approach could be widely used in safety engineering of critical systems.
引用
收藏
页码：2083 / 2085
页数：3
相关论文
共 50 条
  • [21] A safe regression testing approach for safety critical systems
    Qaisar, Zahid Hussain
    Rehman, Shafiq Ur
    ADVANCES IN ENGINEERING SOFTWARE, 2011, 42 (08) : 586 - 594
  • [22] SysML Aided Safety Analysis for Safety-Critical Systems
    Li, Guoqi
    Wang, Boxuan
    ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 270 - 275
  • [23] Integrated analysis of complex safety critical systems
    Wilson, SP
    McDermid, JA
    COMPUTER JOURNAL, 1995, 38 (10): : 765 - 776
  • [24] Safety Critical Variable Analysis for Process Systems
    Wang, Yuchen
    Ji, Zuzhen
    Cao, Yi
    Yang, Shuang-Hua
    INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2023, 62 (50) : 21704 - 21720
  • [25] Transillumination of Calot's Triangle on Laparoscopic Cholecystectomy: A Feasible Approach to Achieve a Critical View of Safety
    Vidrio Duarte, Ramon
    Martinez Martinez Sr, Antonio Ramiro
    Ortega Leon, Luis H.
    Gutierrez Ochoa, Juan
    Ramirez Nava, Ariel
    Lopez Samano, Gustavo
    Torres del Real, Daniel
    Vidrio Duarte, Eduardo
    CUREUS JOURNAL OF MEDICAL SCIENCE, 2020, 12 (07)
  • [26] Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems
    Raju, Dhananjay
    Bharadwaj, Sudarshanan
    Djeumou, Franck
    Topcu, Ufuk
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2021, 8 (02): : 621 - 632
  • [27] A Graph Analysis Approach to Detect Attacks in Multi-Agent-Systems at Runtime
    Kantert, Jan
    Scharf, Hannes
    Edenhofer, Sarah
    Tomforde, Sven
    Haehner, Joerg
    Mueller-Schloer, Christian
    2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO), 2014, : 80 - 89
  • [28] A combined analysis approach to assessing requirements for safety critical real-time control systems
    Goddard, PL
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1996 PROCEEDINGS, 1996, : 110 - 115
  • [29] A method of safety analysis for runtime code update
    Hashimoto, Masatomo
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 60 - 74
  • [30] XANDAR: Verification & Validation Approach for Safety-critical Systems
    Sonigara, Balmukund
    Sezer, Sakir
    Siddiqui, Fahad
    Weber, Raphael
    Antonopoulos, Konstantinos
    Panagiotou, Christos
    Antonopoulos, Christos P.
    Keramidas, Georgios
    Voros, Nikolaos
    Yengec-Tasdemir, Sena Busra
    Hui, Henry
    McLaughlin, Kieran
    2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
12345