{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:58:06Z","timestamp":1725681486560},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489728","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Partitioned environment for Programmable Controller in safety applications"],"prefix":"10.1109","author":[{"given":"G.","family":"Karmakar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kabra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. K.","family":"Patil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krithi","family":"Ramamritham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"2","article-title":"Periodic resource model for compositional real-time guarantees","author":"shin","year":"2003","journal-title":"RTSS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2001.929867"},{"key":"15","first-page":"103","article-title":"Partition scheduling in apex runtime environment for embedded avionics software","author":"lee","year":"1998","journal-title":"RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212738"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00028-6"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17226-7_10"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/12.508320"},{"journal-title":"MISRA-C Guidelines for the Use of the C Language in Critical Systems","year":"2004","key":"3"},{"journal-title":"IEC 61131-3 (Ed 2 0) Programmable Controllers Part 3 Programming Languages","year":"2003","key":"2"},{"journal-title":"Verified Compiler CompCert C Version 1 10","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.46"},{"journal-title":"PLCopen","year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021711220939"},{"journal-title":"IEC 61226 (Ed 3 0) Nuclear Power Plants - Instrumentation and Control Important to Safety - Classification of Instrumentation and Control Functions International Electrotechnical Commission 2009","year":"0","key":"5"},{"journal-title":"IEC 60880 (Ed 2 0) Nuclear Power Plants - Instrumentation and Control Important to Safety - Software Aspects for Computer-based Systems Performing Category A Functions","year":"2006","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.36"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRTS.1997.613785"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","start":{"date-parts":[[2012,9,17]]},"location":"Krakow, Poland","end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489728.pdf?arnumber=6489728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T14:32:39Z","timestamp":1490193159000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6489728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489728","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}