Title :
Stepwise Refinement of Complex Dependability Models Using LARES+
Author_Institution :
Lehrstuhl fur Rechnertechnik und Rechnerorganisation, Tech. Univ. Munchen, Munich, Germany
Abstract :
This article shows how the method LARES+ (Language for Reconfigurable Systems) is used to model a realistic fault-tolerant computer system comprising 60 components by step-wise refinement. The system under consideration has a highly irregular redundancy structure. Components are not assumed to be independent. In contrast, it is assumed that dormant components fail with a reduced failure rate, and that failure detection and reconfiguration is imperfect.
Keywords :
fault tolerant computing; reconfigurable architectures; software reliability; LARES+; Language for Reconfigurable Systems; complex dependability models; dormant components; failure detection; highly irregular redundancy structure; realistic fault-tolerant computer system; stepwise refinement; Computational modeling; Fault tolerant systems; Footwear; Markov processes; Numerical models; Program processors; Redundancy; dependability evaluation; reconfigurable fault tolerant systems;
Conference_Titel :
Availability, Reliability and Security (ARES), 2011 Sixth International Conference on
Conference_Location :
Vienna
Print_ISBN :
978-1-4577-0979-1
Electronic_ISBN :
978-0-7695-4485-4
DOI :
10.1109/ARES.2011.92
