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 条
  • [1] Validating requirements for fault tolerant systems using model checking
    Schneider, F
    Easterbrook, SM
    Callahan, JR
    Holzmann, GJ
    THIRD INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING - PROCEEDINGS, 1998, : 4 - 13
  • [2] On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking
    Strnadel, Josef
    2017 EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2017, : 352 - 355
  • [3] Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
    Gnesi, S.
    Lenzini, G.
    Martinelli, F.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 57 - 70
  • [4] Timed model checking of fault-tolerant nuclear I&C systems
    Buzhinsky, Igor
    Pakonen, Antti
    2020 IEEE 18TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), VOL 1, 2020, : 159 - 164
  • [5] Verification of fault tolerant safety I&C systems using model checking
    Pakonen, Antti
    Buzhinsky, Igor
    2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2019, : 969 - 974
  • [6] Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems
    Buzhinsky, Igor
    Pakonen, Antti
    IEEE ACCESS, 2020, 8 : 197684 - 197694
  • [7] Efficient Model Checking of Fault-Tolerant Distributed Protocols
    Bokor, Peter
    Kinder, Johannes
    Serafini, Marco
    Suri, Neeraj
    2011 IEEE/IFIP 41ST INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2011, : 73 - 84
  • [8] Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction
    John, Annu
    Konnov, Igor
    Schmid, Ulrich
    Veith, Helmut
    Widder, Josef
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 201 - 209
  • [9] Modular Model-Checking of a Byzantine Fault-Tolerant Protocol
    Jones, Benjamin F.
    Pike, Lee
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 163 - 177
  • [10] Verification of Fault-Tolerant System Architectures Using Model Checking
    Lahtinen, Jussi
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 195 - 206
12345