Skip to main content

Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions

Welsh, Kristopher and Sawyer, Pete and Bencomo, Nelly (2011) Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions. In: Alexander, Perry and Pasareanu, Corina and Hosking, John, eds. 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, pp. 560-563. ISBN 978-1-4577-1638-6. E-ISBN 978-1-4577-1639-3. (doi:10.1109/ASE.2011.6100125) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1109/ASE.2011.6100125

Abstract

In earlier work we proposed the idea of requirements-aware systems that could introspect about the extent to which their goals were being satisfied at runtime. When combined with requirements monitoring and self adaptive capabilities, requirements awareness should help optimize goal satisfaction even in the presence of changing run-time context. In this paper we describe initial progress towards the realization of requirements-aware systems with REAssuRE. REAssuRE focuses on explicit representation of assumptions made at design time. When such assumptions are shown not to hold, REAssuRE can trigger system adaptations to alternative goal realizationstrategies.

Item Type: Book section
DOI/Identification number: 10.1109/ASE.2011.6100125
Uncontrolled keywords: requirements awareness; self adaptive systems; goals; claims
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Data Science
Depositing User: Kristopher Welsh
Date Deposited: 21 Sep 2012 09:49 UTC
Last Modified: 24 Sep 2019 11:09 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/30714 (The current URI for this page, for reference purposes)
  • Depositors only (login required):