by Rasmus Adler, Dominik Domis, Marc Förster, Mario Trapp
Abstract:
Dynamic adaptation means that components are reconfigured at run time. Consequently, the degree to which a system fulfils its functional and safety requirements depends on the current system configuration at run time. The probability of a violation of functional requirements in combination with an importance factor for each requirement gives us a measure for reliability. In the same way, the degree of violation of safety requirements can be a measure for safety. These measures can easily be derived based on the probabilities of possible system configurations. For this purpose, we are introducing a new probabilistic analysis technique that determines configuration probabilities based on Fault trees, Binary Decision Diagrams (BDDs) and Markov chains. Through our recent work we have been able to determine configuration probabilities of systems but we neglected timing aspects . Timing delays have impact on the adaptation behavior and are necessary to handle cyclic dependences. The contribution of the present article is to extend analysis towards models with timing delays. This technique builds upon the Methodologies and Architectures for Runtime Adaptive Systems (MARS) , a modeling concept we use for specifying the adaptation behavior of a system at design time. The results of this paper determine configuration probabilities, that are necessary to quantify the fulfillment of functional and safety requirements by adaptive systems.
Reference:
R. Adler et al., "Probabilistic analysis of safety-critical adaptive systems with temporal dependences", in Reliability and Maintainability Symposium, 2008. RAMS 2008. Annual, IEEE, pp. 149-154.
Bibtex Entry:
@INPROCEEDINGS{Adler2008,
author = {Adler, Rasmus and Domis, Dominik and Förster, Marc and Trapp, Mario},
title = {Probabilistic analysis of safety-critical adaptive systems with temporal
dependences},
booktitle = {Reliability and Maintainability Symposium, 2008. RAMS 2008. Annual},
year = {2008},
pages = {149-154},
month = Jan,
publisher = {IEEE},
abstract = {Dynamic adaptation means that components are reconfigured at run time.
Consequently, the degree to which a system fulfils its functional
and safety requirements depends on the current system configuration
at run time. The probability of a violation of functional requirements
in combination with an importance factor for each requirement gives
us a measure for reliability. In the same way, the degree of violation
of safety requirements can be a measure for safety. These measures
can easily be derived based on the probabilities of possible system
configurations. For this purpose, we are introducing a new probabilistic
analysis technique that determines configuration probabilities based
on Fault trees, Binary Decision Diagrams (BDDs) and Markov chains.
Through our recent work we have been able to determine configuration
probabilities of systems but we neglected timing aspects . Timing
delays have impact on the adaptation behavior and are necessary to
handle cyclic dependences. The contribution of the present article
is to extend analysis towards models with timing delays. This technique
builds upon the Methodologies and Architectures for Runtime Adaptive
Systems (MARS) , a modeling concept we use for specifying the adaptation
behavior of a system at design time. The results of this paper determine
configuration probabilities, that are necessary to quantify the fulfillment
of functional and safety requirements by adaptive systems.},
doi = {10.1109/RAMS.2008.4925786},
issn = {0149-144X},
keywords = {Markov chains;binary decision diagrams;fault trees;probabilistic analysis;safety-critical
adaptive systems;temporal dependences;Markov processes;fault trees;probability;safety
systems;}
}