{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:52Z","timestamp":1750308712470,"version":"3.41.0"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:p>Cyber-physical systems (CPS) are integrations of computation and control with sensing and actuation of the physical environment. Typically, such systems consist of embedded computers that monitor and control physical processes in a feedback loop. While modern electronic systems are increasingly characterized as CPS, their design and synthesis still rely on traditional methods, which lack systematic and automated techniques for accomplishment.<\/jats:p>\n          <jats:p>Recently, IEC 61499 has been proposed as a standard for designing industrial process-control and measurement systems. It prescribes a component-based approach for developing industrial automation software using function blocks. Executable code can then be automatically generated and simulated from these function blocks. This bodes well for designers of CPS, who are more likely to be experts in specific industrial domains, rather than in computer science. The intuitive graphical nature and automatic code synthesis of IEC 61499 programs will alleviate the programming burden of industrial engineers, while ensuring more reliable software. While software synthesis from IEC 61499 programs is not new, the generation of efficient code from them has been wanting. This has made it difficult for function blocks to be used in software development for resource-constrained embedded controllers commonly employed in CPS. To address this, we present an approach that can generate very efficient code from function block descriptions. Experimental results from a benchmark suite shows that our approach produces substantially faster and smaller code compared to existing techniques.<\/jats:p>","DOI":"10.1145\/2362336.2362345","type":"journal-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T15:42:48Z","timestamp":1357918968000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Implementing constrained cyber-physical systems with IEC 61499"],"prefix":"10.1145","volume":"11","author":[{"given":"Li Hsien","family":"Yoong","sequence":"first","affiliation":[{"name":"University of Auckland, Auckland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Salcic","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"2007","unstructured":"Aho , A. V. , Lam , M. S. , Sethi , R. , and Ullman , J. D . 2007 . Compilers: Principles, Techniques, and Tools . Addison Wesley , Boston, MA . Aho, A. V., Lam, M. S., Sethi, R., and Ullman, J. D. 2007. Compilers: Principles, Techniques, and Tools. Addison Wesley, Boston, MA."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.210305"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_2_1_4_1","unstructured":"Berry G. 1999. The constructive semantics of pure Esterel. (Draft Book).  Berry G. 1999. The constructive semantics of pure Esterel. (Draft Book)."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/996070.1009926"},{"volume-title":"Proceedings of the JSAE Annual Congress. 5--8.","author":"Bouali A.","key":"e_1_2_1_6_1","unstructured":"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. 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."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355187"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_2_1_9_1","unstructured":"Esterel EDA Technologies SAS. 2007. Esterel Studio User Manual Version 6.0. Esterel EDA Technologies SAS Elancourt.  Esterel EDA Technologies SAS. 2007. Esterel Studio User Manual Version 6.0. Esterel EDA Technologies SAS Elancourt."},{"key":"e_1_2_1_10_1","unstructured":"Esterel Technologies SA. 2005. The Esterel v7 Reference Manual: Version v7_30 for Esterel Studio 5.3. Esterel Technologies SA Villeneuve-Loubet France.  Esterel Technologies SA. 2005. The Esterel v7 Reference Manual: Version v7_30 for Esterel Studio 5.3. Esterel Technologies SA Villeneuve-Loubet France."},{"volume-title":"Proceedings of the 2nd IEEE International Conference on Industrial Informatics (INDIN). 612--617","author":"Ferrarini L.","key":"e_1_2_1_11_1","unstructured":"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 . 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."},{"key":"e_1_2_1_12_1","unstructured":"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.  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."},{"key":"e_1_2_1_13_1","unstructured":"Glidepath. 2010. Glidepath\u2014Airport Baggage Handling Cargo Handling Parcel Sortation and Software Control Systems. Glidepa. http:\/\/www.glidepathgroup.com.  Glidepath. 2010. Glidepath\u2014Airport Baggage Handling Cargo Handling Parcel Sortation and Software Control Systems. Glidepa. http:\/\/www.glidepathgroup.com."},{"volume-title":"Function Block Development Kit","author":"Holobloc Inc. 2010.","key":"e_1_2_1_14_1","unstructured":"Holobloc Inc. 2010. Function Block Development Kit . Holobloc Inc , http:\/\/www.holobloc.com. Holobloc Inc. 2010. Function Block Development Kit. Holobloc Inc, http:\/\/www.holobloc.com."},{"key":"e_1_2_1_15_1","unstructured":"ICS Triplex ISaGRAF Inc. 2010. ISaGRAF. ICS Triplex ISaGRAF Inc http:\/\/www.isagraf.com.  ICS Triplex ISaGRAF Inc. 2010. ISaGRAF. ICS Triplex ISaGRAF Inc http:\/\/www.isagraf.com."},{"volume-title":"Standard for Information Technology\u2014Portable Operating System Interface (POSIX): System Interfaces","key":"e_1_2_1_16_1","unstructured":"IEEE 1003.1 2004. Standard for Information Technology\u2014Portable Operating System Interface (POSIX): System Interfaces . IEEE 1003.1. IEEE 1003.1 2004. Standard for Information Technology\u2014Portable Operating System Interface (POSIX): System Interfaces. IEEE 1003.1."},{"key":"e_1_2_1_17_1","volume-title":"International Standard IEC 61131-3: Programmable Controllers -- Part 3: Programming Languages","author":"International Electrotechnical Commission","unstructured":"International Electrotechnical Commission . 2003. International Standard IEC 61131-3: Programmable Controllers -- Part 3: Programming Languages 2 nd Ed. International Electrotechnical Commission , Geneva . International Electrotechnical Commission. 2003. International Standard IEC 61131-3: Programmable Controllers -- Part 3: Programming Languages 2nd Ed. International Electrotechnical Commission, Geneva.","edition":"2"},{"key":"e_1_2_1_18_1","volume-title":"International Standard IEC 61499-1: Function Blocks -- Part 1: Architecture","author":"International Electrotechnical Commission","unstructured":"International Electrotechnical Commission . 2005a. International Standard IEC 61499-1: Function Blocks -- Part 1: Architecture , 1 st Ed. International Electrotechnical Commission , Geneva . International Electrotechnical Commission. 2005a. International Standard IEC 61499-1: Function Blocks -- Part 1: Architecture, 1st Ed. International Electrotechnical Commission, Geneva.","edition":"1"},{"key":"e_1_2_1_19_1","volume-title":"International Standard IEC 61499-2: Function Blocks -- Part 2: Software Tool Requirements","author":"International Electrotechnical Commission","unstructured":"International Electrotechnical Commission . 2005b. International Standard IEC 61499-2: Function Blocks -- Part 2: Software Tool Requirements , 1 st Ed. International Electrotechnical Commission , Geneva . International Electrotechnical Commission. 2005b. International Standard IEC 61499-2: Function Blocks -- Part 2: Software Tool Requirements, 1st Ed. International Electrotechnical Commission, Geneva.","edition":"1"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450175"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.164"},{"volume-title":"Proceedings of the 3rd IEEE International Conference on Industrial Informatics (INDIN).","author":"Lastra J. L. M.","key":"e_1_2_1_22_1","unstructured":"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). 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)."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"volume-title":"Qt -- A cross-platform application and UI framework","author":"Nokia Corporation","key":"e_1_2_1_24_1","unstructured":"Nokia Corporation . 2010. Qt -- A cross-platform application and UI framework . Nokia Corporation . http:\/\/qt.nokia.com. Nokia Corporation. 2010. Qt -- A cross-platform application and UI framework. Nokia Corporation. http:\/\/qt.nokia.com."},{"key":"e_1_2_1_25_1","unstructured":"PROFACTOR Produktionsforschungs GmbH. 2010. 4DIAC-RTE (FORTE): IEC 61499 Compliant Runtime Environment. PROFACTOR Produktionsforschungs GmbH. http:\/\/www.fordiac.org.  PROFACTOR Produktionsforschungs GmbH. 2010. 4DIAC-RTE (FORTE): IEC 61499 Compliant Runtime Environment. PROFACTOR Produktionsforschungs GmbH. http:\/\/www.fordiac.org."},{"volume-title":"Department of Computer Science","author":"Puchol C.","key":"e_1_2_1_26_1","unstructured":"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. 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."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)36343-7"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629395.1629424"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"volume-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN). 1169--1175","author":"S\u00fcnder C.","key":"e_1_2_1_30_1","unstructured":"S\u00fcnder , 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 . S\u00fcnder, 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."},{"key":"e_1_2_1_31_1","unstructured":"Thramboulidis K. and Doukas G. 2007. Innovative Algorithms and Techniques in Automation Industrial Electronics and Telecommunications. Springer 223--228.   Thramboulidis K. and Doukas G. 2007. Innovative Algorithms and Techniques in Automation Industrial Electronics and Telecommunications. Springer 223--228."},{"volume-title":"Proceedings of the 6th IEEE International Conference on Industrial Informatics (INDIN). 289--294","author":"Vyatkin V.","key":"e_1_2_1_32_1","unstructured":"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 . 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."},{"volume-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN). 1183--1188","author":"Vyatkin V.","key":"e_1_2_1_33_1","unstructured":"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 . 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."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.128"},{"key":"e_1_2_1_35_1","unstructured":"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.  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."},{"volume-title":"Proceedings of the 3rd IEEE International Conference on Industrial Informatics (INDIN). Perth, 62--67","author":"Zoitl A.","key":"e_1_2_1_36_1","unstructured":"Zoitl , A. , Grabmair , G. , Auinger , F. , and S\u00fcnder , 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 . Zoitl, A., Grabmair, G., Auinger, F., and S\u00fcnder, 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."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362345","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2362336.2362345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:16Z","timestamp":1750277656000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1145\/2362336.2362345"],"URL":"https:\/\/doi.org\/10.1145\/2362336.2362345","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"2010-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}