Assurances for Self-Adaptive Software Systems

Sinem Getir, Simos Gerasimou, Benedikt Eberhardinger, and Thomas Vogel

This paper focus on the aspect of assurances for self-adaptive software systems. We defined assurances as “providing evidence that the self-adaptive software system fulfills its functional and non-functional requirements throughout its lifetime”. The provision of assurances was classified by the software engineering community among the most important research objectives for self-adaptive systems and was amid the research threads discussed extensively in the recent Dagstuhl seminars on “Software Engineering for Self-Adaptive Systems”. Our discussion is particularly driven to investigating the differences between assuring classical (i.e., static, non-adaptive) and
published 2014 Report from the GI Dagstuhl Seminar 14433: Software Engineering for Self-Adaptive Systems