Model checking fault tolerant systems

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 t...

Full description

Saved in:
Bibliographic Details
Published inSoftware testing, verification & reliability Vol. 12; no. 4; pp. 251 - 275
Main Authors Bernardeschi, Cinzia, Fantechi, Alessandro, Gnesi, Stefania
Format Journal Article
LanguageEnglish
Published Chichester, UK John Wiley & Sons, Ltd 01.12.2002
Subjects
fault tolerance
formal methods
model checking
verification
Online AccessGet full text

Cover

More Information
Summary: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 © 2002 John Wiley & Sons, Ltd.
Bibliography:Italian Ministry of University and Research, projects COFIN QUACK and 5% SP4
istex:1C15ED85C260A5F1EA7A35403F9368D582A22765
ArticleID:STVR258
ark:/67375/WNG-SZ21KXVP-5
ISSN:0960-0833
1099-1689
DOI:10.1002/stvr.258