Assured and correct dynamic update of controllers

Mostrar todas las versiones(2)

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 te...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., Uchitel, S., Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)
Formato: CONF
Materias:
Adaptive systems
Controller synthesis
Dynamic update
Application programs
Controllers
Software engineering
Specifications
Continuous operation
Correctness criterion
Reactive system
Software intensive systems
Sound engineerings
System requirements
Adaptive control systems
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p96_Nahabedian
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_97814503_v_n_p96_Nahabedian
record_format dspace
spelling todo:paper_97814503_v_n_p96_Nahabedian2023-10-03T16:43:21Z Assured and correct dynamic update of controllers Nahabedian, L. Braberman, V. D'Ippolito, N. Honiden, S. Kramer, J. Tei, K. Uchitel, S. Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) Adaptive systems Controller synthesis Dynamic update Adaptive systems Application programs Controllers Software engineering Specifications Continuous operation Controller synthesis Correctness criterion Dynamic update Reactive system Software intensive systems Sound engineerings System requirements Adaptive control systems 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. © 2016 ACM. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p96_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
Controller synthesis
Dynamic update
Adaptive systems
Application programs
Controllers
Software engineering
Specifications
Continuous operation
Controller synthesis
Correctness criterion
Dynamic update
Reactive system
Software intensive systems
Sound engineerings
System requirements
Adaptive control systems
spellingShingle Adaptive systems
Controller synthesis
Dynamic update
Adaptive systems
Application programs
Controllers
Software engineering
Specifications
Continuous operation
Controller synthesis
Correctness criterion
Dynamic update
Reactive system
Software intensive systems
Sound engineerings
System requirements
Adaptive control systems
Nahabedian, L.
Braberman, V.
D'Ippolito, N.
Honiden, S.
Kramer, J.
Tei, K.
Uchitel, S.
Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)
Assured and correct dynamic update of controllers
topic_facet Adaptive systems
Controller synthesis
Dynamic update
Adaptive systems
Application programs
Controllers
Software engineering
Specifications
Continuous operation
Controller synthesis
Correctness criterion
Dynamic update
Reactive system
Software intensive systems
Sound engineerings
System requirements
Adaptive control systems
description 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. © 2016 ACM.
format CONF
author Nahabedian, L.
Braberman, V.
D'Ippolito, N.
Honiden, S.
Kramer, J.
Tei, K.
Uchitel, S.
Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)
author_facet Nahabedian, L.
Braberman, V.
D'Ippolito, N.
Honiden, S.
Kramer, J.
Tei, K.
Uchitel, S.
Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)
author_sort Nahabedian, L.
title Assured and correct dynamic update of controllers
title_short Assured and correct dynamic update of controllers
title_full Assured and correct dynamic update of controllers
title_fullStr Assured and correct dynamic update of controllers
title_full_unstemmed Assured and correct dynamic update of controllers
title_sort assured and correct dynamic update of controllers
url http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p96_Nahabedian
work_keys_str_mv AT nahabedianl assuredandcorrectdynamicupdateofcontrollers
AT brabermanv assuredandcorrectdynamicupdateofcontrollers
AT dippoliton assuredandcorrectdynamicupdateofcontrollers
AT honidens assuredandcorrectdynamicupdateofcontrollers
AT kramerj assuredandcorrectdynamicupdateofcontrollers
AT teik assuredandcorrectdynamicupdateofcontrollers
AT uchitels assuredandcorrectdynamicupdateofcontrollers
AT associationforcomputingmachineryspecialinterestgrouponsoftwareengineeringacmsigsoftieeecomputersocietyieeetechnicalcouncilonsoftwareengineeringtcse assuredandcorrectdynamicupdateofcontrollers
_version_ 1782031145647472640

Ejemplares similares