Mission-critical systems require high-assurance solutions that enable a new level of advanced security against emerging threats for today's warfighter. Without foundational security and verified correct operation, mission and safety-critical applications can be put at great risk. Enhancing warfighter capabilities and security is key. This webcast of industry experts will uncover a unique integration with the combination of the seL4 microkernel and DO-178C design assurance level A (DAL-A) to enable robust security and verified correct operation for mission critical applications. Developers will learn how to leverage these key technologies to ensure a safe and secure system design, with enhanced performance and flexibility.
Gary Gilliland is a Technical Marketing Manager at DDC-I, where he is responsible for technical marketing functions with an emphasis on the DO-178C safety-critical Deos real-time operating system. He has over 20 years of experience in development...
Technology Strategy Leader for DornerWorks Secure Technologies engineering group
Nathan Studer has worked on safety-critical/mission-critical systems for almost 20 years, and has been working on embedded hypervisor applications for 10 of those. He obtained his undergraduate degree in Electrical Engineering from Calvin College...