Embedded OS

Next Generation Avionics Software Design Based on Software Virtualization