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.
Model checking fault tolerant systems
Fantechi A;Gnesi S
2002
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_43664-doc_122625.pdf
solo utenti autorizzati
Descrizione: Model checking fault tolerant systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
243.75 kB
Formato
Adobe PDF
|
243.75 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
