Dynamic Update of Discrete Event Controllers
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...
Guardado en:
Autores principales: | , , , , , , |
---|---|
Formato: | INPR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00985589_v_n_p_Nahabedian |
Aporte de: |
id |
todo:paper_00985589_v_n_p_Nahabedian |
---|---|
record_format |
dspace |
spelling |
todo:paper_00985589_v_n_p_Nahabedian2023-10-03T14:57:00Z Dynamic Update of Discrete Event Controllers Nahabedian, L. Braberman, V. DIppolito, N. Honiden, S. Kramer, J. Tei, K. Uchitel, S. Adaptive Systems Business Control systems Controller Synthesis Dynamic Update Paints Runtime Safety Tools Accident prevention Adaptive systems Control system synthesis Control systems Controllers Industry Mobile telecommunication systems Paint Tools Continuous operation Controller synthesis Correctness criterion Discrete event controllers Dynamic update Execution environments Runtimes System requirements Adaptive control systems 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. IEEE INPR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_00985589_v_n_p_Nahabedian |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Adaptive Systems Business Control systems Controller Synthesis Dynamic Update Paints Runtime Safety Tools Accident prevention Adaptive systems Control system synthesis Control systems Controllers Industry Mobile telecommunication systems Paint Tools Continuous operation Controller synthesis Correctness criterion Discrete event controllers Dynamic update Execution environments Runtimes System requirements Adaptive control systems |
spellingShingle |
Adaptive Systems Business Control systems Controller Synthesis Dynamic Update Paints Runtime Safety Tools Accident prevention Adaptive systems Control system synthesis Control systems Controllers Industry Mobile telecommunication systems Paint Tools Continuous operation Controller synthesis Correctness criterion Discrete event controllers Dynamic update Execution environments Runtimes System requirements Adaptive control systems Nahabedian, L. Braberman, V. DIppolito, N. Honiden, S. Kramer, J. Tei, K. Uchitel, S. Dynamic Update of Discrete Event Controllers |
topic_facet |
Adaptive Systems Business Control systems Controller Synthesis Dynamic Update Paints Runtime Safety Tools Accident prevention Adaptive systems Control system synthesis Control systems Controllers Industry Mobile telecommunication systems Paint Tools Continuous operation Controller synthesis Correctness criterion Discrete event controllers Dynamic update Execution environments Runtimes System requirements Adaptive control systems |
description |
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. IEEE |
format |
INPR |
author |
Nahabedian, L. Braberman, V. DIppolito, N. Honiden, S. Kramer, J. Tei, K. Uchitel, S. |
author_facet |
Nahabedian, L. Braberman, V. DIppolito, N. Honiden, S. Kramer, J. Tei, K. Uchitel, S. |
author_sort |
Nahabedian, L. |
title |
Dynamic Update of Discrete Event Controllers |
title_short |
Dynamic Update of Discrete Event Controllers |
title_full |
Dynamic Update of Discrete Event Controllers |
title_fullStr |
Dynamic Update of Discrete Event Controllers |
title_full_unstemmed |
Dynamic Update of Discrete Event Controllers |
title_sort |
dynamic update of discrete event controllers |
url |
http://hdl.handle.net/20.500.12110/paper_00985589_v_n_p_Nahabedian |
work_keys_str_mv |
AT nahabedianl dynamicupdateofdiscreteeventcontrollers AT brabermanv dynamicupdateofdiscreteeventcontrollers AT dippoliton dynamicupdateofdiscreteeventcontrollers AT honidens dynamicupdateofdiscreteeventcontrollers AT kramerj dynamicupdateofdiscreteeventcontrollers AT teik dynamicupdateofdiscreteeventcontrollers AT uchitels dynamicupdateofdiscreteeventcontrollers |
_version_ |
1782024064520421376 |