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


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.
TitelFrom Action Systems to Distributed Systems : The Refinement Approach
RedaktørerLuigia Petre, Emil Sekerinski
ForlagCRC Press
Publikationsdatomaj 2016
ISBN (Trykt)978-1-4987-0158-7
ISBN (Elektronisk)978-1-4987-0159-4
StatusUdgivet - maj 2016
NavnComputational Science Series


Dyk ned i forskningsemnerne om 'Modeling and Analysis of Component Faults and Reliability'. Sammen danner de et unikt fingeraftryk.