DocumentCode
1832831
Title
Stepwise Refinement of Complex Dependability Models Using LARES+
Author
Walter, Max
Author_Institution
Lehrstuhl fur Rechnertechnik und Rechnerorganisation, Tech. Univ. Munchen, Munich, Germany
fYear
2011
fDate
22-26 Aug. 2011
Firstpage
436
Lastpage
441
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ARES.2011.92
Filename
6045997
Link To Document