Partitioned embedded architecture based on hypervisor: The XtratuM approach

EDCC-8 - Proceedings of the 8th European Dependable Computing Conference

Volumn , Issue , 2010, Pages 67-72

  Crespo, A ^a   Ripoll, I ^a   Masmano, M ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Hypervisor; Real time; Secure kernel

Indexed keywords

AEROSPACE SECTORS; AVIONIC INDUSTRY; DESIGN CRITERION; EMBEDDED ARCHITECTURE; HYPERVISOR; INTEGRATED MODULAR AVIONICS; OPERATING SYSTEMS; PARTITIONED SYSTEMS; SPATIAL ISOLATION; VIRTUAL MACHINES; VIRTUALISATION; VIRTUALIZATIONS;

COMPUTER OPERATING SYSTEMS;

AVIONICS;

EID: 77954320759     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC.2010.18     Document Type: Conference Paper

References (11)

1. J. Rushby, "Design and verification of secure systems," vol. 15, no. 5, Pacific Grove, California, Dec 1981, pp. 12-21.
2. Avionics Application Software Standard Interface (ARINC-653), March 1996, airlines Electronic Eng. Committee.
3. I. Corporation, "IBM systems virtualization. Version 2 Release 1 (2005)," http://publib.boulder.ibm.com/infocenter/-eserver/v1r2/topic/ eicay/eicay.pdf.
4. R. Goldberg, "Survey of virtual machine research." IEEE Computer Magazine, vol. 7, no. 6, pp. 34-45, 1974.
5. D. B. Golub, R. W. Dean, A. Forin, and R. F. Rashid, "Unix as an application program," in USENIX Summer, 1990, pp. 87-95.
6. J. Liedtke, "On microkernel construction," in Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15), Copper Mountain Resort, CO, Dec. 1995. [Online]. Available: http://l4ka.org/publications/.
7. M. Masmano, I. Ripoll, and A. Crespo, "Introduction to XtratuM," 2005. [Online]. Available: http://www.xtratum.org/doc/papert/ xtratumintro.pdf.
8. G. Research, "Leon2 processor users manual," http://www.gaisler.com.
9. P. Arberet, J.-J. Metge, O. Gras, and A. Crespo, "TSP-based generic payload on-board software," in DASIA 2009. DAta Systems In Aerospace., May. Istanbul 2009.
10. P. Arberet and J. Miro, "IMA for space : status and considerations," in ERTS 2008. Embedded Real-Time Software., Jannuary. Toulouse. France 2008.
11. A. V. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.