ARCOS Tool Portal Now Open

We are pleased to announce the launch of the Automated Rapid Certification of Software (ARCOS) Tool Portal, a community-accessible resource hosting simulators, verification tools, and tool suites developed through the DARPA ARCOS program. The portal provides design studios and capabilities for high-quality assurance evidence generation, data curation, and assurance case development. The ARCOS program was designed to modernize and accelerate the certification of software within the Department of Defense (DoD). Traditional certification practices rely heavily on human evaluators and lack scalable methods for decomposing and reusing assurance evidence. These limitations often result in inconsistent, slow, and costly certification processes. ARCOS advanced methods for automating the generation, curation, and assessment of assurance evidence by leveraging model-based design, probabilistic model checking, “Big Code” analytics, mathematically rigorous verification, and assurance case languages. The ARCOS Tool Portal ensures that the tools, data, and lessons learned from the program remain accessible to support continued innovation in software assurance. 

Explore the ARCOS Tool Portal here: Home | Automated Rapid Certification Of Software (ARCOS)