Publications

BibTex format

@article{Nahabedian:2020:10.1109/TSE.2018.2876843,
author = {Nahabedian, L and Braberman, V and DIppolito, N and Honiden, S and Kramer, J and Tei, K and Uchitel, S},
doi = {10.1109/TSE.2018.2876843},
journal = {IEEE Transactions on Software Engineering},
pages = {1220--1240},
title = {Dynamic update of discrete event controllers},
url = {http://dx.doi.org/10.1109/TSE.2018.2876843},
volume = {46},
year = {2020}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - Discrete event controllers are at the heart of many software systems that require continuous operation. Changing these controllers at runtime to cope with changes in its execution environment or system requirements change is a challenging open problem. In this paper we address the problem of dynamic update of controllers in reactive systems. 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 and in which the underlying system architecture can reconfigure. Our solution uses discrete event controller synthesis to automatically build a controller that guarantees both progress towards update and safe update.
AU  - Nahabedian,L
AU  - Braberman,V
AU  - DIppolito,N
AU  - Honiden,S
AU  - Kramer,J
AU  - Tei,K
AU  - Uchitel,S
DO  - 10.1109/TSE.2018.2876843
EP  - 1240
PY  - 2020///
SN  - 0098-5589
SP  - 1220
TI  - Dynamic update of discrete event controllers
T2  - IEEE Transactions on Software Engineering
UR  - http://dx.doi.org/10.1109/TSE.2018.2876843
UR  - http://hdl.handle.net/10044/1/65372
VL  - 46
ER  -

Download

Dr. Sebastian Uchitel

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)