Whittle, Jon and Sawyer, Peter and Bencomo, Nelly and Cheng, B. H. C. and Bruel, J-M (2010) RELAX:Incorporating Uncertainty into the Specification of Self-Adaptive Systems. In: 17th IEEE International Requirements Engineering Conference, 2009. RE '09. IEEE Publishing, pp. 79-88. ISBN 978-0-7695-3761-0
This is the latest version of this item.
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.
| Item Type: | Contribution in Book/Report/Proceedings |
|---|---|
| Additional Information: | © 2009 IEEE |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | Faculty of Science and Technology > School of Computing & Communications |
| ID Code: | 42547 |
| Deposited By: | ep_importer_comp |
| Deposited On: | 11 Nov 2010 10:47 |
| Refereed?: | No |
| Published?: | Published |
| Last Modified: | 24 Sep 2012 17:01 |
| Identification Number: | |
| URI: | http://eprints.lancs.ac.uk/id/eprint/42547 |
Available Versions of this Item
- The Upgraded D0 detector. (deposited 02 Apr 2008 11:18)
- RELAX:Incorporating Uncertainty into the Specification of Self-Adaptive Systems. (deposited 11 Nov 2010 10:47)[Currently Displayed]
Actions (login required)
| View Item |
