Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00623780
Contributor : Nelly Bencomo <>
Submitted on : Thursday, November 17, 2011 - 4:10:59 PM
Last modification on : Tuesday, May 25, 2021 - 12:36:01 PM
Long-term archiving on: : Saturday, February 18, 2012 - 2:20:55 AM

File

dopaper.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00623780, version 1

Collections

Citation

Nelly Bencomo, Kristopher Welsh, Pete Sawyer. Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions. ASE'11 - 26th IEEE/ACM International Conference On Automated Software Engineering, Nov 2011, Lawrence, Kansas, United States. ⟨inria-00623780⟩

Share

Metrics

Record views

234

Files downloads

490