Imperial College London

Professor Jeff Magee

Faculty of EngineeringDepartment of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8601j.magee Website

 
 
//

Assistant

 

Mrs Clare Pearson +44 (0)20 7594 8601

 
//

Location

 

2.06Faculty BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{D'ippolito:2014:10.1145/2568225.2568264,
author = {D'ippolito, N and braberman, V and Kramer, J and Magee, J and sykes, D and Uchitel, S},
doi = {10.1145/2568225.2568264},
pages = {688--699},
publisher = {ACM},
title = {Hope for the best, prepare for the worst: multi-tier control for adaptive systems},
url = {http://dx.doi.org/10.1145/2568225.2568264},
year = {2014}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - 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.
AU - D'ippolito,N
AU - braberman,V
AU - Kramer,J
AU - Magee,J
AU - sykes,D
AU - Uchitel,S
DO - 10.1145/2568225.2568264
EP - 699
PB - ACM
PY - 2014///
SP - 688
TI - Hope for the best, prepare for the worst: multi-tier control for adaptive systems
UR - http://dx.doi.org/10.1145/2568225.2568264
UR - http://hdl.handle.net/10044/1/23323
ER -