Formal Synthesis of Uncertainty Reduction ControllersFULL
In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behaviour in response to uncertainty. By comparison, solutions that reduce the uncertainty affecting SAS (other than through the blanket monitoring of their components and environment) remain underexplored. Our paper proposes a more nuanced, adaptive approach to SAS uncertainty reduction. To that end, we introduce a SAS architecture comprising an \emph{uncertainty reduction controller} that drives the adaptive acquisition of new information within the SAS adaptation loop, and a tool-supported method that uses probabilistic model checking to synthesise such controllers. The controllers generated by our method deliver optimal trade-offs between SAS uncertainty reduction benefits and new information acquisition costs. We illustrate the use and evaluate the effectiveness of our approach for mobile robot navigation and server infrastructure management SAS.
Mon 15 AprDisplayed time zone: Lisbon change
11:00 - 12:30 | Session 2: UncertaintyResearch Track at Luis de Freitas Branco Chair(s): Ivana Dusparic Trinity College Dublin, Ireland | ||
11:00 25mTalk | Formal Synthesis of Uncertainty Reduction ControllersFULL Research Track Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Radu Calinescu University of York, UK, Lars Grunske Humboldt-Universität zu Berlin | ||
11:25 25mTalk | Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL Research Track Raquel Sanchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga | ||
11:50 25mTalk | Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL Research Track Gianluca Filippone University of L'Aquila, Italy, Juan Antonio Piñera García Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
12:15 15mTalk | Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT Research Track Javier Camara University of Málaga, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University, Antonio Vallecillo University of Málaga, Spain, Maribel Acosta Technical University of Munich, Nelly Bencomo Durham University, Radu Calinescu University of York, UK, Simos Gerasimou University of York |