Paper Info
Title
Stepwise Refinement of Complex Dependability Models Using LARES+
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.
Year
DOI
Venue
2011
10.1109/ARES.2011.92
Availability, Reliability and Security
Keywords
Field
DocType
complex dependability,realistic fault-tolerant computer system,stepwise refinement,method lares,irregular redundancy structure,step-wise refinement,reduced failure rate,dormant component,reconfigurable systems,failure detection,computer model,redundancy,software reliability,fault tolerant system,computational modeling,markov process,markov processes
Data mining,Dependability,Markov process,Imperfect,Computer science,Top-down and bottom-up design,Parallel computing,Failure rate,Redundancy (engineering),Software quality,Control reconfiguration,Distributed computing
Conference
ISBN
Citations 
PageRank 
978-0-7695-4485-4
1
0.38
References 
Authors
10
1
Name
Order
Citations
PageRank
Max Walter1549.17