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 条
  • [41] Formal modeling and analysis of safety-critical human multitasking
    Broccia, Giovanna
    Milazzo, Paolo
    Olveczky, Peter Csaba
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2019, 15 (3-4) : 169 - 190
  • [42] Platform Independent Safety-Critical Operating System
    Delic, Emil
    Loeser, Karolin
    Hayek, Ali
    Boercsoek, Josef
    2015 INTERNATIONAL CONFERENCE ON INFORMATION AND DIGITAL TECHNOLOGIES (IDT), 2015, : 68 - 71
  • [43] Toward High Reliability Project Organizing in Safety-Critical Projects
    Saunders, Fiona C.
    PROJECT MANAGEMENT JOURNAL, 2015, 46 (03) : 25 - 35
  • [44] Reliability of safety-critical systems: A state-of-the-art review
    Maurya, Ankur
    Kumar, Divya
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (07) : 2547 - 2568
  • [45] ADVANCED INFORMATION SYSTEM FOR SAFETY-CRITICAL PROCESSES
    Kozak, Stefan
    Kajan, Slavomir
    Ciganek, Jan
    Ferencey, Viktor
    Belai, Igor
    COMPUTING AND INFORMATICS, 2014, 33 (06) : 1356 - 1376
  • [46] Modeling safety-critical systems with Z and Petri nets
    Heiner, M
    Heisel, M
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 361 - 374
  • [47] Formal modeling of railway signal safety-critical software
    1600, ICIC Express Letters Office (10):
  • [48] A variability modeling and transformation approach for safety-critical systems
    Bressan, Lucas
    de Oliveira, Andre L.
    Campos, Fernanda C.
    Capilla, Rafael
    PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
  • [49] Modeling on-line tests in safety-critical systems
    Serafini, M.
    Lollini, P.
    Bondavalli, A.
    SAFETY AND RELIABILITY FOR MANAGING RISK, VOLS 1-3, 2006, : 231 - 238
  • [50] Automatic test generation for safety-critical system
    Xu, ZW
    Wu, FM
    ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 70 - 73
12345