{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:47:28Z","timestamp":1730220448492,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641247","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T16:11:18Z","timestamp":1291133478000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Improving verification and reliability of distributed control systems design according to IEC 61499"],"prefix":"10.1109","author":[{"given":"Hans-Christian","family":"Lapp","sequence":"first","affiliation":[]},{"given":"Christian","family":"Gerber","sequence":"additional","affiliation":[]},{"given":"Hans-Michael","family":"Hanisch","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(99)00074-X"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"},{"key":"17","first-page":"79","article-title":"Modeling and verification of distributed control systems","author":"hanisch","year":"2005","journal-title":"International Conference Design Analysis and Simulation of Distributed Systems (DADS 2005)"},{"key":"36","article-title":"IEC 61499 konforme Beschreibung verteilter Steuerungen mit Petri-Netzen","author":"wurmus","year":"0","journal-title":"Conference Verteilte Automatisierung Magdeburg 2000"},{"key":"18","article-title":"Transformation of IEC 61499 Control Systems to formals Models","author":"ivanova-vasileva","year":"2007","journal-title":"International Conference Automatics and Informatics (CAI 2007)"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/SICE.2000.889656"},{"key":"15","first-page":"197","article-title":"Formal Modelling of IEC 61499 Function Blocks with Integer-Valued Data Types","volume":"39","author":"gerber","year":"2010","journal-title":"Control and Cybernetics"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.857614"},{"journal-title":"Does Portability of IEC 61499 Mean That Once Programmed Control Software Runs Everywhere?","year":"2010","author":"gerber","key":"13"},{"key":"14","first-page":"239","article-title":"A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types","author":"gerber","year":"2008","journal-title":"Proceedings of the IFAC Intelligent Manufacturing Systems Workshop (IMS'07)"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.128"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678427"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417331"},{"journal-title":"Verification of the Gripper Station","year":"2008","author":"gerber","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.825915"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2007.4413664"},{"key":"22","first-page":"1365","article-title":"Finding the bounds of response time of networked automation systems by iterative proofs","author":"ruel","year":"2009","journal-title":"13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009) Moscow Russia (2009)"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417319"},{"key":"24","article-title":"A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic","author":"stanica","year":"0","journal-title":"Euromicro European Conference on Real-Time Systems (ECRTS'03) Porto Portugal July 2003 Proceedings"},{"key":"25","first-page":"375","article-title":"Using Timed Automata for the verification of IEC 61499 Applications","author":"stanica","year":"2004","journal-title":"Proc 2004 IFAC Workshop on Discrete Event Systems (WODES 04)"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618110"},{"key":"27","first-page":"31","article-title":"Usability and Interoperability of IEC 61499 based distributed automation systems","author":"suender","year":"2006","journal-title":"Proceedings of the Conference on Industrial Informatics (INDIN)"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6266-7_41"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612500"},{"year":"2009","key":"3"},{"year":"2006","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417418"},{"journal-title":"Information Technology - Open Systems Interconnection - Basic Reference Model - Conventions for the Definition of OSI Services","year":"1994","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/251957"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416965"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275694"},{"key":"32","first-page":"261","article-title":"A Modeling Approach for Verification of the IEC 1499 Function Blocks Using Net Condition \/ Event Systems","author":"vyatkin","year":"1999","journal-title":"Proc Conf Emerging Technologies and Factory Automation (ETFA)"},{"key":"5","first-page":"22","article-title":"A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification","volume":"17","author":"cengic","year":"2008","journal-title":"Proceedings of the 17th IFAC World Congress"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384938"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355187"},{"key":"9","first-page":"6","article-title":"Towards IEC 61499 function blocks diagrams verification","volume":"3","author":"faure","year":"2002","journal-title":"IEEE International Conference on Systems Man and Cybernetics (SMC-2006)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618112"}],"event":{"name":"Factory Automation (ETFA 2010)","start":{"date-parts":[[2010,9,13]]},"location":"Bilbao","end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641247.pdf?arnumber=5641247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T00:37:45Z","timestamp":1490056665000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641247","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}