Premium
Model checking fault tolerant systems
Author(s) -
Bernardeschi Cinzia,
Fantechi Alessandro,
Gnesi Stefania
Publication year - 2002
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.258
Subject(s) - computer science , model checking , fault tolerance , reliability engineering , fault (geology) , formal methods , fault model , formal verification , programming language , distributed computing , software engineering , engineering , electronic circuit , electrical engineering , seismology , geology
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.