Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Safety and Dependability Analysis of Self-Adaptive Systems. Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 06), IEEE CS Press, 2006.

Abstract

In this paper we present a technique for safety analysis of self-adaptive systems with formal methods. Self-adaptive systems are characterized by the ability to dynamically (self-)adapt and reorganize. The aim of this approach is to make the systems more dependable. But in general it is unclear how big the benefit is - compared to a traditional design. We propose a dependability analysis based on the results of safety analysis to measure the quality of self-x capabilities of an adaptive system with formal methods. This is important for unbiased and evidence-based decision making in early design phases. To illustrate the results we show the application of the method to a case study from the domain of production automation.

BibTeX (Download)

@conference{ISoLA06,
title = {Safety and Dependability Analysis of Self-Adaptive Systems},
author = { Matthias G\"{u}demann and Frank Ortmeier and Wolfgang Reif},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/Safety_and_Dependability_Analysis_of_Self-Adaptive_Systems.pdf},
year  = {2006},
date = {2006-01-01},
booktitle = {Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 06)},
publisher = {IEEE CS Press},
abstract = {In this paper we present a technique for safety analysis of self-adaptive systems with formal methods. Self-adaptive systems are characterized by the ability to dynamically (self-)adapt and reorganize. The aim of this approach is to make the systems more dependable. But in general it is unclear how big the benefit is - compared to a traditional design. We propose a dependability analysis based on the results of safety analysis to measure the quality of self-x capabilities of an adaptive system with formal methods. This is important for unbiased and evidence-based decision making in early design phases. To illustrate the results we show the application of the method to a case study from the domain of production automation.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}