{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:00:15Z","timestamp":1762866015176},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/icit.2012.6209928","type":"proceedings-article","created":{"date-parts":[[2012,6,13]],"date-time":"2012-06-13T21:37:32Z","timestamp":1339623452000},"page":"140-147","source":"Crossref","is-referenced-by-count":7,"title":["A customizable and ARINC 653 quasi-compliant hypervisor"],"prefix":"10.1109","author":[{"given":"A.","family":"Tavares","sequence":"first","affiliation":[]},{"given":"A.","family":"Carvalho","sequence":"additional","affiliation":[]},{"given":"P.","family":"Rodrigues","sequence":"additional","affiliation":[]},{"given":"P.","family":"Garcia","sequence":"additional","affiliation":[]},{"given":"T.","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"J.","family":"Cabral","sequence":"additional","affiliation":[]},{"given":"P.","family":"Cardoso","sequence":"additional","affiliation":[]},{"given":"S.","family":"Montenegro","sequence":"additional","affiliation":[]},{"given":"M.","family":"Ekpanyapong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"ARINC 653P1-3 Avionics Application Software Standard Interface Part 1 Required Services","year":"2006","key":"19"},{"journal-title":"VxWorks 653","year":"0","key":"22"},{"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":"23","article-title":"Proteus, a hybrid virtualization platform for embedded systems","author":"baldin","year":"2009","journal-title":"Proceedings of the International Embedded Systems Symposium"},{"key":"18","article-title":"XTRATUM: An open source hypervisor for TSP embedded systems in aerospace","author":"crespo","year":"2009","journal-title":"Eurospace DASIA 2009"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"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"},{"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":"2009","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"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"journal-title":"Architectural Principles for Virtual Computer Systems","year":"1972","author":"goldberg","key":"20"},{"journal-title":"D0-297 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations Requirements and Technical Concepts for Aviation","year":"2005","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/SPACOMM.2009.22"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.Symposia.2008.72"},{"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":"An Overview of Microkernel Hypervisor and Microvisor Virtualization Approaches for Embedded Systems","year":"2110","author":"iqbal","key":"5"},{"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"}],"event":{"name":"2012 IEEE International Conference on Industrial Technology (ICIT 2012)","start":{"date-parts":[[2012,3,19]]},"location":"Athens","end":{"date-parts":[[2012,3,21]]}},"container-title":["2012 IEEE International Conference on Industrial Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6198915\/6209899\/06209928.pdf?arnumber=6209928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T17:48:25Z","timestamp":1490118505000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6209928\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icit.2012.6209928","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}