Time-Complemented Event-Driven Architecture for Distributed Automation Systems

Pang, Cheng; Yan, Jeffrey; Vyatkin, Valeriy

doi:10.1109/tsmc.2014.2326837

Cited by 18 publications

(7 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Time-complemented event-driven (TCED) approach in [55] proposes a control architecture, where a control decision is made in advance and events triggering control actions are scheduled to be executed at a certain time.…”

Section: Time-complemented Event-driven (Tced) Approachmentioning

confidence: 99%

“…Implementation of this idea could be also done using the time-aware computations concept. For example, for the case of material handling systems from [55], the property to be verified would refer to the precision of the object diversion in presence of disturbances, such as communication jitter. Implementation of the formal verification for TCED using fb2smv and NuSMV model-checker is planned in future work.…”

Section: Time-complemented Event-driven (Tced) Approachmentioning

confidence: 99%

See 1 more Smart Citation

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: Time-complemented Event-driven (Tced) Approachmentioning

confidence: 99%

Section: Time-complemented Event-driven (Tced) Approachmentioning

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

“…Heterogeneous distributed system has emerged as a commonly system for handling large scale scientific and commercial problems in various fields, such as image processing, signal processing, pattern matching in text, and so on [2], [9], [12]- [14]. For the sake of improving the performance of the system, many task scheduling algorithms for heterogeneous or homogeneous distributed system have been proposed in the past decades, e.g., [30], [33], [41], [44]. In order to obtain high performance and fast scheduling, Wang et al [41] proposed a multi-objective bi-level programming model for energy and locality aware multi-job scheduling in heterogeneous system.…”

Section: Introductionmentioning

confidence: 99%

Off-Line Time Aware Scheduling of Bag-of-Tasks on Heterogeneous Distributed System

Xuan

Wei

et al. 2019

IEEE Access

View full text Add to dashboard Cite

The resource allocation for bag-of-tasks in the heterogeneous distributed system is to distribute the tasks to proper processors such that the makespan is minimized. It is a well-known NP-hard problem, and is even more complex and challenging when the processors have off-line time. To tackle this challenging problem, first, we set up a mathematical model for this problem which minimizes the makespan of the bag-oftasks with the off-line time segment of the processors. Second, to solve the model efficiently, we propose two new algorithms: a new scheduling algorithm referred to as sorting-allocation-pulling scheduling algorithm which first allocate the tasks to available time segment on proper processors and then pulls them to the formerly available time segment for the sake of minimizing the makespan, and an effective genetic algorithm with a novel local search operator and a well-designed modify operator. Finally, the numerical simulation experiments are conducted, and the two proposed algorithms are compared. The experimental results indicate the effectiveness of the proposed model and algorithms. INDEX TERMS Distributed computing, task scheduling, bag-of-tasks, generic algorithm.

show abstract

“…In comparison to [3], timing specifications in [4] are limited to source events. Another recent approach to real-time execution of IEC 61499 takes the outset from a Time-Complemented Event-Driven (TCED) control model [5]. Pang et.…”

Section: Introductionmentioning

confidence: 99%

A real-time semantics for the IEC 61499 standard

Lindgren

Lindner

et al. 2015

2015 IEEE 20th Conference on Emerging Technologies &Amp; Factory Automation (ETFA)

Self Cite

View full text Add to dashboard Cite

Abstract-The IEC 61499 standard provides an executable model for distributed control systems in terms of interacting function blocks. However, the current IEC 61499 standard lacks appropriate timing semantics for the specification of timing requirements, reasoning on timing properties at the model level, and for the timing verification of a specific deployment.In this paper we address this fundamental shortcoming by proposing Real-Time-4-FUN, a real-time semantics for IEC 61499. The key property is the preservation of non-determinism, allowing us to reason on (and verify) timing properties at the model level without assuming any specific scheduling policy or stipulating specific order of execution for the deployment. This provides for a clear separation of concerns, where the designer can focus on properties of the application prior to, and separately from, deployment verification. The proposed timing semantics is backwards compatible to the current standard, thus allow for reuse of existing designs. The transitional property allows timing requirements to propagate to downstream sub-systems, and can be utilized for scheduling both at device and network level.Based on a translation to RTFM-tasks and resources, IEC 61499 the models can be analyzed, compiled and executed. As a proof of concept the timing semantics has been experimentally implemented in the RTFM-core language and the accompanying (thread based) RTFM-RT run-time system.

show abstract

Time-Complemented Event-Driven Architecture for Distributed Automation Systems

Abstract: Abstract-Time-driven and event-driven control models are two fundamental design paradigms applied in distributed control systems for synchronizing decentralized activities. This paper proposes a unified architecture for combining both approaches.

Cited by 18 publications

References 34 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

Off-Line Time Aware Scheduling of Bag-of-Tasks on Heterogeneous Distributed System

A real-time semantics for the IEC 61499 standard

Contact Info

Product

Resources

About