{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:46Z","timestamp":1750220026233,"version":"3.41.0"},"reference-count":70,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T00:00:00Z","timestamp":1690156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Comunidad de Madrid and the Universidad de Alcal\u00e1","award":["CM\/JIN\/2019-032"],"award-info":[{"award-number":["CM\/JIN\/2019-032"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2023,7,31]]},"abstract":"<jats:p>In recent decades, mixed-criticality systems have been widely adopted to reduce the complexity and development times of real-time critical applications. In these systems, applications run on a separation kernel hypervisor, a software element that controls the execution of the different operating systems, providing a virtualized environment and ensuring the necessary spatial and temporal isolation. The guest code can run unmodified and unaware of the hypervisor or be explicitly modified to have a tight coupling with the hypervisor. The former is known as full virtualization, while the latter is known as para-virtualization. Full virtualization offers better compatibility and flexibility than para-virtualization at the cost of a performance penalty.<\/jats:p>\n          <jats:p>LEON is a processor family that implements the SPARC V8 architecture and whose use is widespread in the field of space systems. To the best of our knowledge, all separation kernel hypervisors designed to support the development of mixed-criticality systems for LEON employ para-virtualization, which hinders the adaptation of real-time operating systems.<\/jats:p>\n          <jats:p>This article presents the design of a Virtualization Monitor that allows guest real-time operating systems to run virtualized on LEON-based systems without needing to modify their source code. It is designed as a stand-alone component within a hypervisor and incorporates a set of techniques such as static binary rewriting, automatic code generation, and the use of operating system profiles. To validate the proposed solution, tests and benchmarks have been implemented for three guest systems, RTEMS, FreeRTOS, and Zephyr, analyzing the overhead introduced in certain situations characteristic of real-time applications. Finally, the same benchmarks have been run on AIR, one of the hypervisors that uses para-virtualization. The results obtained show that the use of the proposed techniques allows us to obtain similar results to those obtained using para-virtualization without the need to modify the source code of the guest real-time operating systems.<\/jats:p>","DOI":"10.1145\/3584702","type":"journal-article","created":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T11:57:40Z","timestamp":1676635060000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors"],"prefix":"10.1145","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4242-8297","authenticated-orcid":false,"given":"Pablo","family":"Parra","sequence":"first","affiliation":[{"name":"Universidad de Alcal\u00e1, Space Research Group, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3737-743X","authenticated-orcid":false,"given":"Antonio","family":"Da Silva","sequence":"additional","affiliation":[{"name":"Universidad de Alcal\u00e1, Space Research Group, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4748-6944","authenticated-orcid":false,"given":"Borja","family":"Losa","sequence":"additional","affiliation":[{"name":"Universidad de Alcal\u00e1, Space Research Group, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1397-5950","authenticated-orcid":false,"given":"J. Ignacio","family":"Garc\u00eda","sequence":"additional","affiliation":[{"name":"Universidad de Alcal\u00e1, Space Research Group, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7893-4247","authenticated-orcid":false,"given":"\u00d3scar R.","family":"Polo","sequence":"additional","affiliation":[{"name":"Universidad de Alcal\u00e1, Space Research Group, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5600-9253","authenticated-orcid":false,"given":"Agust\u00edn","family":"Mart\u00ednez","sequence":"additional","affiliation":[{"name":"Universidad de Alcal\u00e1, Space Research Group, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6729-7932","authenticated-orcid":false,"given":"Sebasti\u00e1n","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"Universidad de Alcal\u00e1, Space Research Group, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,24]]},"reference":[{"issue":"5","key":"e_1_3_1_2_2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/1168917.1168860","article-title":"A comparison of software and hardware techniques for x86 virtualization","volume":"40","author":"Adams Keith","year":"2006","unstructured":"Keith Adams and Ole Agesen. 2006. A comparison of software and hardware techniques for x86 virtualization. Operat. Syst. Rev. 40, 5 (October2006), 2\u201313.","journal-title":"Operat. Syst. Rev."},{"key":"e_1_3_1_3_2","first-page":"373","volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIX ATC\u201912)","author":"Agesen Ole","year":"2012","unstructured":"Ole Agesen, Jim Mattson, Radu Rugina, and Jeffrey Sheldon. 2012. Software techniques for avoiding hardware virtualization exits. In Proceedings of the USENIX Annual Technical Conference (USENIX ATC\u201912). 373\u2013385."},{"key":"e_1_3_1_4_2","first-page":"363","volume-title":"Proceedings of the Linux Symposium","author":"Amsden Zach","year":"2006","unstructured":"Zach Amsden, Daniel Arai, Daniel Hecht, Anne Holler, Pratap Subrahmanyam, et\u00a0al. 2006. VMI: An interface for paravirtualization. In Proceedings of the Linux Symposium. Citeseer, 363\u2013378."},{"key":"e_1_3_1_5_2","volume-title":"Avionics Application Software Standard Interface Part 0\u2014Overview of ARINC 653","author":"Activities ARINC Industry","year":"2019","unstructured":"ARINC Industry Activities. 2019. Avionics Application Software Standard Interface Part 0\u2014Overview of ARINC 653. Technical Report. SAE-ITC."},{"key":"e_1_3_1_6_2","volume-title":"Proceedings of the European Congress on Embedded Real Time Software and Systems (ERTS\u201908)","author":"Armand Fran\u00e7ois","year":"2008","unstructured":"Fran\u00e7ois Armand, Jean Berniolles, Julia L. Lawall, and Gilles Muller. 2008. Automating the porting of linux to the VirtualLogix hypervisor using semantic patches. In Proceedings of the European Congress on Embedded Real Time Software and Systems (ERTS\u201908)."},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346286"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3202434"},{"key":"e_1_3_1_10_2","unstructured":"Jan Bredereke. 2017. A Survey of Time and Space Partitioning for Space Avionics."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/2382553.2382554"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3131347"},{"key":"e_1_3_1_13_2","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/978-3-642-21338-0_9","volume-title":"Proceedings of the Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe\u201911)","author":"Carnevali Laura","year":"2011","unstructured":"Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, and Enrico Vicario. 2011. A formal approach to design and verification of two-level hierarchical scheduling systems. In Proceedings of the Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe\u201911). Springer, Berlin, 118\u2013131."},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.54"},{"key":"e_1_3_1_15_2","first-page":"306","volume-title":"Proceedings of the IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS\u201921)","author":"Casini Daniel","year":"2021","unstructured":"Daniel Casini, Alessandro Biondi, Giorgiomaria Cicero, and Giorgio Buttazzo. 2021. Latency analysis of I\/O virtualization techniques in hypervisor-based real-time systems. In Proceedings of the IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS\u201921). 306\u2013319."},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2021.12.002"},{"volume-title":"BCC User\u2019s Manual","year":"2020","key":"e_1_3_1_17_2","unstructured":"Cobham Gaisler AB 2020. BCC User\u2019s Manual. Cobham Gaisler AB."},{"key":"e_1_3_1_18_2","unstructured":"Cobham Gaisler AB. 2022. GR765 Octa-Core LEON5 SPARC V8 Processor. https:\/\/www.gaisler.com\/index.php\/products\/components\/gr765."},{"key":"e_1_3_1_19_2","volume-title":"GRLIB IP Core User\u2019s Manual","author":"AB Cobham Gaisler","year":"2022","unstructured":"Cobham Gaisler AB. 2022. GRLIB IP Core User\u2019s Manual. Retrieved from https:\/\/www.gaisler.com\/products\/grlib\/grip.pdf."},{"key":"e_1_3_1_20_2","unstructured":"Cobham Gaisler AB. 2022. LEON3 Processor. Retrieved from https:\/\/www.gaisler.com\/index.php\/products\/processors\/leon3."},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2019.100055"},{"key":"e_1_3_1_22_2","first-page":"49","article-title":"Flexible operating system integration in partitioned aerospace systems","author":"Craveiro Joao","year":"2009","unstructured":"Joao Craveiro, Jos\u00e9 Rufino, Tobias Schoofs, and James Windsor. 2009. Flexible operating system integration in partitioned aerospace systems. Act. INForum-Simp. Inf. (2009), 49\u201360.","journal-title":"Act. INForum-Simp. Inf."},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.02004"},{"key":"e_1_3_1_24_2","first-page":"304","volume-title":"Proceedings of the ACM\/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA\u201916)","author":"Dall Christoffer","year":"2016","unstructured":"Christoffer Dall, Shih-Wei Li, Jin Tack Lim, Jason Nieh, and Georgios Koloventzos. 2016. ARM virtualization: Performance and architectural implications. In Proceedings of the ACM\/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA\u201916). 304\u2013316."},{"key":"e_1_3_1_25_2","volume-title":"Proceedings of the 12th Annual Linux Symposium","author":"Dall Christoffer","year":"2010","unstructured":"Christoffer Dall and Jason Nieh. 2010. KVM for ARM. In Proceedings of the 12th Annual Linux Symposium."},{"key":"e_1_3_1_26_2","unstructured":"Al Danial. [n.d.]. cloc: Count Lines of Code. Retrieved December 19 2022 from https:\/\/github.com\/AlDanial\/cloc."},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2020.100238"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.5555\/1250972.1250982"},{"key":"e_1_3_1_29_2","unstructured":"European Space Agency. 2022. GR740: The ESA Next Generation Microprocessor (NGMP). Retrieved from http:\/\/microelectronics.esa.int\/gr740\/index.html."},{"key":"e_1_3_1_30_2","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/978-981-33-4102-9_46","volume-title":"Signal and Information Processing, Networking and Computers","author":"Feng Yanjun","year":"2021","unstructured":"Yanjun Feng, Xiaodong Han, Nan Xu, Jianglei Gong, Lang Le, Chuan Xing, Kaifei Yang, Yakun Wang, Xiao Chen, and Weiyu An. 2021. Development of heterogeneous computing and virtualization in spaceborne IMA During 2010\u20132020. In Signal and Information Processing, Networking and Computers. Springer, Singapore, 374\u2013383."},{"issue":"9","key":"e_1_3_1_31_2","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MAES.2015.150014","article-title":"Integrated modular avionics\u2014Past, present, and future","volume":"30","author":"Gaska Thomas","year":"2015","unstructured":"Thomas Gaska, Chris Watkin, and Yu Chen. 2015. Integrated modular avionics\u2014Past, present, and future. IEEE Aerosp. Electr. Syst. Mag. 30, 9 (September2015), 12\u201323.","journal-title":"IEEE Aerosp. Electr. Syst. Mag."},{"key":"e_1_3_1_32_2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-642-38853-8_27","volume-title":"Embedded Systems: Design, Analysis and Verification","author":"Gilles Katharina","year":"2013","unstructured":"Katharina Gilles, Stefan Groesbrink, Daniel Baldin, and Timo Kerstan. 2013. Proteus hypervisor: Full virtualization and paravirtualization for multi-core embedded systems. In Embedded Systems: Design, Analysis and Verification. Springer, Berlin, 293\u2013305."},{"key":"e_1_3_1_33_2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-642-38853-8_27","volume-title":"Embedded Systems: Design, Analysis and Verification","author":"Gilles Katharina","year":"2013","unstructured":"Katharina Gilles, Stefan Groesbrink, Daniel Baldin, and Timo Kerstan. 2013. Proteus hypervisor: Full virtualization and paravirtualization for multi-core embedded systems. In Embedded Systems: Design, Analysis and Verification, Gunar Schirner, Marcelo G\u00f6tz, Achim Rettberg, Mauro C. Zanella, and Franz J. Rammig (Eds.). Springer, Berlin, 293\u2013305."},{"key":"e_1_3_1_34_2","volume-title":"Architectural Principles for Virtual Computer Systems","author":"Goldberg Robert P.","year":"1973","unstructured":"Robert P. Goldberg. 1973. Architectural Principles for Virtual Computer Systems. Technical Report. Division of Engineering and Applies Physics, Harvard University, Cambridge, MA."},{"key":"e_1_3_1_35_2","volume-title":"Proceedings of the European Workshop on On-Board Data Processing (OBDP\u201919)","author":"Gomes Bruno","year":"2019","unstructured":"Bruno Gomes, Daniel Silveira, Laura Gouveia, and Luis Mendes. 2019. Air hypervisor using RTEMS SMP. In Proceedings of the European Workshop on On-Board Data Processing (OBDP\u201919)."},{"issue":"4","key":"e_1_3_1_36_2","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/2248487.2151020","article-title":"ELI: Bare-metal performance for I\/O virtualization","volume":"47","author":"Gordon Abel","year":"2012","unstructured":"Abel Gordon, Nadav Amit, Nadav Har\u2019El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, and Dan Tsafrir. 2012. ELI: Bare-metal performance for I\/O virtualization. SIGPLAN Not. 47, 4 (March2012), 411\u2013422.","journal-title":"SIGPLAN Not."},{"key":"e_1_3_1_37_2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1851276.1851282","volume-title":"Proceedings of the 1st ACM Asia-Pacific Workshop on Workshop on Systems (APSys\u201910)","author":"Heiser Gernot","year":"2010","unstructured":"Gernot Heiser and Ben Leslie. 2010. The OKL4 microvisor: Convergence point of microkernels and hypervisors. In Proceedings of the 1st ACM Asia-Pacific Workshop on Workshop on Systems (APSys\u201910). Association for Computing Machinery, New York, NY, 19\u201324."},{"key":"e_1_3_1_38_2","volume-title":"Proceedings of the 1st International Workshop on Microkernels for Embedded Systems","volume":"50","author":"Kaiser Robert","year":"2007","unstructured":"Robert Kaiser and Stephan Wagner. 2007. Evolution of the PikeOS microkernel. In Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, Vol. 50."},{"key":"e_1_3_1_39_2","volume-title":"Pre-virtualization: Slashing the Cost of Virtualization","author":"LeVasseur Joshua","year":"2005","unstructured":"Joshua LeVasseur, Volkmar Uhlig, Matthew Chapman, Peter Chubb, Ben Leslie, and Gernot Heiser. 2005. Pre-virtualization: Slashing the Cost of Virtualization. Technical Report. Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe."},{"key":"e_1_3_1_40_2","unstructured":"Linux Foundation. [n.d.]. Xen ARM with Virtualization Extensions Whitepaper. Retrieved December 19 2022 from https:\/\/wiki.xenproject.org\/wiki\/Xen_ARM_with_Virtualization_Extensions_whitepaper."},{"key":"e_1_3_1_41_2","unstructured":"Linux Foundation. [n.d.]. Zephyr Project. Retrieved December 19 2022 from https:\/\/www.zephyrproject.org\/."},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.NG-RES.2020.3"},{"key":"e_1_3_1_43_2","first-page":"263","volume-title":"Proceedings of the 11th Real-Time Linux Workshop","author":"Masmano Miguel","year":"2009","unstructured":"Miguel Masmano, Ismael Ripoll, Alfons Crespo, and J. Metge. 2009. Xtratum: A hypervisor for safety critical embedded systems. In Proceedings of the 11th Real-Time Linux Workshop. Citeseer, 263\u2013272."},{"key":"e_1_3_1_44_2","first-page":"1651","volume-title":"Proceedings of the IEEE International Conference on Industrial Technology (ICIT\u2019)","author":"Modica P.","year":"2018","unstructured":"P. Modica, A. Biondi, G. Buttazzo, and A. Patel. 2018. Supporting temporal and spatial isolation in a hypervisor for ARM multicore platforms. In Proceedings of the IEEE International Conference on Industrial Technology (ICIT\u2019). IEEE, 1651\u20131657."},{"key":"e_1_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1535\/itj.1003.01"},{"key":"e_1_3_1_46_2","unstructured":"OAR Corporation. [n.d.]. RTEMS Real Time Operating System (RTOS). Retrieved December 19 2022 from https:\/\/www.rtems.org."},{"key":"e_1_3_1_47_2","first-page":"682","volume-title":"Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing","author":"Patel Anup","year":"2015","unstructured":"Anup Patel, Mai Daftedar, Mohamed Shalan, and M. Watheq El-Kharashi. 2015. Embedded hypervisor Xvisor: A comparative analysis. In Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. 682\u2013691."},{"key":"e_1_3_1_48_2","first-page":"453","volume-title":"Proceedings of the Euromicro Conference on Digital System Design","author":"Paulitsch M.","year":"2015","unstructured":"M. Paulitsch, O. M. Duarte, H. Karray, K. Mueller, D. Muench, and J. Nowotsch. 2015. Mixed-criticality embedded systems\u2014A balance ensuring partitioning and performance. In Proceedings of the Euromicro Conference on Digital System Design. ieeexplore.ieee.org, 453\u2013461."},{"issue":"3","key":"e_1_3_1_49_2","first-page":"144","article-title":"Formal virtualization requirements for the ARM architecture","volume":"59","author":"Penneman Niels","year":"2013","unstructured":"Niels Penneman, Danielius Kudinskas, Alasdair Rawsthorne, Bjorn De Sutter, and Koen De Bosschere. 2013. Formal virtualization requirements for the ARM architecture. Int. J. High Perform. Syst. Archit. 59, 3 (March2013), 144\u2013154.","journal-title":"Int. J. High Perform. Syst. Archit."},{"key":"e_1_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1145\/3291047"},{"key":"e_1_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1705.06932"},{"key":"e_1_3_1_53_2","unstructured":"Real Time Engineers Ltd. [n.d.]. FreeRTOS. Real-time Operating System for Microcontrollers. Retrieved December 19 2022 from https:\/\/www.freertos.org."},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.176"},{"volume-title":"SAVOIR Onboard Software Reference Architecture","year":"2021","key":"e_1_3_1_55_2","unstructured":"SAVOIR. 2021. SAVOIR Onboard Software Reference Architecture. Technical Report SAVOIR-TN-002. European Space Agency."},{"key":"e_1_3_1_56_2","doi-asserted-by":"publisher","DOI":"10.3390\/electronics10030226"},{"key":"e_1_3_1_57_2","first-page":"855","volume-title":"Proceedings of the IEEE 6th International Conference on Cloud Computing","author":"Smirnov Alexey","year":"2013","unstructured":"Alexey Smirnov, Mikhail Zhidko, Yingshiuan Pan, Po-Jui Tsao, Kuang-Chih Liu, and Tzi-Cker Chiueh. 2013. Evaluation of a server-grade software-only ARM hypervisor. In Proceedings of the IEEE 6th International Conference on Cloud Computing. 855\u2013862."},{"key":"e_1_3_1_58_2","unstructured":"SPARC International Inc.1992. The SPARC Architecture Manual Version 8."},{"key":"e_1_3_1_59_2","unstructured":"SYSGO GmbH. [n.d.]. Pike OS Product Overview. Retrieved December 19 2022 from https:\/\/www.sysgo.com\/fileadmin\/user_upload\/data\/flyers_brochures\/SYSGO_PikeOS_Product_Overview.pdf."},{"key":"e_1_3_1_60_2","unstructured":"The Santa Cruz Operation Inc. 1990. System V: Application Binary Interface SPARC. Retrieved from https:\/\/www.gaisler.com\/doc\/sparc-abi.pdf."},{"issue":"2","key":"e_1_3_1_61_2","first-page":"235","article-title":"Survey on fault detection, isolation, and recovery strategies in the space domain","volume":"12","author":"Tipaldi Massimo","year":"2015","unstructured":"Massimo Tipaldi and Bernhard Bruenjes. 2015. Survey on fault detection, isolation, and recovery strategies in the space domain. J. Aerosp. Inf. Syst. 12, 2 (2015), 235\u2013256.","journal-title":"J. Aerosp. Inf. Syst."},{"key":"e_1_3_1_62_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.163"},{"key":"e_1_3_1_63_2","first-page":"1","volume-title":"Proceedings of the 2nd Asia-Pacific Workshop on Systems (APSys\u201911)","author":"Varanasi Prashant","year":"2011","unstructured":"Prashant Varanasi and Gernot Heiser. 2011. Hardware-supported virtualization on ARM. In Proceedings of the 2nd Asia-Pacific Workshop on Systems (APSys\u201911). Association for Computing Machinery, New York, NY, 1\u20135."},{"key":"e_1_3_1_64_2","doi-asserted-by":"crossref","unstructured":"John Paul Walters Vipin Chaudhary Minsuk Cha Salvatore Guercio and Steve Gallo. 2008. A comparison of virtualization technologies for HPC. (March2008) 861\u2013868.","DOI":"10.1109\/AINA.2008.45"},{"key":"e_1_3_1_65_2","volume-title":"Proceedings of the IEEE\/AIAA 26th Digital Avionics Systems Conference","author":"Watkins Christopher B.","year":"2007","unstructured":"Christopher B. Watkins and Randy Walter. 2007. Transitioning from federated avionics architectures to integrated modular avionics. In Proceedings of the IEEE\/AIAA 26th Digital Avionics Systems Conference. 2.A.1\u20131\u20132.A.1\u201310."},{"key":"e_1_3_1_66_2","doi-asserted-by":"publisher","DOI":"10.1145\/358274.358283"},{"key":"e_1_3_1_67_2","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1145\/844128.844147","article-title":"Scale and performance in the Denali isolation kernel","volume":"36","author":"Whitaker Andrew","year":"2003","unstructured":"Andrew Whitaker, Marianne Shaw, and Steven D. Gribble. 2003. Scale and performance in the Denali isolation kernel. Operat. Syst. Rev. 36, SI (December2003), 195\u2013209.","journal-title":"Operat. Syst. Rev."},{"issue":"11","key":"e_1_3_1_68_2","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MAES.2009.5344176","article-title":"Incremental certification and Integrated Modular Avionics","volume":"24","author":"Wilson A.","year":"2009","unstructured":"A. Wilson and T. Preyssler. 2009. Incremental certification and Integrated Modular Avionics. IEEE Aerosp. Electr. Syst. Mag. 24, 11 (November2009), 10\u201315.","journal-title":"IEEE Aerosp. Electr. Syst. Mag."},{"key":"e_1_3_1_69_2","unstructured":"Wind River. [n.d.]. VxWorks Safety Platforms. Retrieved December 19 2022 from https:\/\/www.windriver.com\/products\/vxworks\/safety-platforms."},{"key":"e_1_3_1_70_2","first-page":"1","volume-title":"Proceedings of the IEEE\/AIAA 30th Digital Avionics Systems Conference","author":"Windsor James","year":"2011","unstructured":"James Windsor. 2011. Integrated modular avionics for spacecraft\u2014User requirements, architecture and role definition. In Proceedings of the IEEE\/AIAA 30th Digital Avionics Systems Conference. 1\u201317."},{"key":"e_1_3_1_71_2","first-page":"367","volume-title":"Proceedings of the International Conference on Internet Computing in Science and Engineering","author":"Zhang Xiantao","year":"2008","unstructured":"Xiantao Zhang and Yaozu Dong. 2008. Optimizing Xen VMM based on Intel virtualization technology. In Proceedings of the International Conference on Internet Computing in Science and Engineering. 367\u2013374."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584702","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3584702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:37Z","timestamp":1750182697000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,24]]},"references-count":70,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,7,31]]}},"alternative-id":["10.1145\/3584702"],"URL":"https:\/\/doi.org\/10.1145\/3584702","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2023,7,24]]},"assertion":[{"value":"2022-09-06","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-02-12","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-07-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}