Model checking fault tolerant systems

被引：30
|
作者：
Bernardeschi, C
Fantechi, A
Gnesi, S
机构：
[1] Univ Pisa, Dipartimento Ingn Informaz, I-56126 Pisa, Italy
[2] Univ Florence, Dipartimento Sistemi & Informat, I-50139 Florence, Italy
[3] CNR, IEI, I-56124 Pisa, Italy
来源：
SOFTWARE TESTING VERIFICATION & RELIABILITY | 2002年 / 12卷 / 04期
关键词：
formal methods; fault tolerance; model checking; verification;
D O I：
10.1002/stvr.258
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper proposes a modelling approach suitable for formalizing fault tolerant systems, taking into account different fault scenarios. Verification of the properties of such systems is then performed using model checking. A general framework for the formal specification and verification of fault tolerant systems is defined starting from these principles, and experience with its application to two case studies is then presented. Copyright (C) 2002 John Wiley Sons, Ltd.
引用
收藏
页码：251 / 275
页数：25
相关论文
共 50 条
  • [31] Intermittent Fault Diagnosis of Industrial Systems in a Model-Checking Framework
    Boussif, Abderraouf
    Ghazel, Mohamed
    2016 IEEE INTERNATIONAL CONFERENCE ON PROGNOSTICS AND HEALTH MANAGEMENT (ICPHM), 2016,
  • [32] AN ANALYSIS OF A RELIABILITY MODEL FOR REPAIRABLE FAULT-TOLERANT SYSTEMS
    BALAKRISHNAN, M
    RAGHAVENDRA, CS
    IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (03) : 327 - 339
  • [33] Additive fault Tolerant control for fractional order model systems
    Chouki, Rihab
    Aribi, Asma
    Aoun, Mohamed
    Abdelkarim, Mohamed N.
    2015 16TH INTERNATIONAL CONFERENCE ON SCIENCES AND TECHNIQUES OF AUTOMATIC CONTROL AND COMPUTER ENGINEERING (STA), 2015, : 340 - 345
  • [34] Fault Tolerant Lanczos Eigensolver via an Invariant Checking Method
    Felix Loh
    Kewal K. Saluja
    Parameswaran Ramanathan
    Journal of Electronic Testing, 2021, 37 : 409 - 422
  • [35] Fault Tolerant Lanczos Eigensolver via an Invariant Checking Method
    Loh, Felix
    Saluja, Kewal K.
    Ramanathan, Parameswaran
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2021, 37 (03): : 409 - 422
  • [36] Fault Tolerant Lanczos Eigensolver via an Invariant Checking Method
    Loh, Felix
    Saluja, Kewal K.
    Ramanathan, Parameswaran
    Journal of Electronic Testing: Theory and Applications (JETTA), 2021, 37 (03): : 409 - 422
  • [37] Engineering Fault Tolerant Systems
    Guelfi, Nicolas
    Muccini, Henry
    Pelliccione, Patrizio
    Romanovsky, Alexander
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2008, 23 (05): : 315 - 316
  • [38] REDUNDANCY IN FAULT TOLERANT SYSTEMS
    LOCKNER, PA
    HANCOCK, PD
    MECHANICAL ENGINEERING, 1990, 112 (05) : 76 - 83
  • [39] Fault tolerant digital systems
    Prasad, Vinod B.
    IEEE Potentials, 1989, 8 (01): : 17 - 21
  • [40] FAULT-TOLERANT SYSTEMS
    SINGH, AD
    MURUGESAN, S
    COMPUTER, 1990, 23 (07) : 15 - 17
12345