Assured and correct dynamic update of controllers

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

研究成果: Conference contribution

13 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016
出版社Association for Computing Machinery, Inc
ページ96-107
ページ数12
ISBN(電子版)9781450341875
DOI
出版ステータスPublished - 2016 5 14
外部発表はい
イベント11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016 - Austin, United States
継続期間: 2016 5 162016 5 17

出版物シリーズ

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

Other

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

ASJC Scopus subject areas

  • Software
  • Control and Optimization
  • Control and Systems Engineering

フィンガープリント 「Assured and correct dynamic update of controllers」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル