Modeling and Analysis of Component Faults and Reliability

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

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review


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.
Original languageEnglish
Title of host publicationFrom Action Systems to Distributed Systems : The Refinement Approach
EditorsLuigia Petre, Emil Sekerinski
PublisherCRC Press
Publication dateMay 2016
ISBN (Print)978-1-4987-0158-7
ISBN (Electronic)978-1-4987-0159-4
Publication statusPublished - May 2016
SeriesComputational Science Series


  • Reliability Analysis
  • model checking


Dive into the research topics of 'Modeling and Analysis of Component Faults and Reliability'. Together they form a unique fingerprint.

Cite this