A formal model for precise fault effect propagation

被引：0
|
作者：
Huang, Xingli [1 ,2 ]
Hu, Wei [1 ]
Mu, Dejun [1 ]
Guo, Lantian [1 ]
Li, Zhe [1 ]
机构：
[1] Department of Automatic Control, Northwestern Polytechnical University, Xi'an,710072, China
[2] School of Business, Wenzhou University, Wenzhou,325035, China
来源：
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University | 2014年 / 32卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：719 / 724
相关论文
共 50 条
  • [21] A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems
    Becker, Klaus
    Voss, Sebastian
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 139 - 154
  • [22] Intelligent fault diagnosis based on weighted symptom tree model and fault propagation trends
    Oh, YS
    Yoon, JH
    Nam, D
    Han, C
    Yoon, ES
    COMPUTERS & CHEMICAL ENGINEERING, 1997, 21 : S941 - S946
  • [23] Intelligent fault diagnosis based on weighted symptom tree model and fault propagation trends
    Oh, Young Seok
    Yoon, Jong Han
    Nam, Dongsoo
    Han, Chonghun
    Yoon, En Sup
    1997, Elsevier Ltd (21):
  • [24] Fault Propagation, EMI Propagation, and Fault Containment in Aerospace Systems
    Perez, Reinaldo
    2020 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY AND SIGNAL & POWER INTEGRITY VIRTUAL SYMPOSIUM(IEEE EMC+SIPI), 2020, : 318 - 323
  • [25] Signal-component Fault Propagation Model for Embedded Software
    Yan Xiaobo
    Wang Yichen
    Li Jianxing
    PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015,
  • [26] SRAM-Based FPGA SEU Fault Propagation Model
    Wu S.
    Zhou X.-G.
    Wang L.-L.
    Zhou, Xue-Gong (zhouxg@fudan.edu.cn), 1976, Chinese Institute of Electronics (45): : 1976 - 1984
  • [27] Multi Paths Fault Propagation Model for Network Modeled System
    Wang, Yanghui
    Shi, Hao
    Jia, Limin
    Lin, Shuai
    Guo, Lei
    2014 11TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2014, : 5915 - 5920
  • [28] A dynamic model for fault nucleation and propagation in a mechanically layered section
    Welch, Michael J.
    Davies, Russell K.
    Knipe, Rob J.
    Tueckmantel, Christian
    TECTONOPHYSICS, 2009, 474 (3-4) : 473 - 492
  • [29] A Fault Propagation Modeling and Analysis Method Based on Model Checking
    Chen, Lu
    Jiao, Jian
    Fan, Jiping
    Ren, Fuchun
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 2016 PROCEEDINGS, 2016,
  • [30] Hardware security and reliability verification based on fault propagation model
    Zhang X.
    Zhu J.
    Ma J.
    Shen L.
    Zhou J.
    Mu D.
    Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 2024, 42 (01): : 92 - 97
12345