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 Morse | 1 | 80 | 7.10 |
Dejanira Araiza-Illan | 2 | 19 | 6.46 |
Jonathan Lawry | 3 | 172 | 19.06 |
Arthur Richards | 4 | 268 | 26.94 |
Kerstin Eder | 5 | 232 | 26.56 |