Name
Abstract | ||
|---|---|---|
The widespread adoption of autonomous adaptive systems depends on provided guarantees of safety and functional correctness, at both design time and runtime. Specifying adaptive systems is cognitively difficult when their aspects are in a large number and have complicated dependencies. present a technique to construct and automatically explore a specification for systems that can degrade and/or adapt, towards analysis at design time for verification and validation. This technique combines and constructs sections of a lattice (or Hasse diagram) of all the possible ordered system degradations/adaptations of interest, limited by desirability or risk thresholds. The lattice allows the designer to understand the different levels and combinations of system degradations/adaptations. We use the lattices (or sections) to systematically explore whether a system is able to fulfil its task goals under a dynamic and uncertain environment, through probabilistic model checking. illustrate the proposed specification technique through a domestic robotic assistant example. Systematically exploring the lattice allowed comparing the probabilities of task success/failure, to determine which degradation/adaptation combinations can be allowed in the final system implementation. |
Year | Venue | Field |
|---|---|---|
2016 | arXiv: Robotics | Robotic systems,Verification and validation,Computer science,Simulation,Adaptive system,Correctness,Hasse diagram,Implementation,Probabilistic model checking |
DocType | Volume | Citations |
Journal | abs/1603.01082 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jeremy Morse | 1 | 80 | 7.10 |
| Dejanira Araiza-Illan | 2 | 19 | 6.46 |
| Jonathan Lawry | 3 | 172 | 19.06 |
| Kerstin Eder | 4 | 232 | 26.56 |