{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:12:36Z","timestamp":1773148356551,"version":"3.50.1"},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/tii.2011.2182653","type":"journal-article","created":{"date-parts":[[2012,1,4]],"date-time":"2012-01-04T01:06:32Z","timestamp":1325639192000},"page":"267-278","source":"Crossref","is-referenced-by-count":50,"title":["Methods for Reliable Simulation-Based PLC Code Verification"],"prefix":"10.1109","volume":"8","author":[{"given":"Henrik","family":"Carlsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Svensson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fredrik","family":"Danielsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Lennartson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"2010"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2002.1166451"},{"key":"ref33","author":"kondor","year":"2007","journal-title":"OPC XML NET and real-time application"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68899-0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641184"},{"key":"ref30","author":"iwanitz","year":"2004","journal-title":"The Online Industrial Ethernet Book"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601352"},{"key":"ref36","year":"2005","journal-title":"Data acquisition from industrial systems specification"},{"key":"ref35","year":"2010"},{"key":"ref34","year":"2010"},{"key":"ref28","year":"2003","journal-title":"Data Access Custom Interface Standard"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1016\/j.csi.2005.05.001","article-title":"Using standard components in automation industry: A study on OPC specification","volume":"28","author":"hong","year":"2006","journal-title":"Comput Standards Interfaces"},{"key":"ref29","year":"2010"},{"key":"ref2","article-title":"Computer aided methods supporting concurrent engineering when designing mechatronic systems controlled by a PLC","author":"bathelt","year":"2007","journal-title":"Proc ICME'07"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1999.813149"},{"key":"ref20","first-page":"645","author":"freund","year":"2002","journal-title":"Real-time coupling of the 3D workcell simulation system COSIMIR [registered trademark]"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1049\/cce:19950404"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2000.899889"},{"key":"ref24","first-page":"209","article-title":"Development of virtual robot controllers and future trends","author":"bernhardt","year":"2001","journal-title":"Proc 6th IFAC Symp Cost Oriented Autom"},{"key":"ref23","article-title":"The virtual robot controller interface","author":"bernhardt","year":"2000","journal-title":"ISATA Autom Transp Technol Simulation and Virtual Reality"},{"key":"ref26","year":"0"},{"key":"ref25","first-page":"192","article-title":"A survey on OLE for process control (OPC)","volume":"7","author":"schwarz","year":"2007","journal-title":"Proc 7th Conf Int Conf Appl Comput Sci"},{"key":"ref50","year":"2003","journal-title":"Programmable ControllerPart 3 Programming Languages"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1049\/PBCE050E"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844428"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2052510"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2004.11.011"},{"key":"ref10","first-page":"43","article-title":"Virtual automation system standards","author":"bernhardt","year":"2004","journal-title":"Proc IFAC Cost Oriented Autom"},{"key":"ref11","year":"2011"},{"key":"ref40","year":"2010"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(98)00117-1"},{"key":"ref13","article-title":"An integrated design, simulation and programming environment for modular manufacturing machine systems","author":"ng","year":"2003","journal-title":"Mechatronics Research Group Faculty of Computing Sciences and Engineering De Montfort University"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2005.08.003"},{"key":"ref15","article-title":"Distributed manufacturing simulation environment","author":"ma","year":"2001","journal-title":"Proc Summer Computer Simulation Conf"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2008.4736071"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1201\/9781482280722","author":"ledin","year":"2001","journal-title":"Simulation Engineering Build Better Embedded Systems Faster"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2008.4677244"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1049\/ir:19970312"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844427"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s12008-009-0065-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2008.4638359"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.7148\/2010-0175-0181"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11740-007-0066-0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CIMCA.2006.118"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1998.745853"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)60125-5"},{"key":"ref46","first-page":"3305","article-title":"PLC-based implementation of supervisory control for discrete event systems","volume":"3","author":"fabian","year":"1998","journal-title":"Proc IEEE Conf Decision Control"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1999.772819"},{"key":"ref48","first-page":"163","article-title":"A distributed system architecture for optimizing control logic in complex manufacturing systems","author":"danielsson","year":"1999","journal-title":"Proc ISCA 12th Int Conf"},{"key":"ref47","first-page":"119","article-title":"A virtual real-time model for control software development—Applied on a sheet-metal press line","author":"svensson","year":"2005","journal-title":"Proc 3rd Int Ind Simulation Conf"},{"key":"ref42","first-page":"142","article-title":"Towards real-time enabled microsoft windows","author":"xiang","year":"2005","journal-title":"Proc 5th ACM Int Conf Embedded Softw"},{"key":"ref41","year":"2010"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184698"},{"key":"ref43","first-page":"10","article-title":"Real-time operating system timing jitter and its impact on motor control","volume":"4563","author":"proctor","year":"2001","journal-title":"Proc SPIE-Int Soc Opt Eng"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/6179486\/06121945.pdf?arnumber=6121945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:52:07Z","timestamp":1633909927000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6121945\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":54,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tii.2011.2182653","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}