Secure Software Components Leveraging the seL4 Microkernel

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: D15PC00117
Agency Tracking Number: D151-003-0044
Amount: $149,948.00
Phase: Phase I
Program: SBIR
Awards Year: 2015
Solicitation Year: 2015
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Small Business Information
7200 Highway 150, Greenville, IN, 47124-9515
DUNS: 621970383
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Brad Luyster
 Electrical Engineer
 (812) 923-9591
Business Contact
 Mr. Mark Deuser
Title: program manager
Phone: (812) 923-9591
Research Institution
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 Techshots 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.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government