Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems
针对工业信息物理系统中分布式可编程逻辑控制器的协同问题，提出一种基于离散事件并附加时间戳的执行语义，确保系统行为确定且满足实时约束，并在IEC 61499运行时中实现，通过楼宇自动化案例验证。
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.