This paper proposes a formal model for industrial cyber-physical systems (CPS) with distributed control based on IEC 61499 standard and supporting time-aware computations for better adaptation to the ever changing environment conditions. Main features of the model include usage of timestamps, flattening, unified and independent behaviour of function block interfaces. This allows to make correct implementation of time-aware systems and significantly simplify the construction of models for verification and simulation, as well as ensure fairness of the model and determinism of the function block system execution at a resource level. The model formalism is based on a well-known abstract state machines (ASM) notion, which can be used as an intermediate formal representation to generate a variety of models for different purposes, e.g. formal verification, and executable code. This paper exemplifies this approach by the generation of models in the SMV language. The paper discusses the time-aware computation concept and its application in a few related case studies.

中文翻译：

---

支持基于时间的计算的基于IEC 61499的工业自动化架构的正式模型

本文提出了一个基于IEC 61499标准的具有分布式控制的工业网络物理系统（CPS）的正式模型，并支持时间感知计算，以更好地适应不断变化的环境条件。该模型的主要功能包括时间戳的使用，扁平化，功能块接口的统一和独立行为。这样可以正确实现时间感知系统，并显着简化用于验证和仿真的模型的构建，并确保模型的公平性和功能块系统在资源级别上执行的确定性。模型形式主义是基于众所周知的抽象状态机（ASM）概念的，它可以用作中间形式表示，以生成用于不同目的的各种模型，例如 正式验证和可执行代码。本文通过以SMV语言生成模型来举例说明这种方法。本文讨论了时间感知计算概念及其在一些相关案例研究中的应用。