DARPA Awards GrammaTech $7.6M for Safety and Certification Research

GrammaTech, Inc., a leading developer of advanced commercial static analysis/software assurance products and advanced cybersecurity solutions, announces that it has been awarded a $7.6 million, four-year contract from Defense Advanced Research Projects Agency (DARPA).

Automated Rapid Certification of Software (ARCOS) is a DARPA program focused on generating evidence and assurance cases for a broad range of certification and/or accreditation standards. GrammaTech will develop technology that produces high-quality, traceable, and composable certification evidence for use in constructing assurance-case arguments for software that includes components available only in binary form. 

Share the Post:

Related Posts

Do you have what it takes to be a Wash100 Award nominee? Get the details here.
What Executive Mosaic Seeks in Wash100 Award Nominations

Executive Mosaic, the government contracting sector’s leading events and media organization, is thrilled to open nominations for the 2026 Wash100 Award season on Nov. 12. Since 2014, the Wash100 Award...

Carey Smith, John Heller, Kevin Kelly, Stevan Slijepcevic, Lloyd Austin and Sam Maness. These six Wash100 winners spoke at a recent industry event.
Raymond James’ 2025 Defense & Government Conference: 5 Key Takeaways

Raymond James’ 2025 Defense & Government Conference brought together leaders shaping the future of defense technology, policy and acquisition reform. Held Oct. 16 at Nationals Park in Washington, D.C., the...

Kristi Noem, a 2025 Wash100 Award winner, wields unmatched influence in President Trump’s second term.
Inside Kristi Noem’s DHS: What GovCons Should Know About Her Push for Smarter Spending

Kristi Noem, a 2025 Wash100 Award winner, wields unmatched influence in President Trump’s second term. As Department of Homeland Security secretary, she executes Trump’s immigration policies and commands $116 billion...