A formal model of IEC 61499-based Industrial automation architecture supporting time-aware computations

Dmitrii Drozdov, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2021 IEEE Open Journal of the Industrial Electronics Society  
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
more » ... f 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. INDEX TERMS Abstract state machines, CPS, formal semantics, formal verification, IEC 61499, time-aware computations. This work is licensed under a Creative Commons Attribution 4.0 License. For more information, see https://creativecommons.org/licenses/by/4.0/ VOLUME 2, 2021 169
doi:10.1109/ojies.2021.3056400 fatcat:3ugkorvg6jd6fdu4l3hwfzlpom