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

Kristopher Welsh, Peter Sawyer, Nelly Bencomo

Research output: Chapter in Book/Published conference outputConference publication

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.
Original languageEnglish
Title of host publicationASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
PublisherIEEE
Pages560-563
Number of pages4
ISBN (Print)978-1-4577-1638-6
DOIs
Publication statusPublished - 2011
Event2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 - Lawrence, KS, United States
Duration: 6 Nov 201110 Nov 2011

Publication series

NameIEEE / ACM International Conference on Automated Software Engineering
PublisherAssociation for Computing Machinery
ISSN (Print)1938-4300

Conference

Conference2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
Country/TerritoryUnited States
CityLawrence, KS
Period6/11/1110/11/11

Bibliographical note

© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Keywords

  • requirements awareness
  • self adaptive systems
  • goals
  • claims

Fingerprint

Dive into the research topics of 'Towards requirements aware systems: run-time resolution of design-time assumptions'. Together they form a unique fingerprint.

Cite this