{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T00:15:37Z","timestamp":1756167337929,"version":"3.44.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489588","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Rodosvisor \u2014 An ARINC 653 quasi-compliant hypervisor: CPU, memory and I\/O virtualization"],"prefix":"10.1109","author":[{"given":"A.","family":"Tavares","sequence":"first","affiliation":[{"name":"Industrial Electronics Department, Centro Algoritmi, University of Minho"}]},{"given":"A.","family":"D\u00eddimo","sequence":"additional","affiliation":[{"name":"Industrial Electronics Department, Centro Algoritmi, University of Minho"}]},{"given":"T.","family":"Lobo","sequence":"additional","affiliation":[{"name":"Industrial Electronics Department, Centro Algoritmi, University of Minho"}]},{"given":"P.","family":"Cardoso","sequence":"additional","affiliation":[{"name":"Industrial Electronics Department, Centro Algoritmi, University of Minho"}]},{"given":"J.","family":"Cabral","sequence":"additional","affiliation":[{"name":"Industrial Electronics Department, Centro Algoritmi, University of Minho"}]},{"given":"S.","family":"Montenegro","sequence":"additional","affiliation":[{"name":"Aerospace Information Technology Chair, Department of Computer Science, University of Wurzburg"}]}],"member":"263","reference":[{"journal-title":"AEEC","article-title":"Arinc 653p1-3 avionics application software standard interface, part 1, required services","year":"2006","key":"19"},{"key":"17","article-title":"Xluna: A real-time, dependable kernel for embedded systems","author":"beltrame","year":"2010","journal-title":"IP-Based System Design Conference IP-SOC'10"},{"key":"18","article-title":"Xtratum: An open source hypervisor for tsp embedded systems in aerospace","author":"crespo","year":"2009","journal-title":"Eurospace DASIA 2009 Istanbul Turkey"},{"journal-title":"Userspace I\/O Drivers in A Realtime Context","year":"0","author":"koch","key":"33"},{"key":"15","article-title":"Research on system virtualization using xen hypervisor for arm based secure mobile phones","author":"seo","year":"2008","journal-title":"IEEE Consumer Communications & Networking Conference CCNC'08 Las Vegas Nevada"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC.2009.4784876"},{"key":"13","article-title":"Spirit ukernel for strongly partitioned real-time systems","author":"kim","year":"2000","journal-title":"Proceedings of the 7th International Conference on Real-Time Systems and Applications RTCSA '00"},{"journal-title":"PENAR Porting XEN on ARM-based Embedded Systems","year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/11802167_30"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2008.Workshops.62"},{"journal-title":"LynxSecure Embedded Hypervisor and Separation Kernel","year":"0","key":"21"},{"journal-title":"Architectural Principles for Virtual Computer Systems","year":"1972","author":"goldberg","key":"20"},{"journal-title":"VxWorks 653","year":"0","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"journal-title":"Linux Virtualization and PCI Passthrough","year":"0","author":"tim jones","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1534530.1534547"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/GPC.2009.7"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1618525.1618535"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508311"},{"journal-title":"Factorization of Device Driver Code between Kernel and User Spaces","year":"0","author":"balakrishnan","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"journal-title":"DO-297 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations","year":"2005","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.Symposia.2008.72"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/SPACOMM.2009.22"},{"key":"30","article-title":"Microdrivers: A new architecture for device drivers","author":"ganapathy","year":"2007","journal-title":"Proc of the 11th Workshop on Hot Topics in Operating Systems (HotOS XI) San Diego California"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.163"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1147\/rd.255.0483"},{"journal-title":"Linux Kernel Infrastructure for User- Level Device Drivers","year":"2004","author":"chubb","key":"32"},{"journal-title":"An Overview of Microkernel Hypervisor and Microvisor Virtualization App for Embedded Systems","year":"2110","author":"iqbal","key":"5"},{"key":"31","article-title":"Encapsulated user-level device drivers in the mungi operating system","author":"leslie","year":"2004","journal-title":"Proceedings of the Workshop on Object Systems and Software Architectures 2004 Victor Harbor South Australia Australia"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1851276.1851282"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1435458.1435461"},{"key":"8","article-title":"Air technology: A step towards arinc 653 in space","author":"rufino","year":"2009","journal-title":"Eurospace DASIA 2009 Istanbul Turkey"}],"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\/06489588.pdf?arnumber=6489588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:18:17Z","timestamp":1756153097000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6489588\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489588","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}