Secure Software Components Leveraging the seL4 Microkernel

Period of Performance: 01/01/2015 - 12/31/2015


Phase 1 SBIR

Recipient Firm

Techshot, Inc.
7200 Highway 150 Array
Greenville, IN 47124
Principal Investigator


Techshot proposes the L4 ArchitectUre for Next-generation Crewed Hardware (LAUNCH), a set of open-source software components that leverages the verified separation kernel of seL4 to create a robust achievable system that can be used to reduce the cost and development time of highly reliable systems like those used on crewed space flight. With over a 25 year history of developing life science payloads for several NASA space flights, Techshot is well-positioned to create this innovative and reusable software that can be utilized for any system that requires a high degree of software reliability and assurance. LAUNCH will use Techshot?s extensive catalog of successful space flight projects to identify components common to high-reliability systems, including space flight, defense systems and those used in industrial and public utility process control.