Lancaster EPrints

Towards requirements aware systems: Run-time resolution of design-time assumptions

Welsh, Kristopher and Sawyer, Peter and Bencomo, Nelly (2011) Towards requirements aware systems: Run-time resolution of design-time assumptions. In: ASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. IEEE Computer Society, Washington, DC, USA, pp. 560-563. ISBN 978-1-4577-1638-6

Full text not available from this repository.

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 realization strategies.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 57598
Deposited By: ep_importer_pure
Deposited On: 17 Aug 2012 13:34
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:27
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57598

Actions (login required)

View Item