Hope for the best, prepare for the worst: Multi-tier control for adaptive systems

Most approaches for adaptive systems rely on models, particularly behaviour or architecture models, which describe the system and the environment in which it operates. One of the difficulties in creating such models is uncertainty about the accuracy and completeness of the models. Engineers therefor...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: D'Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE)
Formato: CONF
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_02705257_v_n1_p688_DIppolito
Aporte de:
Descripción
Sumario:Most approaches for adaptive systems rely on models, particularly behaviour or architecture models, which describe the system and the environment in which it operates. One of the difficulties in creating such models is uncertainty about the accuracy and completeness of the models. Engineers therefore make assumptions which may prove to be invalid at runtime. In this paper we introduce a rigorous, tiered framework for combining behaviour models, each with different associated assumptions and risks. These models are used to generate operational strategies, through techniques such controller synthesis, which are then executed concurrently at runtime. We show that our framework can be used to adapt the functional behaviour of the system: through graceful degradation when the assumptions of a higher level model are broken, and through progressive enhancement when those assumptions are satisfied or restored. © 2014 ACM.