DornerWorks at the Digital Avionics Systems Conference (DASC)
DornerWorks Chief Operating Officer Steve VanderLeest presented a paper titled “The Open Source, Formally-Proven seL4 Microkernel: Considerations for Use in Avionics” at the 2016 Digital Avionics Systems Conference (DASC) in Sacramento, CA this week. The paper explores the open source seL4 microkernel, the world’s first formally proven microkernel. The seL4 microkernel is intentionally limited in functionality, providing the bare minimum features to isolate software functionality, but in return provide a rigorous assurance of correctness. VanderLeest’s paper considers the suitability of seL4 for use in digital avionics systems requiring high levels of safety and/or security. VanderLeest also served as the chair of a conference session on “Cyber Security and Information Management”.