{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:31Z","timestamp":1750221271573,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"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":[],"published-print":{"date-parts":[[2017,9,29]]},"DOI":"10.1145\/3127041.3127052","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:34:00Z","timestamp":1506515640000},"page":"136-145","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Simulation of cyber-physical systems using IEC61499"],"prefix":"10.1145","author":[{"given":"Hammond A.","family":"Pearce","sequence":"first","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]},{"given":"Matthew M. Y.","family":"Kuo","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]},{"given":"Nathan","family":"Allen","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]},{"given":"Partha S.","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]},{"given":"Avinash","family":"Malik","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"volume-title":"International Standard IEC 61499-1: Function blocks - Part 1: Architecture. (April","year":"2013","key":"e_1_3_2_1_1_1","unstructured":"2013. International Standard IEC 61499-1: Function blocks - Part 1: Architecture. (April 2013 ). 2013. International Standard IEC 61499-1: Function blocks - Part 1: Architecture. (April 2013)."},{"volume-title":"International Standard IEC 61499-2: Function blocks - Part 2: Software Tool Requirements. (April","year":"2013","key":"e_1_3_2_1_2_1","unstructured":"2013. International Standard IEC 61499-2: Function blocks - Part 2: Software Tool Requirements. (April 2013 ). 2013. International Standard IEC 61499-2: Function blocks - Part 2: Software Tool Requirements. (April 2013)."},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 11th International Modelica Conference","author":"Bogomolov Sergiy","year":"2015","unstructured":"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\u00f6ping University Electronic Press , Link\u00f6pings universitet, 159--169. 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\u00f6ping University Electronic Press, Link\u00f6pings universitet, 159--169."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345141.2248437"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555754.2555756"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2182653"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851613.2851677"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. International Conference on Information Technology & Applications (ICITA","author":"Freund E","year":"2002","unstructured":"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). 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)."},{"key":"e_1_3_2_1_9_1","volume-title":"1998 IEEE International Conference on","volume":"1","author":"Frey G.","unstructured":"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. 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."},{"key":"e_1_3_2_1_10_1","volume-title":"2000 IEEE International Conference on","volume":"4","author":"Frey G.","unstructured":"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. 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."},{"volume-title":"Verification of Digital and Hybrid Systems","author":"Henzinger Thomas A","key":"e_1_3_2_1_11_1","unstructured":"Thomas A Henzinger . 2000. The Theory of Hybrid Automata . In Verification of Digital and Hybrid Systems . Springer , 265--292. Thomas A Henzinger. 2000. The Theory of Hybrid Automata. In Verification of Digital and Hybrid Systems. Springer, 265--292."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089014.1089020"},{"key":"e_1_3_2_1_13_1","volume-title":"Hybrid systems: modeling, analysis and control. preprint","author":"Lygeros John","year":"1999","unstructured":"John Lygeros , Claire Tomlin , and Shankar Sastry . 1999. Hybrid systems: modeling, analysis and control. preprint ( 1999 ). John Lygeros, Claire Tomlin, and Shankar Sastry. 1999. Hybrid systems: modeling, analysis and control. preprint (1999)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"e_1_3_2_1_15_1","first-page":"1","article-title":"Emulation of cyber-physical systems using IEC-61499","volume":"99","author":"Malik A.","year":"2017","unstructured":"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 . 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.","journal-title":"IEEE Transactions on Industrial Informatics PP"},{"volume-title":"RunSync: A Predictable Runtime for Precision Timed Automation Systems. In 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC). 116--123","author":"Pearce H. A.","key":"e_1_3_2_1_16_1","unstructured":"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 . 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."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.89048"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2496262"},{"volume-title":"Proceedings of the 44th IEEE Conference on Decision and Control. 7720--7725","author":"Stursberg O.","key":"e_1_3_2_1_19_1","unstructured":"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 . 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."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0260-8774(84)90034-7"},{"volume-title":"Industrial Informatics, 2009. INDIN 2009. 7th IEEE International Conference on. 416--421","author":"Tata P.","key":"e_1_3_2_1_21_1","unstructured":"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 . 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."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2009.934796"},{"key":"e_1_3_2_1_23_1","first-page":"4","article-title":"IEC 61499 as Enabler of Distributed and Intelligent Automation","volume":"7","author":"Vyatkin V.","year":"2011","unstructured":"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. 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.","journal-title":"State-of-the-Art Review. IEEE Transactions on Industrial Informatics"},{"key":"e_1_3_2_1_24_1","volume-title":"Industrial Informatics, 2007 5th IEEE International Conference on","volume":"2","author":"Vyatkin V.","unstructured":"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. 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."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.81"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2009.4939707"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.128"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362336.2362345"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of CESA. 0234--0239","author":"Younis M Bani","year":"2003","unstructured":"M Bani Younis , Georg Frey , 2003 . Formalization of existing PLC programs: A survey . In Proceedings of CESA. 0234--0239 . M Bani Younis, Georg Frey, et al. 2003. Formalization of existing PLC programs: A survey. In Proceedings of CESA. 0234--0239."}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Vienna Austria","acronym":"MEMOCODE '17"},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127052","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:06Z","timestamp":1750212666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":29,"alternative-id":["10.1145\/3127041.3127052","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3127052","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}