Title
A formal approach to analysing requirements conformance in adaptive systems.
Abstract
Self-adaptive systems change their operational behaviour for instance to accommodate variations in their environment, while preserving functional requirements and maintaining acceptable conformance to non-functional requirements (NFRs). While conformance with functional requirements is clear-cut, it is more challenging to specify acceptable behaviours when considering multiple NFRs, which are permitted to be partially satisfied. We propose a method for formalising how conformance to NFRs degrades and an automatic technique to compute a partially ordered set of levels of conformance. We then introduce a technique to systematically analyse the level of conformance to functional requirements that is achievable, allowing ranking and discriminating between system configurations (instantiation of system variables). This enables, at design time, understanding the impact that degrading NFRs may have on the overall system behaviour. Our technique offers design space exploration thus enabling the designer to analyse trade-offs between NFRs. We demonstrate the use and potential that this technique has on an autonomous robot case study.
Year
Venue
Field
2016
arXiv: Software Engineering
Functional requirement,Systems engineering,Ranking,Adaptive system,Computer science,Autonomous robot,Design space exploration,Partially ordered set
DocType
Volume
Citations 
Journal
abs/1606.01077
0
PageRank 
References 
Authors
0.34
0
5
Name
Order
Citations
PageRank
Jeremy Morse1807.10
Dejanira Araiza-Illan2196.46
Jonathan Lawry317219.06
Arthur Richards426826.94
Kerstin Eder523226.56