12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > RELAX: Incorporating Uncertainty into the Speci...
View graph of relations

« Back

RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems

Research output: Contribution in Book/Report/ProceedingsPaper

Published

Publication date2009
Host publicationProceedings of the 17th IEEE International Requirements Engineering Conference (RE '09)
PublisherIEEE Publishing
Pages79-88
Number of pages10
ISBN (Print)978-0-7695-3761-0
Original languageEnglish

Conference

Conference17th Intl. IEEE Conference on Requirements Engineering (RE'09)
CityAtlanta, Ga., USA
Period1/09/09 → …

Conference

Conference17th Intl. IEEE Conference on Requirements Engineering (RE'09)
CityAtlanta, Ga., USA
Period1/09/09 → …

Abstract

Self-adaptive systems have the capability to autonomously modify their behavior at run-time in response to changes in their environment. Self-adaptation is particularly necessary for applications that must run continuously, even under adverse conditions and changing requirements; sample domains include automotive systems, telecomm-unications, and environmental monitoring systems. While a few techniques have been developed to support the monitoring and analysis of requirements for adaptive systems, limited attention has been paid to the actual creation and specification of requirements of self-adaptive systems. As a result, self-adaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements explicitly relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present RELAX, a new requirements language for selfadaptive systems and illustrate it using examples from the smart home domain.

Bibliographic note

© 2009 IEEE

Related research outputs