Home > Research > Publications & Outputs > RELAX: Incorporating Uncertainty into the Speci...

Research

Associated organisational unit

Links

Text available via DOI:

View graph of relations

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. / Whittle, Jon; Sawyer, Peter; Bencomo, Nelly et al.
Proceedings of the 17th IEEE International Requirements Engineering Conference (RE '09) . IEEE Publishing, 2009. p. 79-88.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Whittle, J, Sawyer, P, Bencomo, N, Cheng, BHC & Bruel, J-M 2009, RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. in Proceedings of the 17th IEEE International Requirements Engineering Conference (RE '09) . IEEE Publishing, pp. 79-88, 17th Intl. IEEE Conference on Requirements Engineering (RE'09), Atlanta, Ga., USA, 1/09/09. https://doi.org/10.1109/RE.2009.36

APA

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 17th IEEE International Requirements Engineering Conference (RE '09) (pp. 79-88). IEEE Publishing. https://doi.org/10.1109/RE.2009.36

Vancouver

Whittle J, Sawyer P, Bencomo N, Cheng BHC, Bruel J-M. RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. In Proceedings of the 17th IEEE International Requirements Engineering Conference (RE '09) . IEEE Publishing. 2009. p. 79-88 doi: 10.1109/RE.2009.36

Author

Whittle, Jon ; Sawyer, Peter ; Bencomo, Nelly et al. / RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. Proceedings of the 17th IEEE International Requirements Engineering Conference (RE '09) . IEEE Publishing, 2009. pp. 79-88

Bibtex

@inproceedings{7b57d1e455b34b12b29c2bb93ae7f776,
title = "RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems",
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.",
author = "Jon Whittle and Peter Sawyer and Nelly Bencomo and Cheng, {B. H. C.} and J-M Bruel",
note = " {\textcopyright} 2009 IEEE; 17th Intl. IEEE Conference on Requirements Engineering (RE'09) ; Conference date: 01-09-2009",
year = "2009",
doi = "10.1109/RE.2009.36",
language = "English",
isbn = "978-0-7695-3761-0 ",
pages = "79--88",
booktitle = "Proceedings of the 17th IEEE International Requirements Engineering Conference (RE '09)",
publisher = "IEEE Publishing",

}

RIS

TY - GEN

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

AU - Whittle, Jon

AU - Sawyer, Peter

AU - Bencomo, Nelly

AU - Cheng, B. H. C.

AU - Bruel, J-M

N1 - © 2009 IEEE

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=73549119249&partnerID=8YFLogxK

U2 - 10.1109/RE.2009.36

DO - 10.1109/RE.2009.36

M3 - Conference contribution/Paper

SN - 978-0-7695-3761-0

SP - 79

EP - 88

BT - Proceedings of the 17th IEEE International Requirements Engineering Conference (RE '09)

PB - IEEE Publishing

T2 - 17th Intl. IEEE Conference on Requirements Engineering (RE'09)

Y2 - 1 September 2009

ER -