You are here

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
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Solicitation Year: 2015
Award Year: 2015
Award Start Date (Proposal Award Date): 2015-06-11
Award End Date (Contract End Date): 2016-04-14
Small Business Information
7200 Highway 150
Greenville, IN 47124-9515
United States
DUNS: 621970383
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
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. *

US Flag An Official Website of the United States Government