TECHSHOT, INC. — Department of Defense SBIR Phase I: SB151-003
TECHSHOT, INC. — SBIR Phase I award from Department of Defense.
- Amount
- $149,948
- Agency
- Department of Defense · Defense Advanced Research Projects Agency
- Program / Phase
- SBIR · Phase I
- Topic
- SB151-003
- Solicitation
- 2015.1
- NAICS
- —
- Place of performance
- IN
- Period
- 2015-06-11 → 2016-04-14
Description
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.