A virtualized separation kernel for mixed criticality systems

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

Volumn , Issue , 2014, Pages 201-212

  Li, Ye ^a   West, Richard ^a   Missimer, Eric ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

Chip level distributed system; Separation kernel

Indexed keywords

ARM PROCESSORS; CRITICALITY (NUCLEAR FISSION); HARDWARE; VIRTUAL REALITY;

DISTRIBUTED SYSTEMS; HARDWARE VIRTUALIZATION; MANY-CORE PROCESSORS; MIXED-CRITICALITY SYSTEMS; NORMAL OPERATIONS; PHYSICAL PROCESSORS; PHYSICAL RESOURCES; VIRTUAL MACHINE SYSTEMS;

SEPARATION;

EID: 84897479546     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2576195.2576206     Document Type: Conference Paper

References (35)

1. C. B. Watkins, "Integrated Modular Avionics: Managing the allocation of shared intersystem resources," in Proceedings of the 25th Digital Avionics Systems Conference, pp. 1-12, 2006.
2. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield, "Xen and the art of virtualization," in Proceedings of the 19th ACM Symposium on Operating Systems Principles, pp. 164-177, 2003.
3. I. Habib, "Virtualization with KVM," Linux Journal, vol. 2008, no. 166, p. 8, 2008.
4. J. M. Rushby, "Design and verification of secure systems," in Proceedings of the 8th ACM Symposium on Operating Systems Principles, pp. 12-21, 1981.
5. A. Baumann, P. Barham, P.-E. Dagand, T. Harris, R. Isaacs, S. Peter, T. Roscoe, A. Schüpbach, and A. Singhania, "The Multikernel: A new OS architecture for scalable multicore systems," in Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pp. 29-44, 2009.
6. R. West, P. Zaroo, C. A. Waldspurger, and X. Zhang, Multicore Technology: Architecture, Reconfiguration and Modeling, ch. 8. CRC Press, ISBN-10: 1439880638, 2013.
7. J. Liedtke, H. Härtig, and M. Hohmuth, "OS-controlled cache predictability for real-time systems," in the 3rd IEEE Realtime Technology and Applications Symposium, 1997.
8. PCI: http://wiki.osdev.org/PCI.
9. M. Danish, Y. Li, and R. West, "Virtual-CPU scheduling in the Quest operating system," in Proceedings of the 17th Real-Time and Embedded Technology and Applications Symposium, pp. 169-179, 2011.
10. K. Adams and O. Agesen, "A comparison of software and hardware techniques for x86 virtualization," in Proceedings of the 12th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, pp. 2-13, 2006.
11. G. Banga, P. Druschel, and J. C. Mogul, "Resource Containers: A new facility for resource management in server systems," in Proceedings of the 3rd USENIX Symposium on Operating Systems Design and Implementation, 1999.
12. L. Abeni and G. Buttazzo, "Integrating multimedia applications in hard real-time systems," in Proceedings of the 19th IEEE Real-time Systems Symposium, pp. 4-13, 1998.
13. Z. Deng, J. W. S. Liu, and J. Sun, "A scheme for scheduling hard real-time applications in open system environment," in Proceedings of the 9th Euromicro Workshop on Real-Time Systems, 1997.
14. M. Spuri and G. Buttazzo, "Scheduling aperiodic tasks in dynamic priority systems," Real-Time Systems, vol. 10, pp. 179-210, 1996.
15. B. Sprunt, L. Sha, and J. Lehoczky, "Aperiodic task scheduling for hard real-time systems," Real-Time Systems Journal, vol. 1, no. 1, pp. 27-60, 1989.
16. M. Stanovich, T. P. Baker, A. I. Wang, and M. G. Harbour, "Defects of the POSIX sporadic server and how to correct them," in Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010.
17. AUTOSAR: AUTomotive Open System ARchitecture-http://www.autosar.org.
18. "Puppy Linux." http://www.puppylinux.org.
19. R. Russell, "Virtio: Towards a de-facto standard for virtual I/O devices," SIGOPS Operating Systems Review, vol. 42, no. 5, pp. 95-103, 2008.
20. A. Menon, J. R. Santos, Y. Turner, G. J. Janakiraman, and W. Zwaenepoel, "Diagnosing performance overheads in the Xen virtual machine environment," in Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, pp. 13-23, 2005.
21. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," Journal of the ACM, vol. 20, no. 1, pp. 46-61, 1973.
22. A. Crespo, I. Ripoll, and M. Masmano, "Partitioned embedded architecture based on hypervisor: The XtratuM approach.," in the European Dependable Computing Conference, pp. 67-72, 2010.
23. "LynxSecure Embedded Hypervisor and Separation Kernel." http://www.lynuxworks.com/virtualization/hypervisor.php.
24. "SYSGO PikeOS." http://www.sysgo.com/products/pikeosrtos-and- virtualization-concept.
25. G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, and S. Winwood, "seL4: Formal verification of an OS kernel," in the 22nd ACM Symposium on Operating Systems Principles, pp. 207-220, 2009.
26. A. Gordon, N. Amit, N. Har'El, M. Ben-Yehuda, A. Landau, A. Schuster, and D. Tsafrir, "ELI: Bare-metal performance for I/O virtualization," in Proceedings of the 17th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, pp. 411-422, 2012.
27. J. Szefer, E. Keller, R. B. Lee, and J. Rexford, "Eliminating the hypervisor attack surface for a more secure cloud," in Proceedings of the 18th ACM Conference on Computer and Communications Security, pp. 401-412, 2011.
28. A. Belay, A. Bittau, A. Mashtizadeh, D. Terei, D. Mazieres, and C. Kozyrakis, "Dune: Safe user-level access to privileged CPU features," in the 10th USENIX conference on Operating Systems Design and Implementation, pp. 335-348, 2012.
29. R. Nikolaev and G. Back, "VirtuOS: An operating system with kernel virtualization," in the 24th ACM Symposium on Operating Systems Principles, pp. 116-132, 2013.
30. D. Wentzlaff and A. Agarwal, "Factored operating systems (FOS): The case for a scalable operating system for multicores," SIGOPS Operating Systems Review, vol. 43, pp. 76-85, 2009.
31. S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, M. F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. hua Dai, Y. Zhang, and Z. Zhang, "Corey: An operating system for many cores," in the 8th USENIX Symposium on Operating Systems Design and Implementation, pp. 43-57, 2008.
32. J. Chapin, M. Rosenblum, S. Devine, T. Lahiri, D. Teodosiu, and A. Gupta, "Hive: Fault containment for shared-memory multiprocessors," in Proceedings of the 15th ACM Symposium on Operating Systems Principles, pp. 12-25, 1995.
33. E. Bugnion, S. Devine, and M. Rosenblum, "Disco: Running commodity operating systems on scalable multiprocessors," in Proceedings of the 16th ACM Symposium on Operating Systems Principles, pp. 143-156, 1997.
34. D. Abramson, J. Jackson, S. Muthrasanallur, G. Neiger, G. Regnier, R. Sankaran, I. Schoinas, R. Uhlig, B. Vembu, and J. Wiegert, "Intel virtualization technology for directed I/O," Intel Technology Journal, vol. 10, pp. 179-192, August 2006.
35. R. Wojtczuk and J. Rutkowska, "Following the white rabbit: Software attacks against Intel VT-d technology," April 2011. Inivisible Things Lab.