Safety-critical system reliability modeling and their analyses in terms of effects of component failure modes

被引：0
|
作者：
Jia, Xu-Jie [1 ,2 ]
Cui, Li-Rong [1 ]
Gao, Song [1 ]
机构：
[1] School of Management and Economics, Beijing Institute of Technology, Beijing 100081, China
[2] School of Science, Minzu University of China, Beijing 100081, China
来源：
Journal of Beijing Institute of Technology (English Edition) | 2009年 / 18卷 / 04期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Reliability theory
引用
收藏
页码：502 / 506
相关论文
共 50 条
  • [21] Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems
    Bukowski, JV
    IEEE TRANSACTIONS ON RELIABILITY, 2001, 50 (03) : 321 - 329
  • [22] PROVING PROPERTIES OF A SAFETY-CRITICAL SYSTEM
    ATKINSON, W
    CUNNINGHAM, J
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 41 - 50
  • [23] Platform modeling in safety-critical embedded systems
    Huber, Bernhard
    Obermaisser, Roman
    Lecture Notes in Electrical Engineering, 2009, 38 : 145 - 158
  • [24] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [25] Traceable Threat Modeling for Safety-critical Systems
    Geismann, Johannes
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 41 - 42
  • [26] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
  • [27] An improved formal failure analysis approach for safety-critical system based on MBSA
    Chen, Lu
    Jiao, Jian
    Wei, Qianxin
    Zhao, Tingdi
    ENGINEERING FAILURE ANALYSIS, 2017, 82 : 713 - 725
  • [28] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
    Kumar, S. Phani
    Ramaiah, P. Seetha
    Khanaa, V.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193
  • [29] Quantification of the safety level of a safety-critical control system
    Rastocny, Karol
    Ilavsky, Juraj
    2010 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS, 2010, : 285 - 288
  • [30] Automating the failure modes and effects analysis of safety critical systems
    Papadopoulos, Y
    Parker, D
    Grante, C
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 310 - 311
12345