Implementing constrained cyber-physical systems with IEC 61499

Transactions on Embedded Computing Systems

Volumn 11, Issue 4, 2012, Pages

  Yoong, Li Hsien ^a   Roop, Partha S ^a   Salcic, Zoran ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Compilers; Cyber physical systems; Function blocks; IEC 61499; Software synthesis; Synchronous

Indexed keywords

CYBER PHYSICAL SYSTEMS (CPSS); FUNCTION BLOCK; IEC 61499; SOFTWARE SYNTHESIS; SYNCHRONOUS;

PROGRAM COMPILERS; STANDARDS;

EMBEDDED SYSTEMS;

EID: 84872437389     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2362336.2362345     Document Type: Article

References (36)

1. AHO, A. V., LAM, M. S., SETHI, R., AND ULLMAN, J. D. 2007. Compilers: Principles, Techniques, and Tools. Addison Wesley, Boston, MA.
2. ATLEE, J. M. AND GANNON, J. 1993. State-based model checking of event-driven system requirements. IEEE Trans. Softw. Engin. 19, 1, 24-40.
3. BENVENISTE, A., CASPI, P., EDWARDS, S. A., HALBWACHS, N., GUERNIC, P. L., AND DE SIMONE, R. 2003. The synchronous languages 12 years later. Proc. IEEE 91, 1, 64-83.
4. BERRY, G. 1999. The constructive semantics of pure Esterel. (Draft Book).
5. BERRY, G., KISHINEVSKY, M., AND SINGH, S. 2003. System level design and verification using a synchronous language. In IEEE/ACM International Conference on Computer-aided Design (ICCAD). 433-439.
6. BOUALI, A., DION, B., AND KONISHI, K. 2005. Using formal verification in real-time embedded software development. In Proceedings of the JSAE Annual Congress. 5-8.
7. CENGIĆ, G., LJUNGKRANTZ, O., AND ÅKESSON, K. 2006. Formal modeling of function block applications running in IEC 61499 execution runtime. In Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
8. EKER, J., JANNECK, J. W., LEE, E. A., LIU, J., LIU, X., LUDWIG, J., NEUENDORFFER, S., SACHS, S., AND XIONG, Y. 2003. Taming heterogeneity-the Ptolemy approach. Proc. IEEE 91, 1, 127-144.
9. ESTEREL EDA TECHNOLOGIES SAS. 2007. Esterel Studio User Manual, Version 6.0. Esterel EDA Technologies SAS, Elancourt.
10. ESTEREL TECHNOLOGIES SA. 2005. The Esterel v7 Reference Manual: Versionv 7 30 for Esterel Studio 5.3. Esterel Technologies SA, Villeneuve-Loubet, France.
11. FERRARINI, L. AND VEBER, C. 2004. Implementation approaches for the execution model of IEC 61499 applications. In Proceedings of the 2nd IEEE International Conference on Industrial Informatics (INDIN). 612-617.
12. FESTO DIDACTIC. 2010. Distributing station: Getting started with MPS. Festo Didact. http://www.festo-didactic.com/my-en/learning-systems/mps-the- modular-production-system/stations/distributing-station-getting-started-with- mps.htm.
13. GLIDEPATH. 2010. Glidepath-Airport Baggage Handling, Cargo Handling, Parcel Sortation and Software Control Systems. Glidepa. http://www. glidepathgroup.com.
14. HOLOBLOC INC. 2010. Function Block Development Kit. Holobloc Inc, http://www.holobloc.com.
15. ICS TRIPLEX ISAGRAF INC. 2010. ISaGRAF. ICS Triplex ISaGRAF Inc, http://www.isagraf.com.
16. IEEE 1003.1 2004. Standard for Information Technology-Portable Operating System Interface (POSIX): System Interfaces.
17. IEEE 1003.1. INTERNATIONAL ELECTROTECHNICAL COMMISSION. 2003. International Standard IEC 61131-3: Programmable Controllers-Part 3: Programming Languages 2nd Ed. International Electrotechnical Commission, Geneva.
18. INTERNATIONAL ELECTROTECHNICAL COMMISSION. 2005a. International Standard IEC 61499-1: Function Blocks-Part 1: Architecture, 1st Ed. International Electrotechnical Commission, Geneva.
19. INTERNATIONAL ELECTROTECHNICAL COMMISSION. 2005b. International Standard IEC 61499-2: Function Blocks-Part 2: Software Tool Requirements, 1st Ed. International Electrotechnical Commission, Geneva.
20. JU, L., HUYNH, B. K., ROYCHOUDHURY, A., AND CHAKRABORTY, S. 2008. Performance debugging of Esterel specifications. In Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). ACM, 173-178.
21. KRSTIĆ, M., GRASS, E., GÜRKAYNAK, F. K., AND VIVET, P. 2007. Globally asynchronous locally synchronous circuits: Overview and outlook. IEEE Design Test Comput. 24, 5, 430-441.
22. LASTRA, J. L. M., GODINHO, L., LOBOV, A., AND TUOKKO, R. 2005. An IEC 61499 application generator for scan-based industrial controllers. In Proceedings of the 3rd IEEE International Conference on Industrial Informatics (INDIN).
23. LEE, E. A. 2008. Cyber physical systems: Design challenges. In Proceedings of the 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). 363-369.
24. NOKIA CORPORATION. 2010. Qt-A cross-platform application and UI framework. Nokia Corporation. http://qt.nokia.com.
25. PROFACTOR PRODUKTIONSFORSCHUNGS GMBH. 2010. 4DIAC-RTE (FORTE): IEC 61499 Compliant Runtime Environment. PROFACTOR Produktionsforschungs GmbH. http://www.fordiac.org.
26. PUCHOL, C. 1995. A solution to the generalized railroad crossing problem in Esterel. Tech. rep. UTCS-TR95-05, Department of Computer Science, University of Texas at Austin, Austin.
27. RAMESH, S. 1998. Communicating reactive state machines: Design, model and implementation. In Proceedings of the IFAC Workshop on Distributed Computer Control Systems.
28. ROOP, P. S., ANDALAM, S., VON HANXLEDEN, R., YUAN, S., AND TRAULSEN, C. 2009. Tight WCRT analysis of synchronous C programs. In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded systems (CASES). ACM, Grenoble, 205-214.
29. SELIC, B. 2003. The pragmatics of model-driven development. IEEE Softw. 20, 5, 19-25.
30. SÜNDER, C., ZOITL, A., CHRISTENSEN, J. H., COLLA, M., AND STRASSER, T. 2007. Execution models for the IEC 61499 elements composite function block and subapplication. In Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN). 1169-1175.
31. THRAMBOULIDIS, K. AND DOUKAS, G. 2007. Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications. Springer, 223-228.
32. VYATKIN, V. AND CHOUINARD, J. 2008. On comparisons of the ISaGRAF implementation of IEC 61499 with FBDK and other implementations. In Proceedings of the 6th IEEE International Conference on Industrial Informatics (INDIN). 289-294.
33. VYATKIN, V. AND DUBININ, V. 2007. Sequential axiomatic model for execution of basic function blocks in IEC 61499. In Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN). 1183-1188.
34. YOONG, L. H., ROOP, P. S., VYATKIN, V., AND SALCIC, Z. 2009. A synchronous approach for IEC 61499 function block implementation. IEEE Trans. Comput. 58, 12, 1599-1614.
35. YOONG, L. H. AND SHAW, G. D. 2010. Auckland Function Block Benchmark. University of Auckland. http://www.ece.auckland.ac.nz/pretzel/Auckland FB Benchmark.
36. ZOITL, A., GRABMAIR, G., AUINGER, F., AND SÜNDER, C. 2005. Executing real-time constrained control applications modelled in IEC 61499 with respect to dynamic reconfiguration. In Proceedings of the 3rd IEEE International Conference on Industrial Informatics (INDIN). Perth, 62-67.