Abstract
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.
Original language | English |
---|---|
Article number | 9345533 |
Pages (from-to) | 169-183 |
Number of pages | 15 |
Journal | IEEE Open Journal of the Industrial Electronics Society |
Volume | 2 |
DOIs | |
Publication status | Published - Feb 2021 |
MoE publication type | A1 Journal article-refereed |
Keywords
- Abstract state machines
- CPS
- formal semantics
- formal verification
- IEC 61499
- time-aware computations