{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T07:29:07Z","timestamp":1787642947723,"version":"build-2736575974"},"reference-count":247,"publisher":"Association for Computing Machinery (ACM)","issue":"4","funder":[{"name":"European Research Council","award":["101082622"],"award-info":[{"award-number":["101082622"]}]},{"DOI":"10.13039\/501100004837","name":"Spanish Ministry of Science and Innovation","doi-asserted-by":"crossref","award":["PID2019-107255GB-C21, PID2021-124502OB-C41, PLEC2021-007609, MICIU\/AEI\/10.13039\/501100011033"],"award-info":[{"award-number":["PID2019-107255GB-C21, PID2021-124502OB-C41, PLEC2021-007609, MICIU\/AEI\/10.13039\/501100011033"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"crossref"}]},{"name":"\u201cEuropean Union NextGenerationEU\/PRTR\u201d"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2026,3,31]]},"abstract":"<jats:p>Next-generation transportation and industrial systems are characterized by a continuously increasing number of integrated software functionalities and computational performance requirements. Nevertheless, there is also a need to reduce the cost, number, size, power consumption, volume and weight of integrated dependable embedded systems. In this context, virtualization technology enables the reconciliation of these challenges supporting the integration of multiple software functionalities of mixed-criticality (real-time and non-real-time, safety and non-safety-related) on a single computing device. This survey provides an overview of virtualization solutions (hypervisors, microkernels, and separation kernels) and categorizes research contributions addressing virtualization, real-time, dependability, and domain-specific technological challenges.<\/jats:p>","DOI":"10.1145\/3765736","type":"journal-article","created":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T07:23:05Z","timestamp":1757748185000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Virtualization Technology for Dependable Embedded Systems: A Survey for Transportation and Industrial Domains"],"prefix":"10.1145","volume":"58","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6389-648X","authenticated-orcid":false,"given":"Jon","family":"Perez-Cerrolaza","sequence":"first","affiliation":[{"name":"Dependable Embedded Systems, Ikerlan Technological Research Centre","place":["Arrasate-Mondragon, Spain"]},{"name":"Basque Research and Technology Alliance (BRTA)","place":["Arrasate-Mondragon, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9458-4083","authenticated-orcid":false,"given":"Patricia","family":"Balbastre","sequence":"additional","affiliation":[{"name":"Instituto AI2, Universitat Polit\u00e8cnica de Val\u00e8ncia","place":["Valencia, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1886-2931","authenticated-orcid":false,"given":"Enrico","family":"Mezzetti","sequence":"additional","affiliation":[{"name":"Computer Science, Barcelona Supercomputing Center (BSC)","place":["Barcelona, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6606-7406","authenticated-orcid":false,"given":"Alfons","family":"Crespo","sequence":"additional","affiliation":[{"name":"Dpto. de Inform\u00e1tica de Sistemas y Computadores, Universitat Polit\u00e9cnica de Val\u00e9ncia","place":["Valencia, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6473-6944","authenticated-orcid":false,"given":"Jon","family":"Gonz\u00e1lez Eguiluz","sequence":"additional","affiliation":[{"name":"Clue Technologies","place":["Madrid, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1466-0277","authenticated-orcid":false,"given":"Miguel","family":"Martin Acosta","sequence":"additional","affiliation":[{"name":"Airbus Defence and Space SA","place":["Getafe, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9092-9379","authenticated-orcid":false,"given":"Charles-Alexis","family":"Lefebvre","sequence":"additional","affiliation":[{"name":"Ikerlan Technological Research Centre","place":["Arrasate-Mondragon, Spain"]},{"name":"Basque Research and Technology Alliance (BRTA)","place":["Arrasate-Mondragon, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,11,11]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"2005. RTCA DO-297. Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations. (2005)."},{"key":"e_1_3_2_3_2","unstructured":"2021. PikeOS product overview.Retrieved from https:\/\/www.sysgo.com\/fileadmin\/user_upload\/data\/flyers_brochures\/SYSGO_PikeOS_Product_Overview.pdf. (2021). [Online; accessed 29-October-2021]."},{"key":"e_1_3_2_4_2","unstructured":"2021. White paper: Solving Multicore Interference for Safety Critical Applications. Retrieved from https:\/\/www.ghs.com\/download\/whitepapers\/GHS_multicore_interference.pdf. (2021)."},{"key":"e_1_3_2_5_2","unstructured":"2022. COQOS. Retrieved from https:\/\/www.opensynergy.com\/automotive-hypervisor\/. (2022). [Online; accessed 11-October-2022]."},{"key":"e_1_3_2_6_2","unstructured":"2022. Kernel Virtual Machine (KVM). Retrieved from https:\/\/www.linux-kvm.org\/. (2022). [Online; accessed 11-October-2022]."},{"key":"e_1_3_2_7_2","unstructured":"2022. LWHVR product overview. Retrieved from https:\/\/www.etas.com\/en\/products\/rta-lwhvr.php. (2022). [Online; accessed 11-Oct.-2022]."},{"key":"e_1_3_2_8_2","unstructured":"2022. RTS Hypervisor. Retrieved from https:\/\/www.real-time-systems.com\/products\/rts-hypervisor.html. (2022). [Online; accessed 18-October-2022]."},{"key":"e_1_3_2_9_2","unstructured":"2022. Trusted Software for Embedded. Retrieved from https:\/\/www.ghs.com\/products.html. (2022). [Online; accessed 2-November-2022]."},{"key":"e_1_3_2_10_2","unstructured":"2023. EB corbos hypervisor. Retrieved from https:\/\/www.elektrobit.com. (2023). [Online; accessed 15-February-2023]."},{"key":"e_1_3_2_11_2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-642-40184-8_3","volume-title":"CONCUR 2013\u2014Concurrency Theory","author":"Abel Andreas","year":"2013","unstructured":"Andreas Abel et\u00a0al. 2013. Impact of resource sharing on performance and performance prediction: A survey. In CONCUR 2013\u2014Concurrency Theory. Springer Berlin, Berlin, 25\u201343."},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185039"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101709"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/CIT\/IUCC\/DASC\/PICOM.2015.268"},{"key":"e_1_3_2_15_2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-15057-9_3","volume-title":"Third Internat. Conf. on Verified Software: Theories, Tools, Experiments (VSTTE)","author":"Alkassar Eyad","year":"2010","unstructured":"Eyad Alkassar et\u00a0al. 2010. Automated verification of a small hypervisor. In Third Internat. Conf. on Verified Software: Theories, Tools, Experiments (VSTTE), Vol. LNCS 6217. Springer-Verlag, 40\u201354."},{"issue":"11","key":"e_1_3_2_16_2","doi-asserted-by":"crossref","first-page":"3322","DOI":"10.3390\/en14113322","article-title":"Evaluating latency in multiprocessing embedded systems for the smart grid","volume":"14","author":"Alonso Sara","year":"2021","unstructured":"Sara Alonso, Jes\u00fas L\u00e1zaro, Jaime Jim\u00e9nez, Unai Bidarte, and Leire Muguira. 2021. Evaluating latency in multiprocessing embedded systems for the smart grid. Energies 14, 11 (2021), 3322.","journal-title":"Energies"},{"key":"e_1_3_2_17_2","volume-title":"Avionics Application Software Standard Interface (ARINC-653)","year":"1996","unstructured":"ARINC 1996. Avionics Application Software Standard Interface (ARINC-653). ARINC. Airlines electronic Eng. committee."},{"key":"e_1_3_2_18_2","volume-title":"ARM CoreLink QoS-400 Network Interconnect Advanced Quality of Service Supplement to ARM CoreLink NIC-400 Network Interconnect Technical Reference Manual","year":"2017","unstructured":"Arm. 2017. ARM CoreLink QoS-400 Network Interconnect Advanced Quality of Service Supplement to ARM CoreLink NIC-400 Network Interconnect Technical Reference Manual."},{"key":"e_1_3_2_19_2","volume-title":"ARM CoreLink QVN-400 Network Interconnect Advanced Quality of Service using Virtual Networks Supplement to ARM CoreLink NIC-400 Network Interconnect Technical Reference Manual","year":"2017","unstructured":"Arm. 2017. ARM CoreLink QVN-400 Network Interconnect Advanced Quality of Service using Virtual Networks Supplement to ARM CoreLink NIC-400 Network Interconnect Technical Reference Manual."},{"key":"e_1_3_2_20_2","unstructured":"ARM. 2022. Architecture Reference Manual Supplement Memory System Resource Partitioning and Monitoring (MPAM) for A-profile architecture. (2022). ARM DDI 0598D.a (ID042622)."},{"key":"e_1_3_2_21_2","first-page":"1","volume-title":"6th IEEE Consumer Communications and Networking Conf.","author":"Armand Fran\u00e7ois","year":"2009","unstructured":"Fran\u00e7ois Armand and Michel Gien. 2009. A practical look at micro-kernels and virtual machine monitors. In 6th IEEE Consumer Communications and Networking Conf.IEEE, 1\u20137."},{"key":"e_1_3_2_22_2","first-page":"11","volume-title":"IEEE Trans. on Dependable and Secure Comput.","author":"Avi\u017eienis A.","year":"2004","unstructured":"A. Avi\u017eienis, J. C. Laprie, B. Randell, and C. Landwehr. 2004. Basic concepts and taxonomy of dependable and secure computing. In IEEE Trans. on Dependable and Secure Comput., Vol. 1. 11\u201333."},{"key":"e_1_3_2_23_2","unstructured":"Ayoosh Bansal Rohan Tabish Giovani Gracioli Renato Mancuso Rodolfo Pellizzoni and Marco Caccamo. 2018. Evaluating memory subsystem of configurable heterogeneous MPSoC. (2018). Retrieved from https:\/\/open.bu.edu\/handle\/2144\/37758"},{"issue":"5","key":"e_1_3_2_24_2","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/1165389.945462","article-title":"Xen and the art of virtualization","volume":"37","author":"Barham Paul","year":"2003","unstructured":"Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. 2003. Xen and the art of virtualization. ACM SIGOPS Operating Systems Review 37, 5 (2003), 164\u2013177.","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"e_1_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Gilles Barthe Gustavo Betarte Juan Diego Campo and Carlos Luna. 2011. Formally verifying isolation and availability in an idealized model of virtualization(FM 2011: Formal Methods). Springer Berlin 231\u2013245.","DOI":"10.1007\/978-3-642-21437-0_19"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2019.04.022"},{"key":"e_1_3_2_27_2","series-title":"Lecture Notes in Computer Science (LNCS)","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-642-04468-7_16","volume-title":"Formal Verification of a Microkernel Used in Dependable Software Systems","author":"Baumann Christoph","year":"2009","unstructured":"Christoph Baumann et\u00a0al. 2009. Formal Verification of a Microkernel Used in Dependable Software Systems. Lecture Notes in Computer Science (LNCS), Vol. LNCS 5775. Springer, Berlin \/ Heidelberg, 187\u2013200. DOI:10.1007\/978-3-642-04468-7_16"},{"key":"e_1_3_2_28_2","volume-title":"1st Internat. Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS)","author":"Baumann Christoph","year":"2011","unstructured":"Christoph Baumann et\u00a0al. 2011. Proving memory separation in a microkernel by code level verification. In 1st Internat. Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS)."},{"key":"e_1_3_2_29_2","first-page":"357","volume-title":"IEEE Real-Time and Embedded Technology and Applications Symp. (RTAS)","author":"Bechtel Michael","year":"2019","unstructured":"Michael Bechtel and Heechul Yun. 2019. Denial-of-service attacks on shared cache in multicore: Analysis and prevention. In IEEE Real-Time and Embedded Technology and Applications Symp. (RTAS). 357\u2013367."},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593222"},{"key":"e_1_3_2_31_2","first-page":"1","volume-title":"52nd ACM\/EDAC\/IEEE Design Automation Conf. (DAC)","author":"Beckert Matthias","year":"2015","unstructured":"Matthias Beckert and Rolf Ernst. 2015. Designing time partitions for real-time hypervisor with sufficient temporal independence. In 52nd ACM\/EDAC\/IEEE Design Automation Conf. (DAC). IEEE, 1\u20136."},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/HOST54066.2022.9840063"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA52859.2021.00017"},{"key":"e_1_3_2_34_2","first-page":"9","volume-title":"The Ottawa Linux Symp.","author":"Ben-Yehuda Muli","year":"2007","unstructured":"Muli Ben-Yehuda, Jimi Xenidis, Michal Ostrowski, Karl Rister, Alexis Bruemmer, and Leendert Van Doorn. 2007. The price of safety: Evaluating IOMMU performance. In The Ottawa Linux Symp.9\u201320."},{"issue":"4","key":"e_1_3_2_35_2","article-title":"Modelling and formally verifying Intel VT-x: Hardware assistance for processors running virtualization platforms","volume":"8","author":"Bhushan Ram Chandra","year":"2019","unstructured":"Ram Chandra Bhushan and Dharmendra K. Yadav. 2019. Modelling and formally verifying Intel VT-x: Hardware assistance for processors running virtualization platforms. International Journal of Engineering and Advanced Technology (IJEAT) 8, 4 (2019), 241\u2013247.","journal-title":"International Journal of Engineering and Advanced Technology (IJEAT)"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2020.03.183"},{"key":"e_1_3_2_37_2","first-page":"1175","volume-title":"Design, Automation & Test in Europe Conf. & Exhibition (DATE)","author":"Bijlsma Tjerk","year":"2020","unstructured":"Tjerk Bijlsma et\u00a0al. 2020. A distributed safety mechanism using middleware and hypervisors for autonomous vehicles. In Design, Automation & Test in Europe Conf. & Exhibition (DATE). IEEE, 1175\u20131180."},{"key":"e_1_3_2_38_2","first-page":"59","volume-title":"IEEE 15th Int. Conf. on Industrial Informatics (INDIN)","author":"Bilbao Ainara","year":"2017","unstructured":"Ainara Bilbao et\u00a0al. 2017. A railway safety and security concept for low-power mixed-criticality systems. In IEEE 15th Int. Conf. on Industrial Informatics (INDIN). 59\u201364."},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3080842"},{"key":"e_1_3_2_40_2","first-page":"1","volume-title":"Proceedings of Embedded World Conf.","author":"Biondi Alessandro","year":"2018","unstructured":"Alessandro Biondi, Mauro Marinoni, Giorgio Buttazzo, Claudio Scordino, and Paolo Gai. 2018. Challenges in virtualizing safety-critical cyber-physical systems. In Proceedings of Embedded World Conf.1\u20135."},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.38"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3202434"},{"key":"e_1_3_2_43_2","doi-asserted-by":"crossref","unstructured":"Andrew Boyton et\u00a0al. 2013. Formally verified system initialisation(Formal Methods and Software Engineering). Springer Berlin 70\u201385.","DOI":"10.1007\/978-3-642-41202-8_6"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2016.84"},{"key":"e_1_3_2_45_2","first-page":"1","volume-title":"10th Mediterranean Conf. on Embedded Computing (MECO)","author":"Caforio Flavia","year":"2021","unstructured":"Flavia Caforio, Pierpaolo Iannicelli, Michele Paolino, and Daniel Raho. 2021. VOSySmonitoRV: A mixed-criticality solution on Linux-capable RISC-V platforms. In 10th Mediterranean Conf. on Embedded Computing (MECO). IEEE, 1\u20134."},{"key":"e_1_3_2_46_2","first-page":"44","volume-title":"IEEE 25th Internat. Symp. on Defect and Fault Tolerance in VLSI Systems","author":"Campagna Salvatore","year":"2010","unstructured":"Salvatore Campagna et\u00a0al. 2010. Hypervisor-based virtual hardware for fault tolerance in COTS processors targeting space applications. In IEEE 25th Internat. Symp. on Defect and Fault Tolerance in VLSI Systems. IEEE, 44\u201351."},{"issue":"2","key":"e_1_3_2_47_2","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/2668138.2668142","article-title":"XtratuM hypervisor redesign for LEON4 multicore processor","volume":"11","author":"Carrascosa Elena","year":"2014","unstructured":"Elena Carrascosa, Javier Coronel, Miguel Masmano, Patricia Balbastre, and Alfons Crespo. 2014. XtratuM hypervisor redesign for LEON4 multicore processor. ACM SIGBED Review 11, 2 (2014), 27\u201331.","journal-title":"ACM SIGBED Review"},{"key":"e_1_3_2_48_2","first-page":"27","volume-title":"Data Systems In Aerospace (DASIA)","author":"Carrascosa E.","year":"2014","unstructured":"E. Carrascosa, M. Masmano, P. Balbastre, A. Crespo, and J. Galizzi. 2014. Multicore software architectures on virtualized partitioned systems. In Data Systems In Aerospace (DASIA), L. Ouwehand (Ed.), Vol. 725. 27. Retrieved fromhttps:\/\/ui.adsabs.harvard.edu\/abs\/2014ESASP.725E..27C"},{"key":"e_1_3_2_49_2","first-page":"4784","volume-title":"IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society","author":"Carvalho A.","year":"2016","unstructured":"A. Carvalho et\u00a0al. 2016. Full virtualization on low-end hardware: A case study. In IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society. 4784\u20134789. DOI:10.1109\/IECON.2016.7794064"},{"key":"e_1_3_2_50_2","volume-title":"Proc. IEEE Real-Time Embedded Technol. Appl. Symp.(RTAS)","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 Proc. IEEE Real-Time Embedded Technol. Appl. Symp.(RTAS)."},{"key":"e_1_3_2_51_2","first-page":"306","volume-title":"RTAS","author":"Casini Daniel","year":"2021","unstructured":"Daniel Casini, Alessandro Biondi, Giorgiomaria Cicero, and Giorgio C. Buttazzo. 2021. Latency analysis of I\/O virtualization techniques in hypervisor-based real-time systems. In RTAS. IEEE, 306\u2013319."},{"key":"e_1_3_2_52_2","volume-title":"The Definitive Guide to the Xen Hypervisor","author":"Chisnall David","year":"2013","unstructured":"David Chisnall. 2013. The Definitive Guide to the Xen Hypervisor. Prentice Hall Press."},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2021.12.002"},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W54100.2022.00012"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2017.03.004"},{"issue":"3","key":"e_1_3_2_56_2","doi-asserted-by":"crossref","first-page":"12261","DOI":"10.3182\/20140824-6-ZA-1003.02004","article-title":"Mixed criticality in control systems","volume":"47","author":"Crespo Alfons","year":"2014","unstructured":"Alfons Crespo, Alejandro Alonso, Marga Marcos, A Juan, and Patricia Balbastre. 2014. Mixed criticality in control systems. IFAC Proceedings Volumes 47, 3 (2014), 12261\u201312271.","journal-title":"IFAC Proceedings Volumes"},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.02410"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.18"},{"key":"e_1_3_2_59_2","volume-title":"Data Systems In Aerospace (DASIA)","author":"Crespo Alfons","year":"2009","unstructured":"Alfons Crespo, I. Ripoll, M. Masmano, P. Arberet, and J. J. Metge. 2009. XtratuM: An open source hypervisor for TSP embedded systems in aerospace. In Data Systems In Aerospace (DASIA)."},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.118"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/3273982.3273987"},{"key":"e_1_3_2_62_2","first-page":"604","volume-title":"IEEE 43rd Annual Computer Software and Applications Conf. (COMPSAC)","author":"Danielsson Jakob","year":"2019","unstructured":"Jakob Danielsson, Tiberiu Seceleanu, Marcus J\u00e4gemar, Moris Behnam, and Mikael Sj\u00f6din. 2019. Testing performance-isolation in multi-core systems. In IEEE 43rd Annual Computer Software and Applications Conf. (COMPSAC), Vol. 1. 604\u2013609."},{"key":"e_1_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.24"},{"key":"e_1_3_2_64_2","first-page":"987","volume-title":"Design, Automation & Test in Europe Conf. & Exhibition (DATE)","author":"Dasari Dakshina","year":"2020","unstructured":"Dakshina Dasari et\u00a0al. 2020. Applying Reservation-based Scheduling to a \\(\\mu\\) C-based Hypervisor: An industrial case study. In Design, Automation & Test in Europe Conf. & Exhibition (DATE). 987\u2013990."},{"key":"e_1_3_2_65_2","unstructured":"DDC-I. 2022. Deos a time and space partitioned multi-core enabled RTOS verified to DO-178C ED-12C DAL A. (2022). Retrieved from https:\/\/www.ddci.com\/products_deos_do_178c_arinc_653\/"},{"key":"e_1_3_2_66_2","article-title":"Performance profiling in a virtualized environment","author":"Du Jiaqing","year":"2010","unstructured":"Jiaqing Du, Nipun Sehrawat, and Willy Zwaenepoel. 2010. Performance profiling in a virtualized environment. 2nd USENIX Workshop on Hot Topics in Cloud Computing.","journal-title":"2nd USENIX Workshop on Hot Topics in Cloud Computing"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1109\/MCSoC.2019.00058"},{"key":"e_1_3_2_68_2","volume-title":"Standard ECSS-E-40: Space Software: Engineering","year":"2013","unstructured":"ECSS. 2013. Standard ECSS-E-40: Space Software: Engineering. Technical Report. ECSS."},{"key":"e_1_3_2_69_2","volume-title":"Evaluation of a Multiple-Criticality Real-Time Virtual Machine System and Configuration of an RTOS\u2019s Resources Allocation Techniques","author":"Aichouc Mohamed El Mehdi","year":"2014","unstructured":"Mohamed El Mehdi Aichouc. 2014. Evaluation of a Multiple-Criticality Real-Time Virtual Machine System and Configuration of an RTOS\u2019s Resources Allocation Techniques. Thesis. Retrieved from https:\/\/theses.hal.science\/tel-01127450\/document"},{"key":"e_1_3_2_70_2","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2016.7483340"},{"key":"e_1_3_2_71_2","volume-title":"EASA Artificial Intelligence Roadmap 2.0","author":"(EASA) European Union Aviation Safety Agency","year":"2023","unstructured":"European Union Aviation Safety Agency (EASA). 2023. EASA Artificial Intelligence Roadmap 2.0. Technical Report."},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2000.897288"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/DCFTS.1999.814288"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2017.05.016"},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSA.2013.137"},{"key":"e_1_3_2_76_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00014"},{"key":"e_1_3_2_77_2","volume-title":"15th Internat. Congress on Electronic Systems for Motor Vehicles","author":"Gerlach Matthias","year":"2011","unstructured":"Matthias Gerlach, Stephan Weissleder, and Robert Hilbrich. 2011. Benefits of reusing avionics components for ISO 26262 developments in cars. In 15th Internat. Congress on Electronic Systems for Motor Vehicles."},{"key":"e_1_3_2_78_2","first-page":"344","volume-title":"ICCD","author":"Giesen Jeremy","year":"2021","unstructured":"Jeremy Giesen, Enrico Mezzetti, Jaume Abella, and Francisco J. Cazorla. 2021. PRL: Standardizing performance monitoring library for high-integrity real-time systems. In ICCD. IEEE, 344\u2013348."},{"key":"e_1_3_2_79_2","first-page":"293","volume-title":"Internat. Embedded Systems Symp.","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 Internat. Embedded Systems Symp.Springer, 293\u2013305."},{"key":"e_1_3_2_80_2","unstructured":"GMV. 2023. AIR User Manual. Retrieved from https:\/\/gmvdrive.gmv.com\/index.php\/s\/eScXCAybbecmT9b. (2023). Accessed: 2023-05-09."},{"key":"e_1_3_2_81_2","first-page":"157","article-title":"A hypervisor based platform to support real-time safety critical embedded java applications","volume":"28","author":"Gonz\u00e1lez Apolinar","year":"2013","unstructured":"Apolinar Gonz\u00e1lez et\u00a0al. 2013. A hypervisor based platform to support real-time safety critical embedded java applications. Computer Systems Science and Engineering 28 (2013), 157\u2013168.","journal-title":"Computer Systems Science and Engineering"},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2012.54033"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1109\/CAC53003.2021.9727287"},{"key":"e_1_3_2_84_2","volume-title":"European Congress of Embedded Real Time Software and Systems","author":"Hamelin Etienne","year":"2020","unstructured":"Etienne Hamelin, M. Ait Hmid, Amine Naji, and Yves Mouafo-Tchinda. 2020. Selection and evaluation of an embedded hypervisor: Application to an automotive platform. In European Congress of Embedded Real Time Software and Systems."},{"key":"e_1_3_2_85_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.09.027"},{"key":"e_1_3_2_86_2","volume-title":"Distributed Real-Time Architecture for Mixed-Criticality Systems","author":"Hamidreza Ahmadian","year":"2018","unstructured":"Ahmadian Hamidreza, Roman Obermaisser, and Jon Perez. 2018. Distributed Real-Time Architecture for Mixed-Criticality Systems. CRC Press."},{"key":"e_1_3_2_87_2","doi-asserted-by":"crossref","unstructured":"David Haworth. 2012. An AUTOSAR-compatible microkernel for systems with safety-relevant components(Herausforderungen durch Echtzeitbetrieb). Springer Berlin 11\u201320.","DOI":"10.1007\/978-3-642-24658-6_2"},{"key":"e_1_3_2_88_2","volume-title":"Automotive - Safety & Security","author":"Haworth David","year":"2012","unstructured":"David Haworth, Tobias Jordan, Alexander Mattausch, and Alexander Much. 2012. Freedom from interference for AUTOSAR-based ECUs: A partitioned AUTOSAR stack. In Automotive - Safety & Security."},{"key":"e_1_3_2_89_2","unstructured":"Gernot Heiser. 2020. The seL4 Microkernel - An Introduction. Retrieved from https:\/\/sel4.systems\/About\/seL4-whitepaper.pdf. (2020). [Online; accessed 10-January-2023]."},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","DOI":"10.1145\/1851276.1851282"},{"key":"e_1_3_2_91_2","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2012.41"},{"key":"e_1_3_2_92_2","first-page":"370","volume-title":"23rd Euromicro Conf. on Digital System Design (DSD)","author":"Hernandez Carles","year":"2020","unstructured":"Carles Hernandez et\u00a0al. 2020. SELENE: Self-monitored dependable platform for high-performance safety-critical systems. In 23rd Euromicro Conf. on Digital System Design (DSD). IEEE, 370\u2013377."},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.1515\/9783110443905-069"},{"key":"e_1_3_2_94_2","unstructured":"IEC 2010. IEC 61508(-1\/7): Functional safety of electrical\/electronic\/programmable electronic safety-related systems. (2010)."},{"key":"e_1_3_2_95_2","unstructured":"Intel. 2019. Intel Resource Director Technology (Intel RDT) on 2nd Generation Intel Xeon Scalable Processors Reference Manual Rev. 1.0. (2019)."},{"key":"e_1_3_2_96_2","article-title":"Profile Targets in the Hyper-V* Environment","year":"2022","unstructured":"Intel. 2022. Profile Targets in the Hyper-V* Environment. Retrieved from https:\/\/www.intel.com\/content\/www\/us\/en\/develop\/documentation\/vtune-help\/top\/set-up-analysis-target\/on-virtual-machine\/profiling-on-hyper-v.html. (2022).","journal-title":"R"},{"key":"e_1_3_2_97_2","unstructured":"ISO 2018. ISO 26262(-1\/11) Road vehicles - Functional safety. (2018)."},{"key":"e_1_3_2_98_2","first-page":"108","volume-title":"Architecture of Computing Systems (ARCS)","author":"Jablkowski Boguslaw","year":"2015","unstructured":"Boguslaw Jablkowski and Olaf Spinczyk. 2015. CPS-Xen: A virtual execution environment for cyber-physical applications. In Architecture of Computing Systems (ARCS). 108\u2013119."},{"key":"e_1_3_2_99_2","article-title":"What\u2019s the Difference Between an Embedded Hypervisor and Separation Microkernel with Virtualization?","author":"Jaenicke Richard","year":"2020","unstructured":"Richard Jaenicke. 2020. What\u2019s the Difference Between an Embedded Hypervisor and Separation Microkernel with Virtualization? Electronic Design (February2020).","journal-title":"Electronic Design"},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586156"},{"key":"e_1_3_2_101_2","first-page":"5:1\u20135:21","volume-title":"29th Euromicro Conference on Real-Time Systems (ECRTS) (Leibniz International Proceedings in Informatics (LIPIcs))","volume":"76","author":"Jiang Zhe","year":"2017","unstructured":"Zhe Jiang and Neil Audsley. 2017. VCDC: The virtualized complicated device controller. In 29th Euromicro Conference on Real-Time Systems (ECRTS) (Leibniz International Proceedings in Informatics (LIPIcs)), Vol. 76. 5:1\u20135:21."},{"key":"e_1_3_2_102_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS46320.2019.00037"},{"key":"e_1_3_2_103_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00013"},{"key":"e_1_3_2_104_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2021.3125226"},{"issue":"3","key":"e_1_3_2_105_2","article-title":"A survey on virtualization and hypervisor-based technology in cloud computing environment","volume":"12","author":"Jingare Payal","year":"2021","unstructured":"Payal Jingare and Priyanka Sorte. 2021. A survey on virtualization and hypervisor-based technology in cloud computing environment. Internat. Journal of Scientific & Engineering Research 12, 3 (2021).","journal-title":"Internat. Journal of Scientific & Engineering Research"},{"key":"e_1_3_2_106_2","first-page":"6C5\u20131\u20136C5\u20139","volume-title":"IEEE\/AIAA 31st Digital Avionics Systems Conf. (DASC)","author":"Joe Hyunwoo","year":"2012","unstructured":"Hyunwoo Joe, Hyeona Jeong, Youngil Yoon, Hyungshin Kim, Sanghyun Han, and Hyun-Wook Jin. 2012. Full virtualizing micro hypervisor for spacecraft flight computer. In IEEE\/AIAA 31st Digital Avionics Systems Conf. (DASC). IEEE, 6C5\u20131\u20136C5\u20139."},{"key":"e_1_3_2_107_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.28"},{"key":"e_1_3_2_108_2","doi-asserted-by":"publisher","DOI":"10.1145\/1435458.1435460"},{"key":"e_1_3_2_109_2","volume-title":"First Internat. Workshop on MicroKernels for Embedded Systems. (MIKES)","author":"Kaiser Robert","year":"2007","unstructured":"Robert Kaiser and Stephan Wagner. 2007. Evolution of the PikeOS Microkernel. In First Internat. Workshop on MicroKernels for Embedded Systems. (MIKES). Sydney, Australia."},{"key":"e_1_3_2_110_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSSR.2016.025"},{"key":"e_1_3_2_111_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE-Berlin.2018.8576222"},{"key":"e_1_3_2_112_2","unstructured":"SooYoung Kim Hyunwoo Joe Dongwook Kang Jin-Ah Shin Vincent Dupre Taeho Kim and Chaedeok Lim. Device dedication in virtualized embedded systems(Advances in Computer Science and Ubiquitous Computing). Springer Singapore 295\u2013299."},{"issue":"4","key":"e_1_3_2_113_2","first-page":"177","article-title":"Overhead analysis of XtratuM for space in SMP environment","volume":"15","author":"Kim Sun-Wook","year":"2020","unstructured":"Sun-Wook Kim, Bum-Soo Yoo, Jae-Yeop Jeong, and Jong-Wook Choi. 2020. Overhead analysis of XtratuM for space in SMP environment. IEMEK Journal of Embedded Systems and Applications 15, 4 (2020), 177\u2013187.","journal-title":"IEMEK Journal of Embedded Systems and Applications"},{"key":"e_1_3_2_114_2","first-page":"1.C.3\u20131\u20131.C.3\u20138","volume-title":"IEEE\/AIAA 27th Digital Avionics Systems Conference","author":"Kleidermacher D.","year":"2008","unstructured":"D. Kleidermacher and M. Wolf. 2008. MILS virtualization for Integrated Modular Avionics. In IEEE\/AIAA 27th Digital Avionics Systems Conference. 1.C.3\u20131\u20131.C.3\u20138. DOI:10.1109\/DASC.2008.4702759"},{"key":"e_1_3_2_115_2","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743574"},{"key":"e_1_3_2_116_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2019.00009"},{"issue":"2017","key":"e_1_3_2_117_2","doi-asserted-by":"crossref","first-page":"368","DOI":"10.4271\/2017-01-1621","article-title":"Timing analysis for hypervisor-based I\/O virtualization in safety-related automotive systems","volume":"10","author":"Kohn Andre","year":"2017","unstructured":"Andre Kohn et\u00a0al. 2017. Timing analysis for hypervisor-based I\/O virtualization in safety-related automotive systems. SAE Internat. Journal of Passenger Cars-Electronic and Electrical Systems 10, 2017-01-1621 (2017), 368\u2013379.","journal-title":"SAE Internat. Journal of Passenger Cars-Electronic and Electrical Systems"},{"key":"e_1_3_2_118_2","unstructured":"L4Re.org. 2023. L4Re microkernel. https:\/\/l4re.org. (2023). Online; accessed 15-February-2023."},{"key":"e_1_3_2_119_2","doi-asserted-by":"crossref","unstructured":"Kai Lampka Joel Thurlby Adam Lackorzynski and Marcus H\u00e4hnel. 2022. Safety certification with the open source microkernel-based operating system L4Re(Computer Safety Reliability and Security). Springer Internat. Publishing 31\u201345.","DOI":"10.1007\/978-3-031-14835-4_3"},{"key":"e_1_3_2_120_2","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/SCWS55283.2021.00016","volume-title":"SC Workshops Supplementary Proceedings (SCWS)","author":"Lange John R.","year":"2021","unstructured":"John R. Lange, Nicholas Gordon, and Brian Gaines. 2021. Low overhead security isolation using lightweight kernels and TEEs. In SC Workshops Supplementary Proceedings (SCWS). 42\u201349. DOI:10.1109\/SCWS55283.2021.00016"},{"key":"e_1_3_2_121_2","first-page":"8","volume-title":"Forum on Specification and Design Languages (FDL)","author":"Larrucea Asier","year":"2015","unstructured":"Asier Larrucea et\u00a0al. 2015. Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning. In Forum on Specification and Design Languages (FDL). 8."},{"key":"e_1_3_2_122_2","first-page":"8","volume-title":"Mixed-Criticality Workshop on Real Time System Symp. (RTSS)","author":"Larrucea Asier","year":"2016","unstructured":"Asier Larrucea, Imanol Martinez, Hamidreza Ahmadian, Roman Obermaisser, Vicent Brocal, Salvador Peir\u00f3, and Jon Perez. 2016. DREAMS: Cross-domain mixed-criticality patterns. In Mixed-Criticality Workshop on Real Time System Symp. (RTSS). 8."},{"key":"e_1_3_2_123_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2017.06.017"},{"key":"e_1_3_2_124_2","doi-asserted-by":"publisher","DOI":"10.1109\/dsd.2015.27"},{"key":"e_1_3_2_125_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICEIE.2010.5559712"},{"key":"e_1_3_2_126_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2016.265"},{"key":"e_1_3_2_127_2","first-page":"3953","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Li Shih-Wei","year":"2021","unstructured":"Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, and John Zhuang Hui. 2021. Formally verified memory protection for a commodity multiprocessor hypervisor. In 30th USENIX Security Symposium (USENIX Security 21). 3953\u20133970."},{"key":"e_1_3_2_128_2","first-page":"1782","volume-title":"IEEE Symposium on Security and Privacy (SP)","author":"Li Shih-Wei","year":"2021","unstructured":"Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, and John Zhuang Hui. 2021. A secure and formally verified Linux KVM hypervisor. In IEEE Symposium on Security and Privacy (SP). IEEE, 1782\u20131799."},{"key":"e_1_3_2_129_2","first-page":"272","volume-title":"IEEE Real-Time Systems Symp.","author":"Li Ye","year":"2014","unstructured":"Ye Li, Richard West, Zhuoqun Cheng, and Eric Missimer. 2014. Predictable communication and migration in the Quest-V separation kernel. In IEEE Real-Time Systems Symp.272\u2013283."},{"key":"e_1_3_2_130_2","volume-title":"15th ACM Symp. on Operating System Principles (SOSP-15)","author":"Liedtke Jochen","year":"1995","unstructured":"Jochen Liedtke. 1995. On microkernel construction. In 15th ACM Symp. on Operating System Principles (SOSP-15). Copper Mountain Resort, CO. Retrieved from http:\/\/l4ka.org\/publications\/"},{"key":"e_1_3_2_131_2","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2019.00042"},{"key":"e_1_3_2_132_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3264825"},{"key":"e_1_3_2_133_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2018.00107"},{"key":"e_1_3_2_134_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECRTS.2017.6"},{"key":"e_1_3_2_135_2","first-page":"231","article-title":"VOSYSmonitor, a TrustZone-based Hypervisor for ISO 26262 Mixed-critical System","author":"Lucas Pierre","year":"2018","unstructured":"Pierre Lucas, Kevin Chappuis, Benjamin Boutin, Julian Vetter, and Daniel Raho. 2018. VOSYSmonitor, a TrustZone-based Hypervisor for ISO 26262 Mixed-critical System. 23rd Conf. of Open Innovations Association (FRUCT) (2018), 231\u2013238.","journal-title":"23rd Conf. of Open Innovations Association (FRUCT)"},{"key":"e_1_3_2_136_2","unstructured":"LYNX Sofware technologies. 2022. LynxSecure Separation Kernel Hypervisor. Retrieved from https:\/\/www.lynx.com\/products\/lynxsecure-separation-kernel-hypervisor. (2022)."},{"issue":"4","key":"e_1_3_2_137_2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3390\/electronics6040093","article-title":"\\(\\mu\\) RTZVisor: A secure and safe real-time hypervisor","volume":"6","author":"Martins Jos\u00e9","year":"2017","unstructured":"Jos\u00e9 Martins, Jo\u00e3o Alves, Jorge Cabral, Adriano Tavares, and Sandro Pinto. 2017. \\(\\mu\\) RTZVisor: A secure and safe real-time hypervisor. Electronics 6, 4 (2017), 93.","journal-title":"Electronics"},{"key":"e_1_3_2_138_2","volume-title":"NG-RES@HiPEAC","author":"Martins Jos\u00e9","year":"2020","unstructured":"Jos\u00e9 Martins, A. Tavares, M. Solieri, M. Bertogna, and S. Pinto. 2020. Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems. In NG-RES@HiPEAC."},{"key":"e_1_3_2_139_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774534"},{"key":"e_1_3_2_140_2","first-page":"263","volume-title":"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 11th Real-Time Linux Workshop. 263\u2013272."},{"key":"e_1_3_2_141_2","volume-title":"Embedded Real Time Software & Systems, May 2010, Toulouse, France","author":"Masmano Miguel","year":"2010","unstructured":"Miguel Masmano, Ismael Ripoll, Alfons Crespo, and Salvador Peir\u00f3. 2010. XtratuM for LEON3: An open source hypervisor for high integrity systems. In Embedded Real Time Software & Systems, May 2010, Toulouse, France."},{"key":"e_1_3_2_142_2","first-page":"218","volume-title":"IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications","author":"Masrur Alejandro","year":"2010","unstructured":"Alejandro Masrur et\u00a0al. 2010. VM-based real-time services for automotive control applications. In IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications. 218\u2013223. DOI:10.1109\/RTCSA.2010.38"},{"issue":"1","key":"e_1_3_2_143_2","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MM.2018.112130235","article-title":"High-integrity performance monitoring units in automotive chips forreliable timing V&V","volume":"38","author":"Mezzetti Enrico","year":"2018","unstructured":"Enrico Mezzetti, Leonidas Kosmidis, Jaume Abella, and Francisco J. Cazorla. 2018. High-integrity performance monitoring units in automotive chips forreliable timing V&V. IEEE Micro 38, 1 (2018), 56\u201365.","journal-title":"IEEE Micro"},{"key":"e_1_3_2_144_2","unstructured":"Microsoft. 2008. Hyper-V architecture. Retrieved from https:\/\/docs.microsoft.com\/en-us\/windows-server\/administration\/performance-tuning\/role\/hyper-v-server\/architecture\/. (2008). [Online; accessed 1-October-2021]."},{"key":"e_1_3_2_145_2","first-page":"17","article-title":"Distributed real-time fault tolerance on a virtualized multi-core system","author":"Missimer Eric","year":"2014","unstructured":"Eric Missimer, Richard West, and Ye Li. 2014. Distributed real-time fault tolerance on a virtualized multi-core system. OSPERT (2014), 17.","journal-title":"OSPERT"},{"key":"e_1_3_2_146_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2018.8352429"},{"key":"e_1_3_2_147_2","first-page":"386","volume-title":"IEEE Internat. Conf. on Cloud Engineering","author":"Morabito Roberto","year":"2015","unstructured":"Roberto Morabito, Jimmy Kj\u00e4llman, and Miika Komu. 2015. Hypervisors vs. lightweight virtualization: A performance comparison. In IEEE Internat. Conf. on Cloud Engineering. IEEE, 386\u2013393."},{"key":"e_1_3_2_148_2","first-page":"706","volume-title":"IEEE 16th International Conference on Computational Science and Engineering","author":"M\u00fcnch Daniel","year":"2013","unstructured":"Daniel M\u00fcnch et\u00a0al. 2013. Hardware-Based I\/O Virtualization for Mixed Criticality Real-Time Systems Using PCIe SR-IOV. In IEEE 16th International Conference on Computational Science and Engineering. 706\u2013713. DOI:10.1109\/CSE.2013.109"},{"key":"e_1_3_2_149_2","doi-asserted-by":"crossref","unstructured":"Daniel M\u00fcnch Michael Paulitsch Oliver Hanka and Andreas Herkersdorf. 2015. SgInt: Safeguarding interrupts for hardware-based I\/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges(Architecture of Computing Systems \u2013 ARCS 2015). Springer International Publishing 15\u201327.","DOI":"10.1007\/978-3-319-16086-3_2"},{"key":"e_1_3_2_150_2","first-page":"1037","volume-title":"IEEE 17th Internat. Conf. on High Performance Computing and Communications (HPCC)","author":"M\u00fcnch D.","year":"2015","unstructured":"D. M\u00fcnch, M. Paulitsch, and A. Herkersdorf. 2015. IOMPU: Spatial separation for hardware-based I\/O virtualization for mixed-criticality embedded real-time systems using non-transparent bridges. In IEEE 17th Internat. Conf. on High Performance Computing and Communications (HPCC). 1037\u20131044."},{"key":"e_1_3_2_151_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.3"},{"key":"e_1_3_2_152_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2019.00085"},{"issue":"11","key":"e_1_3_2_153_2","doi-asserted-by":"crossref","first-page":"500","DOI":"10.2514\/1.I010745","article-title":"Benchmarking analysis and characterization of hypervisors for space multicore systems","volume":"16","author":"Muttillo Vittoriano","year":"2019","unstructured":"Vittoriano Muttillo, Luca Tiberi, Luigi Pomante, and Paolo Serri. 2019. Benchmarking analysis and characterization of hypervisors for space multicore systems. Journal of Aerospace Information Systems 16, 11 (2019), 500\u2013511.","journal-title":"Journal of Aerospace Information Systems"},{"key":"e_1_3_2_154_2","first-page":"579","volume-title":"Design, Automation & Test in Europe Conf. & Exhibition (DATE)","author":"M\u00fcnch D.","year":"2015","unstructured":"D. M\u00fcnch et\u00a0al. 2015. MPIOV: Scaling hardware-based I\/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges to (Multi-Core) multi-processor systems. In Design, Automation & Test in Europe Conf. & Exhibition (DATE). 579\u2013584."},{"key":"e_1_3_2_155_2","doi-asserted-by":"publisher","DOI":"10.4271\/2013-01-0196"},{"issue":"7","key":"e_1_3_2_156_2","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/2007477.1952687","article-title":"Perfctr-Xen: A framework for performance counter virtualization","volume":"46","author":"Nikolaev Ruslan","year":"2011","unstructured":"Ruslan Nikolaev and Godmar Back. 2011. Perfctr-Xen: A framework for performance counter virtualization. SIGPLAN Not. 46, 7 (2011), 15\u201326.","journal-title":"SIGPLAN Not."},{"key":"e_1_3_2_157_2","volume-title":"The Overhead of Profiling Using PMU Hardware Counters","author":"Nowak Andrzej","year":"2014","unstructured":"Andrzej Nowak and Georgios Bitzes. 2014. The Overhead of Profiling Using PMU Hardware Counters. Technical Report. CERN OpenLab."},{"key":"e_1_3_2_158_2","volume-title":"Design, Automation & Test in Europe Conf. & Exhibition (DATE)","author":"Nowotsch Jan","year":"2014","unstructured":"Jan Nowotsch et\u00a0al. 2014. Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems. In Design, Automation & Test in Europe Conf. & Exhibition (DATE)."},{"key":"e_1_3_2_159_2","volume-title":"Euromicro Conf. on Real-Time Systems ECRTS","author":"Nowotsch Jan","year":"2014","unstructured":"Jan Nowotsch et\u00a0al. 2014. Multi-core interference-sensitive WCET analysis leveraging runtime resource capacity enforcement. In Euromicro Conf. on Real-Time Systems ECRTS."},{"key":"e_1_3_2_160_2","unstructured":"NXP. 2014. T2080 Advanced QorIQ Debug and Performance Monitoring Reference Manual. (2014). Rev. A 04\/2014."},{"key":"e_1_3_2_161_2","unstructured":"NXP. 2016. QorIQ T2080 Reference Manual. (2016). Also supports T2081. Doc. No.: T2080RM. Rev. 3 11\/2016."},{"key":"e_1_3_2_162_2","unstructured":"NXP. 2021. Layerscape\u00aeQorIQ LX2160A Reference Manual. (2021). Supports LX2120A and LX2080A. Doc. No.: LX2160ARM. Rev. 1 10\/2021."},{"key":"e_1_3_2_163_2","first-page":"708","volume-title":"IEEE 27th Int. Symp. on Industrial Electronics (ISIE)","author":"Oliveira A.","year":"2018","unstructured":"A. Oliveira et\u00a0al. 2018. TZ-VirtIO: Enabling standardized inter-partition communication in a trustzone-assisted hypervisor. In IEEE 27th Int. Symp. on Industrial Electronics (ISIE). 708\u2013713."},{"key":"e_1_3_2_164_2","volume-title":"Aviation Electronics Europe","author":"Parkinson Paul","year":"2017","unstructured":"Paul Parkinson. 2017. Update on using multicore processors with a commercial ARINC 653 implementation. In Aviation Electronics Europe."},{"issue":"2","key":"e_1_3_2_165_2","doi-asserted-by":"crossref","first-page":"419","DOI":"10.4271\/2019-01-1382","article-title":"Experiences of civil certification of multi-core processing systems in commercial and military avionics, integration activities, and analysis","volume":"1","author":"Parkinson Paul","year":"2019","unstructured":"Paul Parkinson and Harold Glenn Tiedeman. 2019. Experiences of civil certification of multi-core processing systems in commercial and military avionics, integration activities, and analysis. SAE Internat. Journal of Advances and Current Practices in Mobility 1, 2 (2019), 419\u2013428.","journal-title":"SAE Internat. Journal of Advances and Current Practices in Mobility"},{"key":"e_1_3_2_166_2","first-page":"682","volume-title":"23rd Euromicro Int. Conf. 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 23rd Euromicro Int. Conf. on Parallel, Distributed, and Network-Based Processing. IEEE, 682\u2013691."},{"key":"e_1_3_2_167_2","volume-title":"Data Systems In Aerospace (DASIA)","author":"Patte Mathieu","year":"2012","unstructured":"Mathieu Patte, A. Crespo, Marco Zulianello, Vincent Lefftz, M. Masmano, and J. Coronel. 2012. System impact of distributed multicore systems. In Data Systems In Aerospace (DASIA), Vol. 701 SP2012. European Space Agency."},{"key":"e_1_3_2_168_2","article-title":"A safety certification strategy for IEC-61508 compliant industrial mixed-criticality systems based on multicore partitioning","author":"Perez Jon","year":"2014","unstructured":"Jon Perez et\u00a0al. 2014. A safety certification strategy for IEC-61508 compliant industrial mixed-criticality systems based on multicore partitioning. Euromicro DSD\/SEAA Verona, Italy (2014).","journal-title":"Euromicro DSD\/SEAA"},{"key":"e_1_3_2_169_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19584-1_1"},{"key":"e_1_3_2_170_2","doi-asserted-by":"publisher","DOI":"10.1145\/3549526"},{"key":"e_1_3_2_171_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2023.3235093"},{"key":"e_1_3_2_172_2","doi-asserted-by":"publisher","DOI":"10.1145\/3398665"},{"key":"e_1_3_2_173_2","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2017.8216603"},{"key":"e_1_3_2_174_2","article-title":"Self-secured devices: High performance and secure I\/O access in TrustZone-based systems","volume":"119","author":"Pinto Sandro","year":"2021","unstructured":"Sandro Pinto, Pedro Machado, Daniel Oliveira, David Cerdeira, and Tiago Gomes. 2021. Self-secured devices: High performance and secure I\/O access in TrustZone-based systems. J. Syst. Archit. 119 (2021).","journal-title":"J. Syst. Archit."},{"key":"e_1_3_2_175_2","volume-title":"29th Euromicro Conf. on Real-Time Systems (ECRTS)","author":"Pinto Sandro","year":"2017","unstructured":"Sandro Pinto, Jorge Pereira, Tiago Gomes, Adriano Tavares, and Jorge Cabral. 2017. Ltzvisor: Trustzone is the key. In 29th Euromicro Conf. on Real-Time Systems (ECRTS). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_176_2","volume-title":"The 4S Symp.","author":"Pinto S.","year":"2016","unstructured":"S. Pinto, A. Tavares, and S. Montenegro. 2016. Hypervisor for real time space applications. In The 4S Symp."},{"key":"e_1_3_2_177_2","volume-title":"DAta Systems in Aerospace Conference (DASIA)","author":"Pinto Sandro","year":"2016","unstructured":"Sandro Pinto, Adriano Tavares, and Sergio Montenegro. 2016. Space and time partitioning with hardware support for space applications. In DAta Systems in Aerospace Conference (DASIA)."},{"key":"e_1_3_2_178_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2018.00054"},{"key":"e_1_3_2_179_2","doi-asserted-by":"publisher","DOI":"10.1109\/TELFOR52709.2021.9653214"},{"key":"e_1_3_2_180_2","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_2_181_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2016.10.012"},{"key":"e_1_3_2_182_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.08.088"},{"key":"e_1_3_2_183_2","doi-asserted-by":"publisher","DOI":"10.4271\/12-04-02-0016"},{"key":"e_1_3_2_184_2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/j.sysarc.2018.01.001","article-title":"Hypervisor for consolidating real-time automotive control units: Its procedure, implications and hidden pitfalls","volume":"82","author":"Rajan Arun Kumar Sundar","year":"2018","unstructured":"Arun Kumar Sundar Rajan, Armin Feucht, Lothar Gamer, and Idriz Smaili. 2018. Hypervisor for consolidating real-time automotive control units: Its procedure, implications and hidden pitfalls. J. Syst. Archit. 82 (2018), 37\u201348.","journal-title":"J. Syst. Archit."},{"key":"e_1_3_2_185_2","doi-asserted-by":"crossref","unstructured":"Ralf Ramsauer Jan Kiszka and Wolfgang Mauerer. 2020. A novel software architecture for mixed criticality systems(Digital Transformation in Semiconductor Manufacturing). Springer Internat. Publishing 121\u2013128.","DOI":"10.1007\/978-3-030-48602-0_11"},{"key":"e_1_3_2_186_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIA.2014.2384132"},{"key":"e_1_3_2_187_2","doi-asserted-by":"crossref","unstructured":"Dominik Reinhardt Maximilian G\u00fcntner and Simon Obermeir. 2015. Virtualized communication controllers in safety-related automotive embedded systems(Architecture of Computing Systems (ARCS)). Springer Internat. Publishing 173\u2013185.","DOI":"10.1007\/978-3-319-16086-3_14"},{"key":"e_1_3_2_188_2","first-page":"189","volume-title":"9th IEEE Internat. Symp. on Industrial Embedded Systems (SIES)","author":"Reinhardt Dominik","year":"2014","unstructured":"Dominik Reinhardt and Gary Morgan. 2014. An embedded hypervisor for safety-relevant automotive E\/E-systems. In 9th IEEE Internat. Symp. on Industrial Embedded Systems (SIES). IEEE, 189\u2013198."},{"key":"e_1_3_2_189_2","unstructured":"RTCA. 2012. RTCA DO-178 B\/C. Software Considerations in Airborne Systems and Equipment Certification. (2012)."},{"key":"e_1_3_2_190_2","volume-title":"Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance","author":"Rushby John","year":"2000","unstructured":"John Rushby. 2000. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance. Report. SRI International (Computer Science Lab)."},{"key":"e_1_3_2_191_2","first-page":"2177","article-title":"A first look at RISC-V virtualization from an embedded systems perspective","volume":"71","author":"S\u00e1 Bruno","year":"2022","unstructured":"Bruno S\u00e1, Jos\u00e9 Martins, and Sandro Pinto. 2022. A first look at RISC-V virtualization from an embedded systems perspective. IEEE Trans. on Computers 71 (2022), 2177\u20132190.","journal-title":"IEEE Trans. on Computers"},{"key":"e_1_3_2_192_2","unstructured":"SAE. 1996. ARP4761 - Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. (1996)."},{"key":"e_1_3_2_193_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCNT.2010.49"},{"key":"e_1_3_2_194_2","doi-asserted-by":"publisher","DOI":"10.1109\/FTDCS.1997.644723"},{"key":"e_1_3_2_195_2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2016-057610.2514\/6.2016-0576"},{"key":"e_1_3_2_196_2","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT51360.2021.9595534"},{"key":"e_1_3_2_197_2","doi-asserted-by":"crossref","unstructured":"Sabine Schmaltz and Andrey Shadrin. 2012. Integrated semantics of intermediate-language C and macro-assembler for pervasive formal verification of operating systems and hypervisors from VerisoftXT(Verified Software: Theories Tools Experiments). Springer Berlin 18\u201333.","DOI":"10.1007\/978-3-642-27705-4_3"},{"key":"e_1_3_2_198_2","doi-asserted-by":"publisher","DOI":"10.15446\/ing.investig.97363"},{"key":"e_1_3_2_199_2","first-page":"3:1\u20133:26","volume-title":"ECRTS (LIPIcs)","author":"Serrano-Cases Alejandro","year":"2021","unstructured":"Alejandro Serrano-Cases et\u00a0al. 2021. Leveraging hardware QoS to control contention in the Xilinx Zynq UltraScale+ MPSoC. In ECRTS (LIPIcs), Vol. 196. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 3:1\u20133:26."},{"key":"e_1_3_2_200_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774664"},{"key":"e_1_3_2_201_2","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2015.16"},{"key":"e_1_3_2_202_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81564-6_1"},{"key":"e_1_3_2_203_2","doi-asserted-by":"publisher","DOI":"10.1145\/2897164"},{"key":"e_1_3_2_204_2","unstructured":"Siemens. 2022. Jailhouse Hypervisor. Retrieved from https:\/\/github.com\/siemens\/jailhouse. (2022). [Online; accessed 24-February-2022]."},{"issue":"3","key":"e_1_3_2_205_2","doi-asserted-by":"crossref","first-page":"226","DOI":"10.3390\/electronics10030226","article-title":"The role of mixed criticality technology in industry 4.0","volume":"10","author":"Sim\u00f3 Jos\u00e9","year":"2021","unstructured":"Jos\u00e9 Sim\u00f3, Patricia Balbastre, Juan Francisco Blanes, Jos\u00e9-Luis Poza-Luj\u00e1n, and Ana Guasque. 2021. The role of mixed criticality technology in industry 4.0. Electronics 10, 3 (2021), 226.","journal-title":"Electronics"},{"key":"e_1_3_2_206_2","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/3376897.3377861","volume-title":"21st Internat. Workshop on Mobile Computing Systems and Applications (HotMobile \u201920)","author":"Sinha Soham","year":"2020","unstructured":"Soham Sinha et\u00a0al. 2020. A paravirtualized android for next generation interactive automotive systems. In 21st Internat. Workshop on Mobile Computing Systems and Applications (HotMobile \u201920). 50\u201355."},{"key":"e_1_3_2_207_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477013"},{"key":"e_1_3_2_208_2","first-page":"1","volume-title":"RoEduNet Internat. Conf. 12th Edition: Networking in Education and Research","author":"Soriga Stefan Gabriel","year":"2013","unstructured":"Stefan Gabriel Soriga and Mihai Barbulescu. 2013. A comparison of the performance and scalability of Xen and KVM hypervisors. In RoEduNet Internat. Conf. 12th Edition: Networking in Education and Research. IEEE, 1\u20136."},{"key":"e_1_3_2_209_2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1028477"},{"key":"e_1_3_2_210_2","first-page":"219","volume-title":"Infineon Multicore Debug Solution","author":"Stollon Neal","year":"2011","unstructured":"Neal Stollon. 2011. Infineon Multicore Debug Solution. Springer US, Boston, MA, 219\u2013230."},{"key":"e_1_3_2_211_2","first-page":"1","volume-title":"Internat. Conf. on Applied Electronics","author":"Strobl M.","year":"2013","unstructured":"M. Strobl, M. Kucera, A. Foeldi, T. Waas, N. Balbierer, and C. Hilbert. 2013. Towards automotive virtualization. In Internat. Conf. on Applied Electronics. 1\u20136."},{"key":"e_1_3_2_212_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59897-6_2"},{"issue":"2","key":"e_1_3_2_213_2","first-page":"1135","article-title":"Literature survey and review: Virtualization technologies","volume":"4","author":"N. Sugumar T.","year":"2016","unstructured":"Sugumar T. N. and N. Ramasamy. 2016. Literature survey and review: Virtualization technologies. Internat. Journal of Printing, Packaging & Allied Sciences 4, 2 (2016), 1135\u20131149.","journal-title":"Internat. Journal of Printing, Packaging & Allied Sciences"},{"key":"e_1_3_2_214_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483560"},{"key":"e_1_3_2_215_2","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2018.10013023"},{"key":"e_1_3_2_216_2","first-page":"140","volume-title":"IEEE International Conference on Industrial Technology","author":"Tavares A.","year":"2012","unstructured":"A. Tavares et\u00a0al. 2012. A customizable and ARINC 653 quasi-compliant hypervisor. In IEEE International Conference on Industrial Technology. 140\u2013147. DOI:10.1109\/ICIT.2012.6209928"},{"key":"e_1_3_2_217_2","doi-asserted-by":"publisher","DOI":"10.3182\/20120403-3-DE-3010.00010"},{"key":"e_1_3_2_218_2","unstructured":"Lynx Software Technologies. 2022. Introducing the Z-application bridging the gap between bare metal and RTOS. Retrieved from https:\/\/www.lynx.com\/embedded-systems-learning-center\/introducing-the-z-application. (2022)."},{"key":"e_1_3_2_219_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICoCSec47621.2019.8971126"},{"key":"e_1_3_2_220_2","doi-asserted-by":"crossref","unstructured":"Asmaa Tellabi Mithil Parekh Christoph Ruland and Mostafa Ezziyyani. 2019. A case study of virtualization used in mixed criticality systems(Advanced Intelligent Systems for Sustainable Development (AI2SD)). Springer Internat. Publishing 1\u201311.","DOI":"10.1007\/978-3-030-36475-5_1"},{"key":"e_1_3_2_221_2","first-page":"851","volume-title":"Int. Conf. on Advances in Computing, Commun. and Informatics (ICACCI)","author":"Toumassian Sebouh","year":"2016","unstructured":"Sebouh Toumassian, Rico Werner, and Axel Sikora. 2016. Performance measurements for hypervisors on embedded ARM processors. In Int. Conf. on Advances in Computing, Commun. and Informatics (ICACCI). IEEE, 851\u2013855."},{"key":"e_1_3_2_222_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.37"},{"key":"e_1_3_2_223_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2014.09.004"},{"key":"e_1_3_2_224_2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2014.6979531"},{"key":"e_1_3_2_225_2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7778001"},{"key":"e_1_3_2_226_2","first-page":"1","volume-title":"IEEE\/AIAA 36th Digital Avionics Systems Conf. (DASC)","author":"VanderLeest Steven H.","year":"2017","unstructured":"Steven H. VanderLeest. 2017. Designing a future airborne capability environment (FACE) hypervisor for safety and security. In IEEE\/AIAA 36th Digital Avionics Systems Conf. (DASC). IEEE, 1\u20139."},{"key":"e_1_3_2_227_2","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2018.160217"},{"key":"e_1_3_2_228_2","first-page":"6B5\u20131\u20136B5\u201314","volume-title":"IEEE\/AIAA 34th Digital Avionics Systems Conf. (DASC)","author":"VanderLeest Steven H.","year":"2015","unstructured":"Steven H. VanderLeest and Dagan White. 2015. MPSoC hypervisor: The safe & secure future of avionics. In IEEE\/AIAA 34th Digital Avionics Systems Conf. (DASC). IEEE, 6B5\u20131\u20136B5\u201314."},{"key":"e_1_3_2_229_2","first-page":"227","volume-title":"25th Internat. Conf. on Real-Time Networks and Systems (RTNS)","author":"Vanga Manohar","year":"2017","unstructured":"Manohar Vanga, Andrea Bastoni, Henrik Theiling, and Bj\u00f6rn B. Brandenburg. 2017. Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS. In 25th Internat. Conf. on Real-Time Networks and Systems (RTNS). 227\u2013236."},{"key":"e_1_3_2_230_2","volume-title":"Second Asia-Pacific Workshop on Systems","author":"Varanasi Prashant","year":"2011","unstructured":"Prashant Varanasi and Gernot Heiser. 2011. Hardware-supported virtualization on ARM. In Second Asia-Pacific Workshop on Systems. Association for Computing Machinery, New York, NY, USA, Article 11, 5 pages."},{"key":"e_1_3_2_231_2","volume-title":"A Performance Comparison of hypervisors - Revision: 20070201 Item: PS-004-INF-01-002","year":"2007","unstructured":"VMware. 2007. A Performance Comparison of hypervisors - Revision: 20070201 Item: PS-004-INF-01-002. Technical Report. VMware Inc."},{"key":"e_1_3_2_232_2","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2014.69"},{"key":"e_1_3_2_233_2","first-page":"17","volume-title":"IEEE Space Computing Conference (SCC)","author":"Wessman N. J.","year":"2021","unstructured":"N. J. Wessman et\u00a0al. 2021. De-RISC: The First RISC-V Space-Grade Platform for Safety-Critical Systems. In IEEE Space Computing Conference (SCC). 17\u201326. DOI:10.1109\/SCC49971.2021.00010"},{"issue":"3","key":"e_1_3_2_234_2","article-title":"A virtualized separation kernel for mixed-criticality systems","volume":"34","author":"West Richard","year":"2016","unstructured":"Richard West, Ye Li, Eric Missimer, and Matthew Danish. 2016. A virtualized separation kernel for mixed-criticality systems. ACM Trans. Comput. Syst. 34, 3 (June2016), 1\u201341.","journal-title":"ACM Trans. Comput. Syst."},{"key":"e_1_3_2_235_2","first-page":"1:1\u20131:9","volume-title":"18th Int. Workshop on Worst-Case Execution Time Analysis (WCET) (OpenAccess Series in Informatics (OASIcs))","author":"Wilhelm Reinhard","year":"2018","unstructured":"Reinhard Wilhelm. 2018. Mixed feelings about mixed criticality (invited paper). In 18th Int. Workshop on Worst-Case Execution Time Analysis (WCET) (OpenAccess Series in Informatics (OASIcs)), Florian Brandner (Ed.), Vol. 63. 1:1\u20131:9."},{"key":"e_1_3_2_236_2","unstructured":"Windriver. 2017. Certification of Avionics Applications on Multi-core Processors: Opportunities and Challenges. Retrieved from https:\/\/events.windriver.com\/wrcd01\/wrcm\/2017\/08\/Certification-of-Avionics-Applications-on-Multi-core-Processors-Opportunities-and-Challenges-WP.pdf. (2017)."},{"key":"e_1_3_2_237_2","unstructured":"Windriver. 2023. Wind River Helix Virtualization platform. Retrieved from https:\/\/www.windriver.com\/sites\/default\/files\/2023-04\/486559-HelixDatasheetUpdate_Mar2023.pdf. (2023)."},{"key":"e_1_3_2_238_2","doi-asserted-by":"publisher","DOI":"10.1109\/FPL53798.2021.00047"},{"key":"e_1_3_2_239_2","unstructured":"Xen Project. 2022. Xen Paravirtualization Hypervisor. Retrieved from https:\/\/xenproject.org\/. (2022)."},{"key":"e_1_3_2_240_2","unstructured":"XenProject. 2020. Cache coloring: Interference-free real-time virtualization. Retrieved from https:\/\/xenproject.org\/2020\/09\/03\/cache-coloring-interference-free-real-time-virtualization\/. (2020)."},{"key":"e_1_3_2_241_2","first-page":"39","volume-title":"Ninth ACM Internat. Conf. on Embedded Software (EMSOFT)","author":"Xi Sisu","year":"2011","unstructured":"Sisu Xi, Justin Wilson, Chenyang Lu, and Christopher Gill. 2011. RT-Xen: Towards real-time hypervisor scheduling in Xen. In Ninth ACM Internat. Conf. on Embedded Software (EMSOFT). IEEE, 39\u201348."},{"key":"e_1_3_2_242_2","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656061"},{"key":"e_1_3_2_243_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2022.104572"},{"key":"e_1_3_2_244_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICISCE.2015.105"},{"key":"e_1_3_2_245_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS53394.2021.00072"},{"issue":"4","key":"e_1_3_2_246_2","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/s11704-016-4226-2","article-title":"A survey on formal specification and verification of separation kernels","volume":"11","author":"Zhao Yongwang","year":"2017","unstructured":"Yongwang Zhao, Zhibin Yang, and Dianfu Ma. 2017. A survey on formal specification and verification of separation kernels. Frontiers of Computer Science 11, 4 (2017), 585\u2013607.","journal-title":"Frontiers of Computer Science"},{"issue":"5","key":"e_1_3_2_247_2","first-page":"1095","article-title":"Profiling and controlling I\/O-related memory contention in COTS heterogeneous platforms","volume":"52","author":"Zini Matteo","year":"2022","unstructured":"Matteo Zini, Giorgiomaria Cicero, Daniel Casini, and Alessandro Biondi. 2022. Profiling and controlling I\/O-related memory contention in COTS heterogeneous platforms. Software: Practice and Experience 52, 5 (2022), 1095\u20131113.","journal-title":"Software: Practice and Experience"},{"key":"e_1_3_2_248_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059185"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3765736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:09:49Z","timestamp":1762862989000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3765736"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,11]]},"references-count":247,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2026,3,31]]}},"alternative-id":["10.1145\/3765736"],"URL":"https:\/\/doi.org\/10.1145\/3765736","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,11]]},"assertion":[{"value":"2023-06-27","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-29","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-11-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}