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 条
  • [31] Modeling and Formally Verifying a Safety-Critical System Through MCRL2
    Bhushan, Ram Chandra
    Yadav, Dharmendra K.
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE CONFLUENCE 2018 ON CLOUD COMPUTING, DATA SCIENCE AND ENGINEERING, 2018, : 775 - 779
  • [32] Effects of introducing collaborative technology on communications in a distributed safety-critical system
    Hanumantharao, Sudhendar
    Grabowski, Martha
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2006, 64 (08) : 714 - 726
  • [33] On-line failure prediction in safety-critical systems
    Baldoni, Roberto
    Montanari, Luca
    Rizzut, Marco
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2015, 45 : 123 - 132
  • [34] Impact analysis of change in component reliabilities in safety-critical systems
    Singh, Pooja
    Singh, Lalit
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2019, 35 (06) : 2051 - 2065
  • [35] PRODUCT DEVELOPMENT AND MANUFACTURING PROCESS FOR A SAFETY-CRITICAL AUTOMOTIVE COMPONENT
    WOELFEL, JA
    SPENCER, ER
    COMPOSITE STRUCTURES, 1994, 27 (1-2) : 169 - 180
  • [36] Sensitivity of Logic Learning Machine for Reliability in Safety-Critical Systems
    Narteni, Sara
    Orani, Vanessa
    Vaccari, Ivan
    Cambiaso, Enrico
    Mongelli, Maurizio
    IEEE INTELLIGENT SYSTEMS, 2022, 37 (05) : 66 - 74
  • [37] Formal development method for safety-critical system
    Wang, Hai-Feng
    Chen, Jian-Ming
    Zheng, Zhong-Yi
    Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 2002, 26 (06):
  • [38] Formal modeling and analysis of safety-critical human multitasking
    Giovanna Broccia
    Paolo Milazzo
    Peter Csaba Ölveczky
    Innovations in Systems and Software Engineering, 2019, 15 : 169 - 190
  • [39] Modeling and verification of safety-critical systems using safecharts
    Hsiung, PA
    Lin, YH
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 290 - 304
  • [40] Performability modeling of safety-critical systems through AADL
    Ahamad S.
    Gupta R.
    International Journal of Information Technology, 2022, 14 (5) : 2709 - 2722
12345