Cyber-physical systems (CPSs) are becoming common in the industrial automation domain. In industrial CPS, distributed programmable logic controllers collaborate to control manufacturing plants. Design and analysis of such systems require a system model that covers control, computation, and communication with physical plant dynamics. This paper focuses on execution semantics for industrial CPS with the aim of providing a deterministic and platform-independent execution environment. A discrete-event-based execution semantics augmented with timestamp mechanism is proposed for IEC 61499 to provide deterministic behavior and guarantee compliance with real-time constraints for industrial CPS. The timestamped discrete-event-based execution semantics is implemented in an IEC 61499 runtime with service-enabled features. A case study of building automation system is used to prove the proposed semantics.

中文翻译：

---

工业信息物理系统的带有时间戳的基于离散事件的确定性执行语义

信息物理系统 (CPS) 在工业自动化领域变得越来越普遍。在工业 CPS 中，分布式可编程逻辑控制器协作控制制造工厂。此类系统的设计和分析需要一个涵盖控制、计算和与物理工厂动态通信的系统模型。本文侧重于工业 CPS 的执行语义，旨在提供一个确定性和平台独立的执行环境。为 IEC 61499 提出了一种增强了时间戳机制的基于离散事件的执行语义，以提供确定性行为并保证符合工业 CPS 的实时约束。基于时间戳离散事件的执行语义在具有服务启用功能的 IEC 61499 运行时中实现。