A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations
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, flatte...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2021-01-01
|
| Series: | IEEE Open Journal of the Industrial Electronics Society |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/9345533/ |
| _version_ | 1818417223290585088 |
|---|---|
| author | Dmitrii Drozdov Victor Dubinin Sandeep Patil Valeriy Vyatkin |
| author_facet | Dmitrii Drozdov Victor Dubinin Sandeep Patil Valeriy Vyatkin |
| author_sort | Dmitrii Drozdov |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-14T12:03:22Z |
| format | Article |
| id | doaj.art-b30b0b5ea47446e0a712fb569329fdc3 |
| institution | Directory Open Access Journal |
| issn | 2644-1284 |
| language | English |
| last_indexed | 2024-12-14T12:03:22Z |
| publishDate | 2021-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Open Journal of the Industrial Electronics Society |
| spelling | doaj.art-b30b0b5ea47446e0a712fb569329fdc32022-12-21T23:01:56ZengIEEEIEEE Open Journal of the Industrial Electronics Society2644-12842021-01-01216918310.1109/OJIES.2021.30564009345533A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware ComputationsDmitrii Drozdov0https://orcid.org/0000-0002-7001-3435Victor Dubinin1Sandeep Patil2https://orcid.org/0000-0003-2936-4185Valeriy Vyatkin3https://orcid.org/0000-0002-9315-9920Luleå University of Technology, Luleå, SwedenPenza State University, Penza, RussiaLuleå University of Technology, Luleå, SwedenLuleå University of Technology, Luleå, SwedenThis 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.https://ieeexplore.ieee.org/document/9345533/Abstract state machinesCPSformal semanticsformal verificationIEC 61499time-aware computations |
| spellingShingle | Dmitrii Drozdov Victor Dubinin Sandeep Patil Valeriy Vyatkin A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations IEEE Open Journal of the Industrial Electronics Society Abstract state machines CPS formal semantics formal verification IEC 61499 time-aware computations |
| title | A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations |
| title_full | A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations |
| title_fullStr | A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations |
| title_full_unstemmed | A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations |
| title_short | A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations |
| title_sort | formal model of iec 61499 based industrial automation architecture supporting time aware computations |
| topic | Abstract state machines CPS formal semantics formal verification IEC 61499 time-aware computations |
| url | https://ieeexplore.ieee.org/document/9345533/ |
| work_keys_str_mv | AT dmitriidrozdov aformalmodelofiec61499basedindustrialautomationarchitecturesupportingtimeawarecomputations AT victordubinin aformalmodelofiec61499basedindustrialautomationarchitecturesupportingtimeawarecomputations AT sandeeppatil aformalmodelofiec61499basedindustrialautomationarchitecturesupportingtimeawarecomputations AT valeriyvyatkin aformalmodelofiec61499basedindustrialautomationarchitecturesupportingtimeawarecomputations AT dmitriidrozdov formalmodelofiec61499basedindustrialautomationarchitecturesupportingtimeawarecomputations AT victordubinin formalmodelofiec61499basedindustrialautomationarchitecturesupportingtimeawarecomputations AT sandeeppatil formalmodelofiec61499basedindustrialautomationarchitecturesupportingtimeawarecomputations AT valeriyvyatkin formalmodelofiec61499basedindustrialautomationarchitecturesupportingtimeawarecomputations |