Publications

BibTex format

@inproceedings{Nahabedian:2016:10.1145/2897053.2897056,
author = {Nahabedian, L and Braberman, V and D'Ippolito, N and Honiden, S and Kramer, J and Tei, K and Uchitel, S},
doi = {10.1145/2897053.2897056},
pages = {96--107},
publisher = {ACM},
title = {Assured and correct dynamic update of controllers},
url = {http://dx.doi.org/10.1145/2897053.2897056},
year = {2016}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - In many application domains, continuous operation is a desirable attribute for software-intensive systems. As the environment or system requirements change, so the system should change and adapt without stopping or unduly disturbing its operation. There is, therefore, a need for sound engineering techniques that can cope with dynamic change. In this paper we address the problem of dynamic update of controllers in reactive systems when the specification (environment assumptions, requirements and interface) of the current system changes. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update. Seven case studies have been implemented to validate the approach.
AU  - Nahabedian,L
AU  - Braberman,V
AU  - D'Ippolito,N
AU  - Honiden,S
AU  - Kramer,J
AU  - Tei,K
AU  - Uchitel,S
DO  - 10.1145/2897053.2897056
EP  - 107
PB  - ACM
PY  - 2016///
SP  - 96
TI  - Assured and correct dynamic update of controllers
UR  - http://dx.doi.org/10.1145/2897053.2897056
UR  - http://hdl.handle.net/10044/1/34164
ER  -

Download

ProfessorJeffKramer

Contact

Assistant

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)