Timing control while preserving determinism is often a key requirement for ensuring the safety and correctness of distributed cyber-physical systems (CPS). Discrete-event (DE) systems provide a suitable model of computation (MoC) for time-sensitive distributed CPS. The high-level architecture (HLA) is a useful tool for the distributed simulation of DE systems, but its techniques can be adapted for implementing distributed CPS. However, HLA incurs considerable overhead in network messages conveying timing information between the distributed nodes and the centralized run-time infrastructure (RTI). This paper gives a novel approach and implementation that reduces such network messages while preserving DE semantics. An evaluation of our runtime demonstrates that our approach significantly reduces the volume of messages for timing information in HLA.

翻译：在保持确定性的同时进行时序控制，通常是确保分布式信息物理系统安全性与正确性的关键要求。离散事件系统为时间敏感的分布式信息物理系统提供了一种合适的计算模型。高层体系结构是分布式离散事件系统仿真的有效工具，其技术可适用于分布式信息物理系统的实现。然而，高层体系结构在分布式节点与集中式运行时基础设施之间传递时序信息的网络消息会产生显著开销。本文提出了一种在保持离散事件语义的同时减少此类网络消息的新方法与实现。对我们的运行时系统的评估表明，该方法显著减少了高层体系结构中用于传递时序信息的消息量。