Abstract Accepted to 35th Digital Avionics Systems Conference
An abstract titled “The Open Source, Formally-Proven seL4
Microkernel: Considerations for Use in Avionics” has been accepted for the 2016 Digital Avionics Systems Conference (DASC) in Sacramento, CA in September. The author of the proposed paper is Steven H. VanderLeest, Chief Operating Officer at DornerWorks. The paper will explore the open source seL4 microkernel, the world’s first formally proven microkernel. The seL4 microkernel is intentionally very limited in functionality, providing the bare minimum features to isolate software functionality. In this paper we compare and contrast seL4 to a well known open source hypervisor, Xen, and analyze the suitability of each for use in digital avionics systems requiring high levels of safety and/or security.