Paper Info
Title
A rigorous approach to availability modeling
Abstract
Modeling and analyzing the dependability of software systems is a key activity in the development of embedded systems. An important factor of dependability is availability. Current modeling methods that support availability modeling are not based on a rigorous modeling theory. Therefore, when the behavior of the system influences the availability, as it is the case for fault-tolerant systems, the resulting analysis is imprecise or relies on external information. Based on a probabilistic extension of the Focus theory, we present a modeling technique that allows specifiying availability with a clear semantics. This semantics is a transformation of the original behavior to one that includes failures. Our approach enables modeling and verifying availability properties in the same way as system behavior.
Year
DOI
Venue
2012
10.1109/MISE.2012.6226009
MiSE
Keywords
Field
DocType
embedded systems,probability,software fault tolerance,availability modeling,embedded system developemnt,fault-tolerant systems,focus theory probabilistic extension,rigorous approach,software system analysis,software system dependability,Availability,Error probability,Fault tolerance,Modeling,Reliability,Verification
Dependability,Computer science,Software fault tolerance,Software system,Fault tolerance,Systems modeling,Model theory,Probabilistic logic,Reliability engineering,Semantics,Distributed computing
Conference
ISSN
ISBN
Citations 
2156-788
978-1-4673-1756-6
2
PageRank 
References 
Authors
0.39
11
2
Name
Order
Citations
PageRank
Maximilian Junker120.39
Philipp Neubeck220.39