Simulation of cyber-physical systems using IEC61499
Authors: 
Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash MalikAuthors Info & Claims
Pages 136 - 145
Abstract
IEC61499 is an emerging standard for the design of automation systems. While many compilers and associated tools for IEC61499 have been developed, systematic techniques for modelling the continuous dynamics of the physical processes are lacking. Current practices involve using co-simulation, where plants are modelled in a tool such as Simulink and controllers are designed using IEC-61499. Co-simulation has many limitations such as slow sampling and free-wheeling. In this paper we propose a systematic approach for the design and simulation of Cyber-Physical Systems (CPS) using IEC61499. We propose the concept of Hybrid Function Blocks (HFBs), as syntactic extensions, to specify the continuous dynamics of a physical plant. A Hybrid Function Block can be compiled into a standards compliant Basic Function Block, based on new deterministic synchronous semantics. To show that our approach is both scalable and efficient when designing CPS, we present benchmarks showing that it runs 29 % faster than Simulink when generating correlating traces.
References
[1]
2013. International Standard IEC 61499-1: Function blocks - Part 1: Architecture. (April 2013).
[2]
2013. International Standard IEC 61499-2: Function blocks - Part 2: Software Tool Requirements. (April 2013).
[3]
Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikuionis, Thomas Strump, and Stavros Tripakis. 2015. Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. In Proceedings of the 11th International Modelica Conference, Versailles, France, September 21--23, 2015. Linköping University Electronic Press, Linköpings universitet, 159--169.
[4]
Olivier Bouissou and Alexandre Chapoutot. 2012. An Operational Semantics for Simulink's Simulation Engine. SIGPLAN Not. 47, 5 (June 2012), 129--138.
[5]
David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, and Michael Wetter. 2013. Determinate Composition of FMUs for Co-simulation. In Proceedings of the Eleventh ACM International Conference on Embedded Software (EMSOFT '13). IEEE Press, Piscataway, NJ, USA, Article 2, 12 pages. http://dl.acm.org.ezproxy.auckland.ac.nz/citation.cfm?id=2555754.2555756
[6]
H. Carlsson, B. Svensson, F. Danielsson, and B. Lennartson. 2012. Methods for Reliable Simulation-Based PLC Code Verification. IEEE Transactions on Industrial Informatics 8, 2 (May 2012), 267--278.
[7]
Fabio Cremona, Marten Lohstroh, Stavros Tripakis, Christopher Brooks, and Edward A. Lee. 2016. FIDE: An FMI Integrated Development Environment. In Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16). ACM, New York, NY, USA, 1759--1766.
[8]
E Freund, A Hypki, R Bauer, and DH Pensky. 2002. Real-time coupling of the 3D workcell simulation system COSIMIR. In Proc. International Conference on Information Technology & Applications (ICITA 2002).
[9]
G. Frey and L. Litz. 1998. Verification and validation of control algorithms by coupling of interpreted Petri nets. In Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on, Vol. 1. 7--12 vol.1.
[10]
G. Frey and L. Litz. 2000. Formal methods in PLC programming. In Systems, Man, and Cybernetics, 2000 IEEE International Conference on, Vol. 4. 2431--2436 vol.4.
[11]
Thomas A Henzinger. 2000. The Theory of Hybrid Automata. In Verification of Digital and Hybrid Systems. Springer, 265--292.
[12]
Alan C. Hindmarsh, Peter N. Brown, Keith E. Grant, Steven L. Lee, Radu Serban, Dan E. Shumaker, and Carol S. Woodward. 2005. SUNDIALS: Suite of Nonlinear and Differential/Algebraic Equation Solvers. ACM Trans. Math. Softw. 31, 3 (Sept. 2005), 363--396.
[13]
John Lygeros, Claire Tomlin, and Shankar Sastry. 1999. Hybrid systems: modeling, analysis and control. preprint (1999).
[14]
Nancy Lynch, Roberto Segala, and Frits Vaandrager. 2003. Hybrid I/O automata. Information and computation 185, 1 (2003), 105--157.
[15]
A. Malik, P. S. Roop, N. Allen, and T. Steger. 2017. Emulation of cyber-physical systems using IEC-61499. IEEE Transactions on Industrial Informatics PP, 99 (2017), 1-1.
[16]
H. A. Pearce, M. M. Y. Kuo, P. S. Roop, and M. Biglari-Abhari. 2016. RunSync: A Predictable Runtime for Precision Timed Automation Systems. In 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC). 116--123.
[17]
Susanne Rösch, Sebastian Ulewicz, Julien Provost, and Birgit Vogel-Heuser. 2015. Review of model-based testing approaches in production automation and adjacent domains-current challenges and research gaps. Journal of Software Engineering and Applications 8, 9 (2015), 499.
[18]
R. Sinha, P. S. Roop, G. Shaw, Z. Salcic, and M. M. Y. Kuo. 2016. Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks. IEEE Transactions on Industrial Informatics 12, 1 (Feb 2016), 59--68.
[19]
O. Stursberg and S. Lohmann. 2005. Analysis of Logic Controllers by Transformation of SFC into Timed Automata. In Proceedings of the 44th IEEE Conference on Decision and Control. 7720--7725.
[20]
E.C. Synnott, J.B. Glynn, and T.C. Duane. 1984. Minimum ignition temperature of a self-raising flour on a standard hot-plate. Journal of Food Engineering 3, 2 (1984), 151--160.
[21]
P. Tata and V. Vyatkin. 2009. Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics. In Industrial Informatics, 2009. INDIN 2009. 7th IEEE International Conference on. 416--421.
[22]
V. Vyatkin. 2009. The IEC 61499 standard and its semantics. IEEE Industrial Electronics Magazine 3, 4 (Dec 2009), 40--48.
[23]
V. Vyatkin. 2011. IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review. IEEE Transactions on Industrial Informatics 7, 4 (Nov 2011), 768--781.
[24]
V. Vyatkin and V. Dubinin. 2007. Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC 61499. In Industrial Informatics, 2007 5th IEEE International Conference on, Vol. 2. 1183--1188.
[25]
W. Wolf. 2009. Cyber-physical Systems. Computer 42, 3 (March 2009), 88--89.
[26]
Li Hsien Yoong, P.S. Roop, and Z. Salcic. 2009. Efficient implementation of IEC 61499 function blocks. In Industrial Technology, 2009. ICIT 2009. IEEE International Conference on. 1--6.
[27]
Li Hsien Yoong, P.S. Roop, V. Vyatkin, and Z. Salcic. 2009. A Synchronous Approach for IEC 61499 Function Block Implementation. Computers, IEEE Transactions on 58, 12 (Dec 2009), 1599--1614.
[28]
Li Hsien Yoong, Partha S. Roop, and Zoran Salcic. 2013. Implementing Constrained Cyber-physical Systems with IEC 61499. ACM Trans. Embed. Comput. Syst. 11, 4, Article 78 (Jan. 2013), 22 pages.
[29]
M Bani Younis, Georg Frey, et al. 2003. Formalization of existing PLC programs: A survey. In Proceedings of CESA. 0234--0239.
Recommendations
Simulation integration platforms for cyber-physical systems
DESTION '19: Proceedings of the Workshop on Design Automation for CPS and IoTSimulation-based analysis is essential in the model-based design process of Cyber-Physical Systems (CPS). Since heterogeneity is inherent to CPS, virtual prototyping of CPS designs and the simulation of their behavior in various environments typically ...
Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution
DASC '09: Proceedings of the 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure ComputingIn cyber-physical systems (CPSs), embedded computing systems and communication capability are used to streamline and fortify the operation of a physical system. Intelligent critical infrastructure systems are among the most important CPSs and also prime ...
Study on Integrated Modeling Methods toward Co-simulation of Cyber-Physical System
HPCC '12: Proceedings of the 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and SystemsCyber-physical systems are particularly difficult to model and simulate because their components mix many different system modalities. In this paper we address the main technical challenges on system simulation taking into account by new characters of ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
September 2017
192 pages
ISBN:9781450350938
DOI:10.1145/3127041
- General Chair:
- Jean-Pierre Talpin,
- Program Chairs:
- Patricia Derler,
- Klaus Schneider
Copyright © 2017 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 29 September 2017
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
September 29 - October 2, 2017
Vienna, Austria
Acceptance Rates
MEMOCODE '17 Paper Acceptance Rate 22 of 48 submissions, 46%;
Overall Acceptance Rate 34 of 82 submissions, 41%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 126Total Downloads
- Downloads (Last 12 months)6
- Downloads (Last 6 weeks)1
Reflects downloads up to 19 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in