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 条

[21] Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
Li, Junguo
Chen, Xiangping
Huang, Gang
Mei, Hong
Chauvel, Franck
COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5582 : 69 - 86
[22] FAULT-TOLERANT PROPERTIES AND A FAULT-CHECKING METHOD OF FUZZY CONTROL
ITO, H
MATSUBARA, T
KUROKAWA, T
KOGA, Y
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (05) : 586 - 593
[23] Model checking for fault explanation
Jiang, Shengbing
Fuhrman, Thomas E.
Jha, Sumit K.
PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 405 - +
[24] Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions
Buzhinsky, Igor
Pakonen, Antti
IEEE ACCESS, 2019, 7 : 162139 - 162156
[25] Fault-tolerant destributed systems in a mobile agent model
Tanaka, Youhei
Hayashibara, Naohiro
Enokido, Tomoya
Takizawa, Makoto
SEVENTEENTH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2006, : 10 - +
[26] Transparent reliability model for fault-tolerant safety systems
Bodsberg, L
Hokstad, P
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1997, 55 (01) : 25 - 38
[27] A Dependent Model for Fault Tolerant Software Systems During Debugging
Wang, Rong-Tsorng
IEEE TRANSACTIONS ON RELIABILITY, 2012, 61 (02) : 504 - 515
[28] Mobile agent model for fault-tolerant objects systems
Komiya, T
Takizawa, M
COOPERATIVE INTERNET COMPUTING, 2003, 729 : 22 - 36
[29] Stochastic stability of fault tolerant control systems with model uncertainties
Mahmoud, M
Jiang, J
Zhang, YM
PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 4284 - 4288
[30] Sensor Fault Tolerant Generic Model Control for Nonlinear Systems
谢晓清
周东华
金以慧
TsinghuaScienceandTechnology, 2000, (02) : 201 - 207

← 1 2 3 4 5 →