ACRN: A big little hypervisor for IoT development

VEE 2019 - Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Volumn , Issue , 2019, Pages 31-44

  Li, Hao ^a   Xu, Xuefei ^a   Ren, Jinkui ^a   Dong, Yaozu ^a  

^a INTEL CORPORATION   (United States)

Author keywords

Device model; Embedded hypervisor; Embedded virtualization; IoT

Indexed keywords

ACCIDENT PREVENTION; COST EFFECTIVENESS; HTTP; OPEN SOURCE SOFTWARE; VIRTUAL REALITY; VIRTUALIZATION;

COMPUTING PARADIGM; DESIGN AND IMPLEMENTATIONS; DEVICE MODELING; HYPERVISOR; INTERNET OF THINGS (IOT); MEMORY PARTITIONING; MULTIPLE PLATFORMS; WORKLOAD CONSOLIDATION;

INTERNET OF THINGS;

EID: 85066626930     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/3313808.3313816     Document Type: Conference Paper

References (40)

1. A. Aguiar, S. J. Filho, F. G. Magalhães, T. D. Casagrande, and F. Hessel. 2010. Hellfire: A design framework for critical embedded systems’ applications. In 2010 11th International Symposium on Quality Electronic Design (ISQED). 730–737. https://doi.org/10.1109/ISQED.2010.5450495
2. GENIVI Alliance. 2018. GENIVI Compliant™ Products. https://www.genivi.org/compliant-products.
3. 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. In SOSP’03: Proceedings of the nineteenth ACM symposium on Operating systems principles. 164–177.
4. Manfred Broy. 2006. Challenges in Automotive Software Engineering. In Proceedings of the 28th International Conference on Software Engineering (ICSE’06). ACM, New York, NY, USA, 33–42. https://doi.org/10.1145/1134285.1134292
5. RT: A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers. In Proceedingsofthe27thIEEEInternationalReal-TimeSystemsSymposium (RTSS’06). IEEE Computer Society, Washington, DC, USA, 111–126.
6. A. Celesti, D. Mulfari, M. Fazio, M. Villari, and A. Puliafito. 2016. Exploring Container Virtualization in IoT Clouds. In 2016 IEEE International Conference on Smart Computing (SMARTCOMP). 1–6. https://doi.org/10.1109/SMARTCOMP.2016.7501691
7. Felipe Cerqueira and Björn B. Brandenburg. 2013. A Comparison of Scheduling Latency in Linux, PREEMPT RT, and LITMUS RT. In Proceedings of the 9th Annual Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT’13). 19–29.
8. Intel Corporation. 2017. Getting Started with Intel® Active Management Technology (AMT). https://software.intel.com/en-us/articles/getting-started-with-intel-active-management-technology-amt.
9. International Organization for Standardization. 2011. 26262: Road vehicles-Functional safety. https://www.iso.org/standard/43464.html.
10. The Linux Foundation. 2017. PREEMPT RT. https://wiki.linuxfoundation.org/realtime/documentation/howto/ applications/preemptrt_setup/.
11. GlobalPlatform. 2018. Trusted Execution Environment. https://globalplatform.org/specifications/technical-overview/.
12. Google. 2017. Verified Boot. https://source.android.com/security/verifiedboot/.
13. Google. 2018. Trusty TEE. https://source.android.com/security/trusty/.
14. Gernot Heiser. 2008. The Role of Virtualization in Embedded Systems. In Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems (IIES’08). ACM, New York, NY, USA, 11–16. https://doi.org/10.1145/1435458.1435461
15. G. Heiser. 2011. Virtualizing embedded systems - why bother?. In 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC). 901–905.
16. Gernot Heiser and Ben Leslie. 2010. The OKL4 Microvisor: Convergence Point of Microkernels and Hypervisors. In Proceedings of the First ACM Asia-pacific Workshop on Workshop on Systems (APSys’10). ACM, New York, NY, USA, 19–24. https://doi.org/10.1145/1851276.1851282
17. J. Y. Hwang, S. B. Suh, S. K. Heo, C. J. Park, J. M. Ryu, S. Y. Park, and C. R. Kim. 2008. Xen on ARM: System Virtualization Using Xen Hypervisor for ARM-Based Secure Mobile Phones. In 2008 5th IEEE Consumer Communications and Networking Conference. 257–261. https://doi.org/10.1109/ccnc08.2007.64
18. Kenta Ishiguro and Kenji Kono. 2018. Hardening Hypervisors Against Vulnerabilities in Instruction Emulators. In Proceedings of the 11th European Workshop on Systems Security (EuroSec’18). ACM, New York, NY, USA, Article 7, 6 pages. https://doi.org/10.1145/3193111.3193118
19. Avi Kivity Qumranet, Yaniv Kamay Qumranet, Dor Laor Qumranet, Uri Lublin Qumranet, and Anthony Liguori. 2007. KVM: The Linux virtual machine monitor. 15 (01 2007).
20. Neil Klingensmith and Suman Banerjee. 2018. Hermes: A Real Time Hypervisor for Mobile and IoT Systems. In Proceedings of the 19th International Workshop on Mobile Computing Systems - Applications (HotMobile’18). ACM, New York, NY, USA, 101–106. https://doi.org/10.1145/3177102.3177103
21. Hao Li, Dong Tong, Kan Huang, and Xu Cheng. 2010. FEMU: A Firmware-based Emulation Framework for SoC Verification. In Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES/ISSS’10). ACM, New York, NY, USA, 257–266. https://doi.org/10.1145/1878961.1879007
22. Byte Magazine. 2018. UnixBench. https://github.com/kdlucas/byte-unixbench/.
23. IHS Markit. 2019. Teardown - Tesla 2018 Model 3 Autopilot and Media Controller. https://technology.ihs.com/607719/teardown-tesla-2018-model-3-autopilot-and-media-controller.
24. Carlos Moratelli, Sergio Johann, Marcelo Neves, and Fabiano Hessel. 2016. Embedded Virtualization for the Design of Secure IoT Applications. In Proceedings of the 27th International Symposium on Rapid System Prototyping: Shortening the Path from Specification to Prototype (RSP’16). ACM, New York, NY, USA, 2–6. https://doi.org/10.1145/2990299.2990301
25. William Norcott and Don Capps. 2016. IOzone. http://www.iozone.org/.
26. Junya Ogasawara and Kenji Kono. 2017. Nioh: Hardening The Hypervisor by Filtering Illegal I/O Requests to Virtual Devices. In Proceedings of the 33rd Annual Computer Security Applications Conference (ACSAC 2017). ACM, New York, NY, USA, 542–552. https://doi.org/10.1145/3134600.3134648
27. Anup Patel, Mai Daftedar, Mohamed Shalan, and M. Watheq El-Kharashi. 2015. Embedded Hypervisor Xvisor: A Comparative Analysis. In Proceedings of the 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP’15). IEEE Computer Society, Washington, DC, USA, 682–691. https://doi.org/10.1109/PDP.2015.108
28. Gerald J. Popek and Robert P. Goldberg. 1974. Formal Requirements for Virtualizable Third Generation Architectures. Commun. ACM 17, 7 (July 1974), 412–421. https://doi.org/10.1145/361011.361073
29. QNX. 2017. QNX Hypervisor. http://blackberry.qnx.com/en/products/hypervisor/index.
30. Ralf Ramsauer, Jan Kiszka, Daniel Lohmann, and Wolfgang Mauerer. 2017. Look Mum, no VM Exits! (Almost). CoRR abs/1705.06932 (2017). arXiv:1705.06932 http://arxiv.org/abs/1705.06932
31. D. Reinhardt and G. Morgan. 2014. An embedded hypervisor for safety-relevant automotive E/E-systems. In Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 189–198. https://doi.org/10.1109/SIES.2014.6871203
32. Rusty Russell. 2008. Virtio: Towards a De-facto Standard for Virtual I/O Devices. SIGOPS Oper. Syst. Rev. 42, 5 (July 2008), 95–103. https://doi.org/10.1145/1400097.1400108
33. Weisong Shi, Jie Cao, Quan Zhang, Youhuizi Li, and Lanyu Xu. 2016. Edge Computing: Vision and Challenges. IEEE Internet of Things Journal 3 (2016), 637–646.
34. SIEMENS. 2017. Industrial PCs for the Digital Factory. https://w3.siemens.com/mcms/automation/en/pc-based-automation/ Documents/simatic-ipc-en.pdf.
35. Green Hills Software. 2018. INTEGRITY Multivisor. https://www.ghs.com/products/rtos/integrity_virtualization.html.
36. Kun Tian, Yaozu Dong, and David Cowperthwaite. 2014. A Full GPU Virtualization Solution with Mediated Pass-through. In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC’14). USENIX Association, Berkeley, CA, USA, 121–132. http://dl.acm.org/citation.cfm?id=2643634.2643647
37. S. Trujillo, A. Crespo, and A. Alonso. 2013. MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems. In 2013 Euromicro Conference on Digital System Design. 260–265. https://doi.org/10.1109/DSD. 2013.37
38. Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, and Yakoub Nemouchi. 2015. Formal API Specification of the PikeOS Separation Kernel. In NASA Formal Methods, Klaus Havelund, Gerard Holzmann, and Rajeev Joshi (Eds.). Springer International Publishing, Cham, 375–389.
39. S. Xi, J. Wilson, C. Lu, and C. Gill. 2011. RT-Xen: Towards real-time hypervisor scheduling in Xen. In 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT). 39–48.
40. Jun Zhang, Kai Chen, Baojing Zuo, Ruhui Ma, Yaozu Dong, and Haibing Guan. 2010. Performance analysis towards a KVM-Based embedded real-time virtualization architecture. In 5th International Conference on Computer Sciences and Convergence Information Technology. 421–426. https://doi.org/10.1109/ICCIT.2010.5711095