12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Towards requirements aware systems: Run-time re...
View graph of relations

« Back

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

Research output: Contribution in Book/Report/ProceedingsPaper

Published

Publication date2011
Host publicationASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Place of publicationWashington, DC, USA
PublisherIEEE Computer Society
Pages560-563
Number of pages4
ISBN (Print)978-1-4577-1638-6
Original languageEnglish

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.