论文标题
MIMOS：实时系统设计和更新的确定性模型
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
论文作者
论文摘要
受Gilles Kahn在并发系统上的开创性工作的启发，我们建议将定时系统建模为软件组件网络（以实时过程或任务的实现），每种都可以根据给定的时机约束来计算功能集合。我们为该模型提供了一个定点语义，该语义表明，此类网络的每个系统函数均为给定的（时机）输入流（定时）（定时）输出流计算。作为所需的功能，可以通过集成用于添加新系统功能而不更改现有系统的新组件来修改此类网络模型。此外，现有组件也可以由新的成分替换为满足给定要求的新组件。多亏了确定性的语义，不仅可以在部署后进行建立系统，还可以对其进行更新，从而启用了基于模型的方法，从而允许有效的分析技术，例如模型中的模拟模拟，以验证更新系统的完整行为。
Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or tasks), each of which is specified to compute a collection of functions according to given timing constraints. We present a fixed-point semantics for this model which shows that each system function of such a network computes for a given set of (timed) input streams, a deterministic (timed) output stream. As a desired feature, such a network model can be modified by integrating new components for adding new system functions without changing the existing ones. Additionally, existing components may be replaced also by new ones fulfilling given requirements. Thanks to the deterministic semantics, a model-based approach is enabled for not only building systems but also updating them after deployment, allowing for efficient analysis techniques such as model-in-the-loop simulation to verify the complete behaviour of the updated system.
