GREENSIGHT INC. — Department of Defense SBIR Phase II: HR001119S0035-20
GREENSIGHT INC. — SBIR Phase II award from Department of Defense.
- Amount
- $3,099,933
- Agency
- Department of Defense · Defense Advanced Research Projects Agency
- Program / Phase
- SBIR · Phase II
- Topic
- HR001119S0035-20
- Solicitation
- DARPA HR001119S0035-20
- NAICS
- —
- Place of performance
- MA
- Period
- 2020-03-02 → 2022-06-01
Description
HASHTAG is a secure computing stack designed to assure the security of heterogeneous robotics swarms. Based on a formally verified microkernel operating system, a domain specific language is defined for swarm control operations, formally verified by design. A secure distributed communications system is integrated which allows for transparent distribution of shared information among the swarm over a specialized multicast capable mesh network, implemented as a custom SDR, and formally verified for security. System modeling is utilized to verify correct swarm operation at all times, allowing for the detection of anomalous node behavior either due to malfunction or malicious attack. In this project, HASHTAG is implemented, demonstrated and validated on a lab based hardware system as well as a swarm of physical unmanned aerial vehicles.