Dynamic Update of Discrete Event Controllers

Leandro Nahabedian, Victor Braberman, Nicolas DIppolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish
JournalIEEE Transactions on Software Engineering
DOIs
Publication statusAccepted/In press - 2018 Jan 1
Externally publishedYes

Fingerprint

Controllers
Specifications

Keywords

  • Adaptive Systems
  • Business
  • Control systems
  • Controller Synthesis
  • Dynamic Update
  • Paints
  • Runtime
  • Safety
  • Tools

ASJC Scopus subject areas

  • Software

Cite this

Dynamic Update of Discrete Event Controllers. / Nahabedian, Leandro; Braberman, Victor; DIppolito, Nicolas; Honiden, Shinichi; Kramer, Jeff; Tei, Kenji; Uchitel, Sebastian.

In: IEEE Transactions on Software Engineering, 01.01.2018.

Research output: Contribution to journalArticle

Nahabedian, Leandro ; Braberman, Victor ; DIppolito, Nicolas ; Honiden, Shinichi ; Kramer, Jeff ; Tei, Kenji ; Uchitel, Sebastian. / Dynamic Update of Discrete Event Controllers. In: IEEE Transactions on Software Engineering. 2018.
@article{6a6be33d097740d685659693703e0e6a,
title = "Dynamic Update of Discrete Event Controllers",
abstract = "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.",
keywords = "Adaptive Systems, Business, Control systems, Controller Synthesis, Dynamic Update, Paints, Runtime, Safety, Tools",
author = "Leandro Nahabedian and Victor Braberman and Nicolas DIppolito and Shinichi Honiden and Jeff Kramer and Kenji Tei and Sebastian Uchitel",
year = "2018",
month = "1",
day = "1",
doi = "10.1109/TSE.2018.2876843",
language = "English",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Dynamic Update of Discrete Event Controllers

AU - Nahabedian, Leandro

AU - Braberman, Victor

AU - DIppolito, Nicolas

AU - Honiden, Shinichi

AU - Kramer, Jeff

AU - Tei, Kenji

AU - Uchitel, Sebastian

PY - 2018/1/1

Y1 - 2018/1/1

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

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.

KW - Adaptive Systems

KW - Business

KW - Control systems

KW - Controller Synthesis

KW - Dynamic Update

KW - Paints

KW - Runtime

KW - Safety

KW - Tools

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

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

U2 - 10.1109/TSE.2018.2876843

DO - 10.1109/TSE.2018.2876843

M3 - Article

AN - SCOPUS:85055183478

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

ER -