Model checking fault tolerant systems
Bernardeschi C., Fantechi A., Gnesi S.
Fault tolerance Risk verification [Model checking] Software Safety Formal methods Reliability and Quality Model checking: verification
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.
Source: Software testing, verification & reliability 12 (2002): 251–275. doi:10.1002/stvr.258
Publisher: J. Wiley, Chichester, Sussex, England , Regno Unito
Metrics
Back to previous page
@article{oai:it.cnr:prodotti:43664,
title = {Model checking fault tolerant systems},
author = {Bernardeschi C. and Fantechi A. and Gnesi S.},
publisher = {J. Wiley, Chichester, Sussex, England , Regno Unito},
doi = {10.1002/stvr.258},
journal = {Software testing, verification \& reliability},
volume = {12},
pages = {251–275},
year = {2002}
}
0000-0002-4648-4667