Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems

Dai, Wenbin; Pang, Cheng; Vyatkin, Valeriy; Christensen, James H.; Guan, Xinping

doi:10.1109/tsmc.2017.2736339

Cited by 22 publications

(17 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A large research was done by Lee et al on cyber-physical systems concept in general and distributed software [41], leading to creation of PTIDES [42] model of computation and Ptolemy II software framework for distributed CPS modelling and simulation. As mentioned in Section III-A, semantic basis and its implementation were suggested by Dai et al [43], however, the authors did not consider the timeaware computations concept.…”

Section: D: Cps Modeling With Timestampsmentioning

confidence: 99%

“…The IEC 61499 model, introduced in this paper, uses event timestamps as proposed in [49] and further elaborated in [43], [50]. This mechanism is not yet a part of the standard, but is already supported by some of the implementation tools, such as IDE Neptune [51] and is considered to be a useful extension for its ability to check timing guarantees and implement robust time-aware behaviour.…”

Section: B Modelling Timestampsmentioning

confidence: 99%

“…The event birth time is created either by an event-producing SIFB, or by a user-defined event creating BFB. The closest to the above semantics and implementation was proposed by Dai et al [43], however, the paper does not give a complete semantic description of FB systems and does not consider a possibility to use timestamp information in control logic.…”

Section: B Modelling Timestampsmentioning

confidence: 99%

See 2 more Smart Citations

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: D: Cps Modeling With Timestampsmentioning

confidence: 99%

Section: B Modelling Timestampsmentioning

confidence: 99%

Section: B Modelling Timestampsmentioning

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

show abstract

“…In the IEC 61499 standard, FBs are not explicitly equivalent to execution semantics. An enhanced FB programming model [16] has been proposed for DE-based deterministic execution semantics with timestamps. This enhanced FB model introduces the timestamped event paradigm proposed by the Ptolemy project into the DE-based computational model of the original FB concept and considers execution following several semantic rules.…”

Section: Related Workmentioning

confidence: 99%

An Event-Based Programming Model with Geometric Spatial Semantics For Cyber-Physical Production Systems

Wan

Zeng

2020

Applied Sciences

View full text Add to dashboard Cite

With the increasing complexities, such as massive computing devices and strict requirements for collaboration, of industrial production systems, the concept of the cyber-physical production system (CPPS) is considered as a promising approach for addressing these challenges. However, programmability is a challenge in CPPSs. The traditional chimney style of programming requires considerable design effort from engineers to handle the spatiotemporal heterogeneity of cyber-physical model that encompasses computing, temporal, and geometric semantics along with physical dynamics. Thus, an easy-to-use programming model and an integrated programming framework that are suited to this context are required. However, the existing programming models typically fully consider only computing while only partially considering temporal characteristics, and they rarely consider geometric semantics. To solve this problem, this paper proposes a novel event-based programming model, GePro, considering the geometric spatial semantics to realize integrated programming and reduce design effort, especially the reconfiguration of adding new physical devices into the exist system. A prototype of GePro is implemented and verified based on IEC 61499 by the implementation of design and reconfigure assembly CPPS . The results show that using GePro results in a programming time savings of an development life cycle time compared to traditional models for reconfiguration.

show abstract

“…The IEC 61499 architecture [2] is getting increasingly recognised as a powerful mechanism for engineering such systems. It has been proven also as an efficient way of modeling CPS in automation [3].…”

Section: Introductionmentioning

confidence: 99%

Cyber-physical automation systems modelling with IEC 61499 for their formal verification

Xavier

Patil

Vyatkin

2021

2021 IEEE 19th International Conference on Industrial Informatics (INDIN)

Self Cite

View full text Add to dashboard Cite

This paper introduces a problem-oriented notation within the IEC 61499 syntax to be used for creating formal closedloop models of cyber-physical automation systems. The proposed notation enables creation of a comprehensive tool-chain that can combine design, simulation, formal verification and distributed deployment of automation software. The proposed notation allows for definition of non-deterministic transitions in ECC of basic function blocks of IEC 61499. The tool chain includes an IEC 61499 compliant engineering environment, fb2smv converter of functions blocks to SMV code, the NuSMV model-checker and utilities for interpreting counterexamples.

show abstract

Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems

Cited by 22 publications

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

An Event-Based Programming Model with Geometric Spatial Semantics For Cyber-Physical Production Systems

Cyber-physical automation systems modelling with IEC 61499 for their formal verification

Contact Info

Product

Resources

About