Modeling and Analysis of Component Faults and Reliability

Thibaut Le Guilly, Petur Olsen, Anders Peter Ravn, Arne Joachim Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Resumé

This chapter presents a process to design and validate models of reactive systems in the form of communicating timed automata. The models are extended with faults associated with probabilities of occurrence. This enables a fault tree analysis of the system using minimal cut sets that are automatically generated. The stochastic information on the faults is used to estimate the reliability of the fault affected system. The reliability is given with respect to properties of the system state space. We illustrate the process on a concrete example using the Uppaal model checker for validating the ideal system model and the fault modeling. Then the statistical version of the tool, UppaalSMC, is used to find reliability estimates.
OriginalsprogEngelsk
TitelFrom Action Systems to Distributed Systems : The Refinement Approach
RedaktørerLuigia Petre, Emil Sekerinski
ForlagCRC Press
Publikationsdatomaj 2016
Sider45-60
Kapitel4
ISBN (Trykt)978-1-4987-0158-7
ISBN (Elektronisk)978-1-4987-0159-4
DOI
StatusUdgivet - maj 2016
NavnComputational Science Series

Fingerprint

Fault tree analysis

Citer dette

Le Guilly, T., Olsen, P., Ravn, A. P., & Skou, A. J. (2016). Modeling and Analysis of Component Faults and Reliability. I L. Petre, & E. Sekerinski (red.), From Action Systems to Distributed Systems: The Refinement Approach (s. 45-60). CRC Press. Computational Science Series https://doi.org/10.1201/b20053-7
Le Guilly, Thibaut ; Olsen, Petur ; Ravn, Anders Peter ; Skou, Arne Joachim. / Modeling and Analysis of Component Faults and Reliability. From Action Systems to Distributed Systems: The Refinement Approach. red. / Luigia Petre ; Emil Sekerinski. CRC Press, 2016. s. 45-60 (Computational Science Series).
@inbook{7fe15e4a5cc7446fa1b82a765990b9ca,
title = "Modeling and Analysis of Component Faults and Reliability",
abstract = "This chapter presents a process to design and validate models of reactive systems in the form of communicating timed automata. The models are extended with faults associated with probabilities of occurrence. This enables a fault tree analysis of the system using minimal cut sets that are automatically generated. The stochastic information on the faults is used to estimate the reliability of the fault affected system. The reliability is given with respect to properties of the system state space. We illustrate the process on a concrete example using the Uppaal model checker for validating the ideal system model and the fault modeling. Then the statistical version of the tool, UppaalSMC, is used to find reliability estimates.",
keywords = "Reliability Analysis, model checking",
author = "{Le Guilly}, Thibaut and Petur Olsen and Ravn, {Anders Peter} and Skou, {Arne Joachim}",
year = "2016",
month = "5",
doi = "10.1201/b20053-7",
language = "English",
isbn = "978-1-4987-0158-7",
series = "Computational Science Series",
pages = "45--60",
editor = "Petre, {Luigia } and Emil Sekerinski",
booktitle = "From Action Systems to Distributed Systems",
publisher = "CRC Press",

}

Le Guilly, T, Olsen, P, Ravn, AP & Skou, AJ 2016, Modeling and Analysis of Component Faults and Reliability. i L Petre & E Sekerinski (red), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press, Computational Science Series, s. 45-60. https://doi.org/10.1201/b20053-7

Modeling and Analysis of Component Faults and Reliability. / Le Guilly, Thibaut; Olsen, Petur; Ravn, Anders Peter; Skou, Arne Joachim.

From Action Systems to Distributed Systems: The Refinement Approach. red. / Luigia Petre; Emil Sekerinski. CRC Press, 2016. s. 45-60 (Computational Science Series).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

TY - CHAP

T1 - Modeling and Analysis of Component Faults and Reliability

AU - Le Guilly, Thibaut

AU - Olsen, Petur

AU - Ravn, Anders Peter

AU - Skou, Arne Joachim

PY - 2016/5

Y1 - 2016/5

N2 - This chapter presents a process to design and validate models of reactive systems in the form of communicating timed automata. The models are extended with faults associated with probabilities of occurrence. This enables a fault tree analysis of the system using minimal cut sets that are automatically generated. The stochastic information on the faults is used to estimate the reliability of the fault affected system. The reliability is given with respect to properties of the system state space. We illustrate the process on a concrete example using the Uppaal model checker for validating the ideal system model and the fault modeling. Then the statistical version of the tool, UppaalSMC, is used to find reliability estimates.

AB - This chapter presents a process to design and validate models of reactive systems in the form of communicating timed automata. The models are extended with faults associated with probabilities of occurrence. This enables a fault tree analysis of the system using minimal cut sets that are automatically generated. The stochastic information on the faults is used to estimate the reliability of the fault affected system. The reliability is given with respect to properties of the system state space. We illustrate the process on a concrete example using the Uppaal model checker for validating the ideal system model and the fault modeling. Then the statistical version of the tool, UppaalSMC, is used to find reliability estimates.

KW - Reliability Analysis

KW - model checking

U2 - 10.1201/b20053-7

DO - 10.1201/b20053-7

M3 - Book chapter

SN - 978-1-4987-0158-7

T3 - Computational Science Series

SP - 45

EP - 60

BT - From Action Systems to Distributed Systems

A2 - Petre, Luigia

A2 - Sekerinski, Emil

PB - CRC Press

ER -

Le Guilly T, Olsen P, Ravn AP, Skou AJ. Modeling and Analysis of Component Faults and Reliability. I Petre L, Sekerinski E, red., From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. 2016. s. 45-60. (Computational Science Series). https://doi.org/10.1201/b20053-7