SBIR/STTR Research Award
Secure Software Components Leveraging the seL4 Microkernel
Award amount
$149,948Program and phase
SBIR · Phase IAward year
2015Award details
- Awarding agency
- Department of Defense
- Branch
- Defense Advanced Research Projects Agency
- Recipient company
- TECHSHOT, INC.
- Proposal award date
- 2015-06-11
- Contract end date
- 2016-04-14
- UEI
- EYSXHJ3R7S53
- Solicitation number
- 2015.1
- Topic code
- SB151-003
Research 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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Biopharmaceutical Uniform Crystallization Test Bed
- Biopharmaceutical Uniform Crystallization Test Bed
- In-Space Manufacturing of Microfluidic Chips for Biological Research
- Rodent Centrifuge Facility Quad Locker for ISS Life and Microgravity Science Research
- Rodent Centrifuge
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- A Secure Distributed Computing Middleware for the seL4 Ecosystem
- Leveraging Assurance on an seL4-Enabled Safe & Secure Soldier Helmet Display
- A Secure Distributed Computing Middleware for the seL4 Ecosystem
- Secure Software Components Leveraging the seL4 Microkernel
- Secure Software Components Leveraging the seL4 Microkernel
Research funding history
100 SBIR/STTR records share this UEI (1991–2021). Reported award amounts total $39,269,961. Reported amounts are not federal obligations.
Phases: Phase I, Phase II
Agencies: National Aeronautics and Space Administration, Department of Defense, Department of Health and Human Services, Department of Commerce, National Science Foundation