Dynamic Update of Discrete Event Controllers

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

研究成果: Article査読

1 被引用数 (Scopus)

抄録

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.

本文言語English
論文番号8500345
ページ(範囲)1220-1240
ページ数21
ジャーナルIEEE Transactions on Software Engineering
46
11
DOI
出版ステータスPublished - 2020 11 1
外部発表はい

ASJC Scopus subject areas

  • Software

フィンガープリント 「Dynamic Update of Discrete Event Controllers」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル