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

Cyber-physical systems (CPSs) are becoming common in the industrial automation domain. In industrial CPS, distributed programmable logic controllers collaborate to control manufacturing plants. Design and analysis of such systems require a system model that covers control, computation, and communication with physical plant dynamics. This paper focuses on execution semantics for industrial CPS with the aim of providing a deterministic and platform-independent execution environment. A discrete-event-based execution semantics augmented with timestamp mechanism is proposed for IEC 61499 to provide deterministic behavior and guarantee compliance with real-time constraints for industrial CPS. The timestamped discrete-event-based execution semantics is implemented in an IEC 61499 runtime with service-enabled features. A case study of building automation system is used to prove the proposed semantics.

[1]  Valeriy Vyatkin,et al.  Towards IEC 61499 models of computation in Ptolemy II , 2015, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society.

[2]  Valeriy Vyatkin,et al.  Time-Complemented Event-Driven Architecture for Distributed Automation Systems , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[3]  Goran Cengic,et al.  On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics , 2010, IEEE Transactions on Industrial Informatics.

[4]  V. Vyatkin,et al.  On comparisons of the ISaGRAF implementation of IEC 61499 with FBDK and other implementations , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[5]  Edward A. Lee,et al.  Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[6]  Zoran A. Salcic,et al.  A Synchronous Approach for IEC 61499 Function Block Implementation , 2009, IEEE Transactions on Computers.

[7]  Kleanthis Thramboulidis,et al.  An industrial evaluation of SysML: The case of a nuclear automation modernization project , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[8]  Alberto Sangiovanni-Vincentelli,et al.  Methodology and Tools for Next Generation Cyber‐Physical Systems: The iCyPhy Approach , 2015 .

[9]  Valeriy Vyatkin,et al.  Formal Modelling of Distributed Automation CPS with CP-Agnostic Software , 2016, SOHOMA.

[10]  V. Vyatkin.  The IEC 61499 standard and its semantics , 2009, IEEE Industrial Electronics Magazine.

[11]  Edward A. Lee.  Modeling concurrent real-time processes using discrete events , 1999, Ann. Softw. Eng..

[12]  Piran Tata,et al.  Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics , 2009, 2009 7th IEEE International Conference on Industrial Informatics.

[13]  Alois Zoitl,et al.  Real-Time Execution for IEC 61499 , 2008 .

[14]  Rainer Drath.  Let's talk AutomationML what is the effort of AutomationML programming? , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[15]  Valeriy Vyatkin,et al.  Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability , 2015, IEEE Transactions on Industrial Informatics.

[16]  Edward A. Lee,et al.  A Programming Model for Time-Synchronized Distributed Real-Time Systems , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

[17]  Robert W. Brennan,et al.  Re-evaluating Event-Triggered and Time-Triggered Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[18]  Valeriy Vyatkin,et al.  Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations , 2015, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society.

[19]  Edward A. Lee,et al.  Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[20]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[21]  Alois Zoitl,et al.  Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language , 2013, IEEE Transactions on Industrial Informatics.

[22]  Reinder J. Bril,et al.  Limited preemptive scheduling of mixed time-triggered and event-triggered tasks , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[23]  Thomas I. Strasser,et al.  Design and Execution Issues in IEC 61499 Distributed Automation and Control Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[24]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[25]  Valeriy Vyatkin,et al.  Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.

[26]  Hans-Michael Hanisch,et al.  A New DES Control Synthesis Approach Based on Structural Model Properties , 2013, IEEE Transactions on Industrial Informatics.

[27]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[28]  Valeriy Vyatkin,et al.  Semantics-Robust Design Patterns for IEC 61499 , 2012, IEEE Transactions on Industrial Informatics.

[29]  Wayne H. Wolf,et al.  Cyber-physical Systems , 2009, Computer.

[30]  Francesco Basile,et al.  On the Implementation of Industrial Automation Systems Based on PLC , 2013, IEEE Transactions on Automation Science and Engineering.

[31]  Valeriy Vyatkin,et al.  Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[32]  Robert Bosch,et al.  Comparison of Event-Triggered and Time-Triggered Concepts with Regard to Distributed Control Systems , 2004 .

[33]  Valeriy Vyatkin,et al.  Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems , 2013, IEEE Transactions on Industrial Informatics.