3Masmano M,Ripoll I,Grespo A.Xtratum:A Hypervisor for Safety Critical Embedded Systems[C]//Proceedings of the 11th Real-time Linux Workshop.Dreden,Germany:[s.n.],2009:28-30.
4Masmano M,Ripoll I,Grespo A.Xtratum for Leon3:An Open Source Hypervisor for High Integrity Systems[C]//Proceedings of European Conference on Embedded Real Time Software and Systems.Toulouse,France:[s.n.],2010:19-21.
5Masmano M,Ripoll I,Grespo A.Xtratum:An Open Source Hypervisor for TSP Embedded Systems in Aerospace[C]//Proceedings of DASIA’09.Istanbul,The Republic of Turkey:[s.n.],2009:512-520.
6Masmano M,Ripoll I,Grespo A.Lith OS:A ARINC-653Guest Operating for Xtratum[C]//Proceedings of the12th Real-time Linux Workshop.Dreden,Germany:Springer,2010:326-331.
7Airlines Electronic Engineering Committee.Avionics Application Softw are Standard Interface(ARINC Specification 653-1)[Z].2007.
8XtratuMHypervisor for INTEL x86,Volume 2:User Manual[Z].2012.
9XtratuMHypervisor for INTEL x86,Volume 3:Reference Manual[Z].2012.
