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 条

[41] FAULT-TOLERANT SYSTEMS
AVIZIENIS, A
IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (12) : 1304 - 1312
[42] Fault diagnosis and model predictive fault tolerant control for stochastic distribution collaborative systems
Kang, Yunfeng
Zhao, Ling
Yao, Lina
INTERNATIONAL JOURNAL OF MODELLING IDENTIFICATION AND CONTROL, 2018, 30 (01) : 30 - 37
[43] Fault diagnosis and model predictive fault tolerant control for stochastic distribution collaborative systems
Kang Y.
Zhao L.
Yao L.
Yao, Lina (michelle_lnxq@126.com), 2018, Inderscience Publishers, 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland (30) : 30 - 37
[44] Novel Synthesis Methodology for Fault Tolerant Reversible Circuits by Bounded Model Checking for Linear Temporal Logic
Li, Ming-Cui
Zhou, Ri-Gui
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2015, 24 (06)
[45] Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction
Bokor, Peter
Serafini, Marco
Suri, Neeraj
Veith, Helmut
DISTRIBUTED COMPUTING, PROCEEDINGS, 2009, 5805 : 289 - 290
[46] What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms
Konnov, Igor
Veith, Helmut
Widder, Josef
PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2015, 2016, 9609 : 6 - 21
[47] Model checking the design of an unrestricted, stuck-at fault tolerant, asynchronous sequential circuit using SMV
van der Meulen, M
FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2002, 2517 : 310 - 323
[48] Is the Island Model Fault Tolerant?
Hidalgo, Ignacio
Fernandez de Vega, Francisco
Lanchares, Juan
Lombrana Gonzalez, Daniel
GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 1519 - 1519
[49] Reliability Monitoring of Fault Tolerant Control Systems with Demonstration on an Aircraft Model
Li, Hongbin
Zhao, Qing
Yang, Zhenyu
JOURNAL OF CONTROL SCIENCE AND ENGINEERING, 2008, 2008
[50] Petri-Markov model of fault-tolerant computer systems
Larkin, Eugene
Ivutin, Alexey
Malikov, Andrey
2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2017, : 416 - 420

← 1 2 3 4 5 →