RELAX: Incorporating uncertainty into the specification of self-adaptive systems

Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Chengy, Jean Michel Bruelz

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

218 Citations (Scopus)


Self-adaptive systems have the capability to autonomously modify their behaviour 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, telecommunications, 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.

Original languageEnglish
Title of host publication17th IEEE International Requirements Engineering Conference, RE2009
Number of pages10
Publication statusPublished - 2009
Externally publishedYes
EventIEEE International Requirements Engineering Conference 2009 - Atlanta, United States of America
Duration: 31 Aug 20094 Sept 2009
Conference number: 17th (Proceedings)


ConferenceIEEE International Requirements Engineering Conference 2009
Abbreviated titleRE 2009
Country/TerritoryUnited States of America
Internet address

Cite this