{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:03:15Z","timestamp":1725789795532},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/rtas.2015.7108435","type":"proceedings-article","created":{"date-parts":[[2015,5,19]],"date-time":"2015-05-19T20:03:54Z","timestamp":1432065834000},"page":"133-144","source":"Crossref","is-referenced-by-count":11,"title":["AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel"],"prefix":"10.1109","author":[{"given":"Alexander","family":"Zuepke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Bommert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Lohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"479","article-title":"Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux","author":"franke","year":"2002","journal-title":"Proceedings of the Ottawa Linux Symposium"},{"key":"ref11","article-title":"Futexes Are Tricky","author":"drepper","year":"2011","journal-title":"White Paper"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593222"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926004"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24658-6_2"},{"key":"ref15","article-title":"PharOS, a multicore OS ready for safety-related automotive systems: results and future prospects","author":"aussagues","year":"2010","journal-title":"Erts"},{"key":"ref16","first-page":"189","article-title":"An embedded hypervisor for safety-relevant automotive EIE-systems","author":"reinhardt","year":"2014","journal-title":"SIES"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1647420.1647435"},{"key":"ref18","article-title":"XtratuM: a Hypervisor for Safety Critical Embedded Systems","author":"masmano","year":"2009","journal-title":"Proceedings of the Eleventh Real-Time Linux Workshop"},{"key":"ref19","article-title":"Evolution of the PikeOS Microkemel","author":"kaiser","year":"2007","journal-title":"MIKES Workshop"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2014.33"},{"journal-title":"AEEC","article-title":"ARINC Specification 653: Avionics Application Software Standard Interface","year":"2010","key":"ref4"},{"key":"ref27","first-page":"215","article-title":"Requeue-PI: Making Glibc Condvars PI-Aware","author":"hart","year":"2009","journal-title":"Proceedings of the Eleventh Real-Time Linux Workshop"},{"journal-title":"Autosar","article-title":"Specification of Operating System","year":"2014","key":"ref3"},{"journal-title":"DaimlerChrysler AG","article-title":"OSEK OS Extensions for Protected Applications","year":"2003","key":"ref6"},{"key":"ref29","article-title":"Deterministic Fast User Space Synchronisation","author":"zuepke","year":"2013","journal-title":"Workshop OSPERT"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.18"},{"key":"ref7","article-title":"Virtual Processors as Kernel Interface","author":"lackorzynski","year":"2010","journal-title":"Twelfth Real-Time Linux Workshop"},{"journal-title":"Radio Technical Commission for Aeronautics","article-title":"DO-178B: Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"ref2"},{"key":"ref9","article-title":"Fast User Space Priority Switching","author":"zuepke","year":"2014","journal-title":"Workshop OSPERT"},{"journal-title":"ISO Norm","article-title":"ISO 26262: Road vehicles - Functional safety","year":"2011","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945462"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522720"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"key":"ref24","first-page":"43","article-title":"Towards scalable multiprocessor virtual machines","author":"uhlig","year":"2004","journal-title":"Proceedings of the 3rd Virtual Machine Research and Technology Symposium"},{"journal-title":"lynuxworks","article-title":"LynxOS RTOS","year":"0","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.2001.990055"},{"year":"0","key":"ref25","article-title":"vDSO - overview of the virtual ELF dynamic shared object"}],"event":{"name":"2015 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2015,4,13]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2015,4,16]]}},"container-title":["21st IEEE Real-Time and Embedded Technology and Applications Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7106274\/7108386\/07108435.pdf?arnumber=7108435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T18:46:09Z","timestamp":1490381169000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7108435\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/rtas.2015.7108435","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}