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

Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, Jean-Michel Bruel

Research output: Chapter in Book/Report/Conference proceedingConference publication

Abstract

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 publicationProceedings of the 2009 17th IEEE International Requirements Engineering Conference
PublisherIEEE
Pages79-88
Number of pages10
ISBN (Print)978-0-7695-3761-0
DOIs
Publication statusPublished - 2009
Event17th IEEE international requirements engineering conference - Atlanta, GA, United States
Duration: 31 Aug 20094 Sep 2009

Publication series

NameIEEE conference publications
PublisherIEEE
ISSN (Print)1090-705X

Conference

Conference17th IEEE international requirements engineering conference
Abbreviated titleRE'09
CountryUnited States
CityAtlanta, GA
Period31/08/094/09/09

Bibliographical note

© 2009 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Fingerprint Dive into the research topics of 'RELAX: incorporating uncertainty into the specification of self-adaptive systems'. Together they form a unique fingerprint.

  • Cite this

    Whittle, J., Sawyer, P., Bencomo, N., Cheng, B. H. C., & Bruel, J-M. (2009). RELAX: incorporating uncertainty into the specification of self-adaptive systems. In Proceedings of the 2009 17th IEEE International Requirements Engineering Conference (pp. 79-88). (IEEE conference publications). IEEE. https://doi.org/10.1109/RE.2009.36