Name
Abstract | ||
|---|---|---|
This article presents a novel technique to calculate the probability that an adaptive system assumes a configuration. An important application area of dynamic adaptation is the cost-efficient development of dependable embedded systems. Dynamic adaptation exploits implicitly available redundancy, reducing the need for hardware redundancy, to make systems more available, reliable, survivable and, ultimately, more safe. Knowledge of configuration probabilities of a system is an essential requirement for the optimization of safety efforts in development. In perspective, it is also a prerequisite for dependability assessment. Our approach is based on a modeling language for complex reconfiguration behavior. We transform the adaptation model into a probabilistic target model that combines a compositional fault tree with Markov chains. This hybrid model can be evaluated efficiently using a modified BDD-based algorithm. The approach is currently being implemented in an existing reliability modeling tool. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/AINAW.2007.153 | Advanced Information Networking and Applications Workshops, 2007, AINAW '07. 21st International Conference |
Keywords | Field | DocType |
Markov processes,configuration management,embedded systems,probability,safety-critical software,Markov chain,compositional fault tree,configuration probability,probabilistic target model,safety-critical adaptive system | Dependability,Computer science,Adaptive system,Modeling language,Redundancy (engineering),Probabilistic logic,Configuration management,Fault tree analysis,Control reconfiguration,Distributed computing | Conference |
Volume | ISBN | Citations |
2 | 978-0-7695-2847-2 | 10 |
PageRank | References | Authors |
0.61 | 4 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rasmus Adler | 1 | 81 | 9.26 |
| Marc Forster | 2 | 10 | 0.61 |
| Mario Trapp | 3 | 10 | 0.61 |