Assured and correct dynamic update of controllers

L. Nahabedian, V. Braberman, N. D'Ippolito, Shinichi Honiden, J. Kramer, Kenji Tei, S. Uchitel

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016
PublisherAssociation for Computing Machinery, Inc
Pages96-107
Number of pages12
ISBN (Electronic)9781450341875
DOIs
Publication statusPublished - 2016 May 14
Externally publishedYes
Event11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016 - Austin, United States
Duration: 2016 May 162016 May 17

Other

Other11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016
CountryUnited States
CityAustin
Period16/5/1616/5/17

Fingerprint

Update
Controller
Controllers
Specification
Specifications
Reactive Systems
Requirements
Software System
Correctness
Attribute
Acoustic waves
Synthesis
Engineering
Computing

Keywords

  • Adaptive systems
  • Controller synthesis
  • Dynamic update

ASJC Scopus subject areas

  • Software
  • Control and Optimization
  • Control and Systems Engineering

Cite this

Nahabedian, L., Braberman, V., D'Ippolito, N., Honiden, S., Kramer, J., Tei, K., & Uchitel, S. (2016). Assured and correct dynamic update of controllers. In Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016 (pp. 96-107). Association for Computing Machinery, Inc. https://doi.org/10.1145/2897053.2897056

Assured and correct dynamic update of controllers. / Nahabedian, L.; Braberman, V.; D'Ippolito, N.; Honiden, Shinichi; Kramer, J.; Tei, Kenji; Uchitel, S.

Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. Association for Computing Machinery, Inc, 2016. p. 96-107.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Nahabedian, L, Braberman, V, D'Ippolito, N, Honiden, S, Kramer, J, Tei, K & Uchitel, S 2016, Assured and correct dynamic update of controllers. in Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. Association for Computing Machinery, Inc, pp. 96-107, 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016, Austin, United States, 16/5/16. https://doi.org/10.1145/2897053.2897056
Nahabedian L, Braberman V, D'Ippolito N, Honiden S, Kramer J, Tei K et al. Assured and correct dynamic update of controllers. In Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. Association for Computing Machinery, Inc. 2016. p. 96-107 https://doi.org/10.1145/2897053.2897056
Nahabedian, L. ; Braberman, V. ; D'Ippolito, N. ; Honiden, Shinichi ; Kramer, J. ; Tei, Kenji ; Uchitel, S. / Assured and correct dynamic update of controllers. Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016. Association for Computing Machinery, Inc, 2016. pp. 96-107
@inproceedings{f04037b88de548e7a9646f0fd95ffb2a,
title = "Assured and correct dynamic update of controllers",
abstract = "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.",
keywords = "Adaptive systems, Controller synthesis, Dynamic update",
author = "L. Nahabedian and V. Braberman and N. D'Ippolito and Shinichi Honiden and J. Kramer and Kenji Tei and S. Uchitel",
year = "2016",
month = "5",
day = "14",
doi = "10.1145/2897053.2897056",
language = "English",
pages = "96--107",
booktitle = "Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016",
publisher = "Association for Computing Machinery, Inc",

}

TY - GEN

T1 - Assured and correct dynamic update of controllers

AU - Nahabedian, L.

AU - Braberman, V.

AU - D'Ippolito, N.

AU - Honiden, Shinichi

AU - Kramer, J.

AU - Tei, Kenji

AU - Uchitel, S.

PY - 2016/5/14

Y1 - 2016/5/14

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

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.

KW - Adaptive systems

KW - Controller synthesis

KW - Dynamic update

UR - http://www.scopus.com/inward/record.url?scp=84974593757&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84974593757&partnerID=8YFLogxK

U2 - 10.1145/2897053.2897056

DO - 10.1145/2897053.2897056

M3 - Conference contribution

SP - 96

EP - 107

BT - Proceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016

PB - Association for Computing Machinery, Inc

ER -