{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:51:43Z","timestamp":1730220703166,"version":"3.28.0"},"reference-count":47,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/etfa.2016.7733504","type":"proceedings-article","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T21:26:20Z","timestamp":1478553980000},"page":"1-7","source":"Crossref","is-referenced-by-count":5,"title":["Deploying software functionality to manufacturing resources safely at runtime"],"prefix":"10.1109","author":[{"given":"Julius","family":"Pfrommer","sequence":"first","affiliation":[{"name":"Fraunhofer IOSB, Fraunhoferstra\u00dfe 1, 76131 Karlsruhe, Germany"}]},{"given":"Miriam","family":"Schleipen","sequence":"additional","affiliation":[{"name":"Fraunhofer IOSB, Fraunhoferstra\u00dfe 1, 76131 Karlsruhe, Germany"}]},{"given":"Selma","family":"Azaiez","sequence":"additional","affiliation":[{"name":"Lo\u00efc Cudennec, Selma Kchir, Thibaud Tortech, CEA, LIST, Saclay, France"}]},{"given":"Michael","family":"Boc","sequence":"additional","affiliation":[{"name":"Lo\u00efc Cudennec, Selma Kchir, Thibaud Tortech, CEA, LIST, Saclay, France"}]},{"given":"Loic","family":"Cudennec","sequence":"additional","affiliation":[{"name":"Thibaud Tortech\nCEA, LIST, Saclay, France"}]},{"given":"Selma","family":"Kchir","sequence":"additional","affiliation":[{"name":"Thibaud Tortech\nCEA, LIST, Saclay, France"}]},{"given":"Xenia","family":"Klinge","sequence":"additional","affiliation":[{"name":"DFKI Projektb\u00fcro Berlin, Alt-Moabit 91c, 10559, Germany"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1007\/978-3-642-34327-8_16"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1109\/ETFA.2015.7301562"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1016\/j.ifacol.2015.09.708"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/EFTA.2007.4416901"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/SSD.2012.6198127"},{"year":"1998","article-title":"IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety-related systems","key":"ref30"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1145\/2815675.2815692"},{"key":"ref36","article-title":"Torch7: A matlab-like environment for machine learning","author":"collobert","year":"2011","journal-title":"BigLearn NIPS Workshop no EPFL-CONF-192376"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1007\/978-3-540-68899-0"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1002\/(SICI)1097-024X(199606)26:6<635::AID-SPE26>3.0.CO;2-P"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/j.jss.2015.08.026"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1109\/INDIN.2008.4618110"},{"key":"ref11","article-title":"Formal validation of downtimeless system evolution in embedded automation controllers","author":"suender","year":"2011","journal-title":"ACM Trans Embedded Control Syst"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-540-95888-8_4"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1002\/stvr.1470"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/TAIC-PART.2008.9"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/QSIC.2009.50"},{"key":"ref16","first-page":"578","article-title":"Testing bpel with stream x-machine","volume":"1","author":"ma","year":"2008","journal-title":"2008 International Symposium on Information Science and Engineering isise"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/978-3-642-16901-4_11"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/SEFM.2010.30"},{"key":"ref19","first-page":"83","article-title":"Generating test cases specifications for compositions of web services","author":"garcia-fanjul","year":"0","journal-title":"In Proc of WS-MATE"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.3850\/9783981537079_0171"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TSMCC.2010.2059012"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/j.compeleceng.2014.10.016"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/ROBOT.2007.363801","article-title":"Control architecture for robot cells to enable plug&#x2018;n&#x2019;produce","author":"naumann","year":"2007","journal-title":"Robotics and Automation 2007 IEEE InternationalConference on IEEE"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/ETFA.2012.6489654"},{"year":"1992","journal-title":"International Electrotechnical Commission","article-title":"IEC 61131: Programmable controllers","key":"ref29"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1108\/01445151211212280"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/1047659.1040321"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/INDUSCON.2010.5739892"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/S0007-8506(07)62883-2"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-540-74481-8_31"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.5220\/0005573804380443"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1007\/978-3-642-37377-0_11"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/ICWS.2009.42"},{"key":"ref45","article-title":"Object memory modeling w3c incubator group report","author":"kr\u00f6ner","year":"2011","journal-title":"Worldwide Web Consortium Tech Rep"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/VALID.2010.12"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1515\/auto-2014-1157"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/ICWS.2010.100"},{"key":"ref42","article-title":"Concurrency attacks","author":"yang","year":"2012","journal-title":"Presented as part of the 4th USENIX Workshop on Hot Topics in Parallelism"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/SURV.2014.012214.00180"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1007\/978-3-642-33826-7_16"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-540-95888-8_5"},{"key":"ref44","first-page":"1","article-title":"OpenQoS: An OpenFlow controller design for multimedia delivery with end-to-end Quality of Service over Software-Defined Networks","author":"egilmez","year":"2012","journal-title":"Proceedings of The 2012 Asia Pacific Signal and Information Processing Association Annual Summit and Conference APSIPA ASC"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/INDIN.2013.6622890"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1016\/j.procs.2014.10.036"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/1355734.1355746"}],"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\/07733504.pdf?arnumber=7733504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T07:10:02Z","timestamp":1623136202000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7733504\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/etfa.2016.7733504","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}