2011 IEEE/AIAA 30th Digital Avionics Systems Conference · 2011 · 12 citations · 0 references
ComputingComputer EngineeringComputer SystemsOperating SystemsVirtualizationFull VirtualizationHardware VirtualizationOperating System VirtualizationVirtualization ArchitectureArinc 664Kernel-based Virtual MachineSystem VirtualizationVirtualization ExtensionsVirtualization SupportXml Schema DesignXml Schema Languages
• Extension of XML Schema to Specify VMM and Guest Domains • Design of Full Virtualization based ARINC 653 Partitioning — Can support well-known VMMs (i.e., VMware and VirtualBox) • Performance Measurement — System initialization overhead — Boot-up overhead Issue — Kernel-level vs. user-level