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.

中文翻译：

---

离散事件控制器的动态更新

离散事件控制器是许多需要连续运行的软件系统的核心。在运行时更改这些控制器以应对其执行环境的变化或系统需求的变化是一个具有挑战性的开放性问题。在本文中，我们解决了反应式系统中控制器的动态更新问题。我们提出了一种为动态更新指定正确性标准的通用方法，以及一种自动计算处理从旧规范到新规范转换的控制器的技术，确保系统将达到可以正确发生这种转换的状态。底层系统架构可以重新配置。我们的解决方案使用离散事件控制器综合来自动构建一个控制器，以保证更新和安全更新的进展。