A portability study of IEC 61499: Semantics and tools

Pang, Cheng; Patil, Sandeep; Yang, Chi; Vyatkin, Valeriy; Shalyto, Anatoly

doi:10.1109/indin.2014.6945553

Cited by 19 publications

(4 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The abstractions are based on the following assumptions: It is assumed that a resource includes a scheduler that controls execution of FBs. Execution of the FB system components in a single resource is always sequential (since a resource is usually implemented as non-preemptive to ensure deterministic behaviour) [52]. The scheduler is built upon a chronologically ordered event queue (events in a queue are ordered by TL-timestamps).…”

Section: Modelling Event Schedulermentioning

confidence: 99%

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

Дроздов

Dubinin

Patil

et al. 2021

IEEE Open J. Ind. Electron. Soc.

Self Cite

View full text Add to dashboard Cite

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 timeaware 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.

show abstract

Section: Modelling Event Schedulermentioning

confidence: 99%

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

Дроздов

Dubinin

Patil

et al. 2021

IEEE Open J. Ind. Electron. Soc.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Function blocks assembly allows designing the control system. The network of function blocks can then be distributed among several controllers interconnected by communication tools while keeping its behavior [15]. IEC 61499 is therefore suitable for machine control in CPS.…”

Section: B Iec 61499mentioning

confidence: 99%

Hierarchical Intelligent Component-Based Development for the Design of Cyber-Physical Control Architecture

Parant

Gellot

Alexandre

et al. 2021

2021 5th International Conference on Control and Fault-Tolerant Systems (SysTol)

View full text Add to dashboard Cite

“…The IEC 61499 tools make different choices in the implementation of the semantics for some specific constructs. In this work, we follow the semantics defined by the 4DIAC tool as it is open source, and its runtime is used by the commercial nxtStudio tool as well [19].…”

Section: Iec 61499mentioning

confidence: 99%

Business Process Models for Analysis of Industrial IoT Applications

Krishna

Salaün

2021

Proceedings of the 11th International Conference on the Internet of Things

View full text Add to dashboard Cite

Industrial automation is a complex process involving various stakeholders. The two important aspects to consider during the automation system development are its business production goals and its technical implementation. The international standard IEC 61499 helps to specify distributed automation using a generic architectural model, targeting the technical development of the automation. However, it is not easy to analyse whether these IEC 61499 models satisfy production goals due to their informal semantics and inherent complexities of distributed logic. In this paper, we propose to use Business Process Model Notation (BPMN) to express the underlying IEC 61499 specification. We propose a transformation from an IEC 61499 specification to the BPMN model. This model presents the automation from a business point-of-view, and it also enables quantitative analysis of process models. Specifically, it allows business analysts to perform analysis related to cost, resource allocation, and time in automation. This analysis is achieved by transforming the business processes to formal model in Maude rewriting logic. The viability of our proposals is illustrated using an industrial case study of a packaging system. CCS CONCEPTS• Software and its engineering → Context specific languages; Formal software verification.

show abstract

A portability study of IEC 61499: Semantics and tools

Cited by 19 publications

References 21 publications

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

Hierarchical Intelligent Component-Based Development for the Design of Cyber-Physical Control Architecture

Business Process Models for Analysis of Industrial IoT Applications

Contact Info

Product

Resources

About