Using Models at Runtime to Address Assurance for Self-Adaptive Systems

DMCA

Using Models at Runtime to Address Assurance for Self-Adaptive Systems (2014)

Cached

Download Links

[www.se-rwth.de]

by Betty H. C. Cheng , Kerstin I. Eder , Martin Gogolla , Lars Grunske , Marin Litoiu , Hausi A. Müller , Patrizio Pelliccione , Anna Perini , Nauman A. Qureshi , Bernhard Rumpe , Daniel Schneider , Frank Trollmann , Norha M. Villegas

Citations:

1 - 0 self

BibTeX

@MISC{Cheng14usingmodels,
    author = {Betty H. C. Cheng and Kerstin I. Eder and Martin Gogolla and Lars Grunske and Marin Litoiu and Hausi A. Müller and Patrizio Pelliccione and Anna Perini and Nauman A. Qureshi and Bernhard Rumpe and Daniel Schneider and Frank Trollmann and Norha M. Villegas},
    title = { Using Models at Runtime to Address Assurance for Self-Adaptive Systems},
    year = {2014}
}

OpenURL

Abstract

A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The ful-fillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence in the correctness of a system is gained through a variety of activities and processes performed at de-velopment time, such as design analysis and testing. In the presence of self-adaptation, however, some of the assurance tasks may need to be performed at runtime. This need calls for the development of techniques that enable contin-uous assurance throughout the software life cycle. Fundamental to the develop-

DMCA