Secure Software Components Leveraging the seL4 Microkernel

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

US Flag An Official Website of the United States Government