{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:21:40Z","timestamp":1729614100849,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/etfa.2016.7733636","type":"proceedings-article","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T21:26:20Z","timestamp":1478553980000},"page":"1-4","source":"Crossref","is-referenced-by-count":11,"title":["A Comparison of Formal Verification Approaches for IEC 61499"],"prefix":"10.1109","author":[{"given":"Jan Olaf","family":"Blech","sequence":"first","affiliation":[]},{"given":"Per","family":"Lindgren","sequence":"additional","affiliation":[]},{"given":"David","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]},{"given":"Alois","family":"Zoitl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Modeling control systems using IEC 61499","year":"2014","author":"zoitl","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2015.111"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SICE.2000.889656"},{"key":"ref32","first-page":"361","article-title":"Comparing timed and hybrid automata as approximations of continuous systems","author":"stursberg","year":"1996","journal-title":"Hybrid Systems IV"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406353"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618279"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301447"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2012.2191404"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.1023\/A:1022295414523","article-title":"Verification of distributed control systems in intelligent manufacturing","author":"vyatkin","year":"2003","journal-title":"Journal of Intelligent Manufacturing"},{"journal-title":"Proc 7th IEEE Int Conf Emerging Technologies Factory Automation","article-title":"A modeling approach for verification of IEC1499 function blocks using net condition\/event systems","year":"1999","author":"valeriy","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3182\/20090603-3-RU-2001.0306"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017721.39909.4b"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"charles","year":"1969","journal-title":"Communications of the ACM"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1201\/b19391-16"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1201\/b19391-17"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641247"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2014.7083441"},{"journal-title":"INDIN","article-title":"Contract Based Verification of IEC 61499","year":"2016","author":"lindgren","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618273"},{"journal-title":"IFAC Workshop on Discrete-Event Systems","article-title":"Using timed automata for the verification of IEC 61499 application","year":"2004","author":"stanica","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24364-6_7"},{"journal-title":"IEEE International Conference on Systems Man and Cybernetics","article-title":"Towards IEC 61499 function blocks diagrams verification","year":"2002","author":"camille","key":"ref27"},{"key":"ref3","first-page":"53","article-title":"Why3: Shepherd your herd of provers","author":"bobot","year":"2011","journal-title":"Boogie 2011 First International Workshop on Intermediate Verification Languages"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.033"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384885"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884359"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref7","article-title":"Applying Model Checking to Industrial-Sized PLC Programs","volume":"11","author":"adiego","year":"2015","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24690-6_6"},{"journal-title":"Control and Cybernetics","article-title":"Formal modelling of IEC 61499 function blocks with integer-valued data types","year":"2010","author":"gerber","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_28"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119923"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.650"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489678"},{"journal-title":"11th IEEE International Conference on Industrial Informatics (INDIN)","article-title":"Verification of hierarchical IEC 61499 component systems with behavioral event contracts","year":"2013","author":"pr\u00e4hofer","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25942-0_20"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.03.006"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.694666"}],"event":{"name":"2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2016,9,6]]},"location":"Berlin, Germany","end":{"date-parts":[[2016,9,9]]}},"container-title":["2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7593665\/7733490\/07733636.pdf?arnumber=7733636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:01:50Z","timestamp":1498359710000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7733636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":39,"URL":"http:\/\/dx.doi.org\/10.1109\/etfa.2016.7733636","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}
