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 条
  • [1] A functional fault model with implicit fault effect propagation requirements
    Pomeranz, Irith
    Patil, Srinivas
    Parvathala, Praveen K.
    PROCEEDINGS OF THE 15TH ASIAN TEST SYMPOSIUM, 2006, : 95 - +
  • [2] Fault Propagation Formal Modeling based on StateFlow
    Chen, Lu
    Jiao, Jian
    Fan, Jiping
    PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015,
  • [3] MAKING REFLECTIVE EQUILIBRIUM PRECISE: A FORMAL MODEL
    Beisbart, Claus
    Betz, Gregor
    Brun, Georg
    ERGO-AN OPEN ACCESS JOURNAL OF PHILOSOPHY, 2021, 8 : 441 - 472
  • [4] Precise Propagation of Fault-Failure Correlations in Program Flow Graphs
    Zhang, Zhenyu
    Chan, W. K.
    Tse, T. H.
    Jiang, Bo
    2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 58 - 67
  • [5] RUPTURE PROPAGATION IN A MODEL OF AN EARTHQUAKE FAULT
    LANGER, JS
    TANG, C
    PHYSICAL REVIEW LETTERS, 1991, 67 (08) : 1043 - 1046
  • [6] A Fault Propagation Model for Embedded Software
    Yan Xiaobo
    Wang Yichen
    Zhu Anzhi
    Wang Yikun
    2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY - COMPANION (QRS-C 2015), 2015, : 72 - 79
  • [7] A Fault Propagation Model of Embedded Systems Based on Fault Association
    Gao Qing-Hua
    Hu Chang-zhen
    Wang Kun-sheng
    Yan Huai-Zhi
    PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND ELECTRONICS INFORMATION (ICACSEI 2013), 2013, 41 : 1 - 4
  • [8] A formal model for fault-tolerance in distributed systems
    Hamid, B
    Mosbah, M
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 108 - 121
  • [9] A Formal Model for Fault Tolerant Parallel Matrix Factorization
    Coti, Camille
    Petrucci, Laure
    Gonzalez, Daniel Alberto Torres
    2022 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2022), 2022, : 62 - 70
  • [10] Fault Propagation Model for Ad Hoc Networks
    Cavalcante, Agnieszka Betkowska
    Grajzer, Monika
    2011 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2011,
12345