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 条
  • [41] Safety analysis and testing of critical space systems software
    Yau, M
    Wetherholt, M
    Guarro, S
    PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT (PSAM 4), VOLS 1-4, 1998, : 1117 - 1122
  • [42] Designing Critical Systems with Iterative Automated Safety Analysis
    Wei, Ran
    Jiang, Zhe
    Guo, Xiaoran
    Mei, Haitao
    Zolotas, Athanasios
    Kelly, Tim
    PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 181 - 186
  • [43] Dependability analysis of safety critical systems: Issues and challenges
    Kaur, Raj kamal
    Pandey, Babita
    Singh, Lalit Kumar
    ANNALS OF NUCLEAR ENERGY, 2018, 120 : 127 - 154
  • [44] The role of Cost Benefit Analysis in safety critical systems
    Smail, L
    ASPECTS OF SAFETY MANAGEMENT, 2001, : 100 - 107
  • [45] The Analysis of Methods for Programming Safety-critical Systems
    Cais, Stepan
    Herout, Pavel
    INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 39 - 44
  • [46] Dependability analysis of safety critical and control systems of NPP
    Kaur, Raj Kamal
    Singh, Lalit Kumar
    Singh, Pooja
    NUCLEAR ENGINEERING AND DESIGN, 2022, 399
  • [47] Quantitative risk analysis of safety–critical embedded systems
    Yinling Liu
    Guohua Shen
    Zhiqiu Huang
    Zhibin Yang
    Software Quality Journal, 2017, 25 : 503 - 527
  • [48] Model-Based Analysis of Safety Critical Systems
    Kushal, K. S.
    Paul, John J.
    Nanda, Manju
    Jayanthi, J.
    2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION, EMBEDDED AND COMMUNICATION SYSTEMS (ICIIECS), 2017,
  • [49] ANALYSIS OF TIMELINESS REQUIREMENTS IN SAFETY-CRITICAL SYSTEMS
    DELEMOS, R
    SAEED, A
    ANDERSON, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 171 - 192
  • [50] Qualitative and quantitative analysis of safety-critical systems with
    Leupolz, Johannes
    Knapp, Alexander
    Habermaier, Axel
    Reif, Wolfgang
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 359 - 377
12345