High-Assurance Cyber Military Systems (HACMS)
The goal of the High-Assurance Cyber Military Systems (HACMS) program is to create technology for the construction of high-assurance, cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. Achieving this goal requires a fundamentally different approach from what the software community has taken to date. HACMS will adopt a clean-slate, formal methods–based approach that enables semi-automated code synthesis from executable, formal specifications.
Posting Date: February 23, 2012
Response Date: July 10, 2012
Solicitation Number: DARPA-BAA-12-21
Notice Type: Combined Synopsis/Solicitation
Agency: Other Defense Agencies
Office: Defense Advanced Research Projects Agency
Location: Contracts Management Office
See the full DARPA-BAA-12-21solicitation.