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
Documento: | Artículo |
Título: | Dynamic Update of Discrete Event Controllers |
Autor: | Nahabedian, L.; Braberman, V.; DIppolito, N.; Honiden, S.; Kramer, J.; Tei, K.; Uchitel, S. |
Filiación: | Departamento de Computación, Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales, 117139 Ciudad Autónoma de Buenos Aires, Ciudad Autónoma de Buenos Aires Argentina (e-mail: lnahabedian@dc.uba.ar) Departamento de Computación, FCEyN, Universidad de Buenos Aires, Ciudad Autónoma de Buenos Aires, Ciudad Autónoma de Buenos Aires Argentina (e-mail: vbraber@dc.uba.ar) Departamento de Computación, Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales, 117139 Ciudad Autónoma de Buenos Aires, Ciudad Autónoma de Buenos Aires Argentina (e-mail: ndippolito@dc.uba.ar) Research Division, NII, Tokyo, Chiyoda-ku Japan (e-mail: honiden@nii.ac.jp) Computing, Imperial College, London, London United Kingdom of Great Britain and Northern Ireland (e-mail: j.kramer@imperial.ac.uk) Research Division, NII, Tokyo, Chiyoda-ku Japan (e-mail: tei@nii.ac.jp) Departamento de Computación, Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales, 117139 Ciudad Autónoma de Buenos Aires, Ciudad Autónoma de Buenos Aires Argentina (e-mail: suchitel@dc.uba.ar) |
Palabras clave: | 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 |
Año: | 2018 |
DOI: | http://dx.doi.org/10.1109/TSE.2018.2876843 |
Título revista: | IEEE Transactions on Software Engineering |
Título revista abreviado: | IEEE Trans Software Eng |
ISSN: | 00985589 |
CODEN: | IESED |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00985589_v_n_p_Nahabedian |