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

Jean Stack, John Song, Tony Frazier and JD Parkes. The four Wash100 winners gathered at Baird's 2025 Defense & Government Conference.
Key Takeaways From Baird’s 2025 Defense & Government Conference

Co-authored with Pat Host For eight years, investment banking firm Baird has brought the government contracting community a sterling conference every November to take the pulse on the industry’s current...

Wash100. These government leaders are shaping policy in critical capabilities including cyber, 5G, unmanned aircraft systems and space technologies.
Saluting First-Time 2025 Wash100 Winners From Government

The annual Wash100 Award represents the apex of an executive’s career. Issued by Executive Mosaic, the GovCon industry’s leading events, media and membership organization, the first-time winners from the class...

U.S. Capitol. Dig into the five core values that every Wash100 honoree embodies, values that transform the benchmarks of leadership in GovCon
The Five Foundational Values of the Wash100 Award

The Wash100 Award is the ultimate achievement in a GovCon executive’s career. The award, created by Executive Mosaic in 2014, is the yearly recognition of GovCon leaders who demonstrate excellence...