Automated Rapid Certification Of Software (ARCOS)
Abstract
The Automated Rapid Certification Of Software (ARCOS) program is developing technologies that automate the capture and evaluation of software assurance evidence to enable certifiers to assess system risks earlier in the process and to commit to engineering decisions more rapidly and safely. Current software certification practices do not scale with the extent, complexity, and interconnection of software being developed by the DoD, so certification is becoming a bottleneck to new system deployment. ARCOS technologies address DoD software system certification time and cost. ARCOS technology will automatically and interactively generate strong assurance arguments that incorporate supporting evidence for certification criteria. ARCOS will also develop techniques to compose assurance arguments for pre-evaluated components into consolidated assurance arguments for new systems incorporating those components.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2025
- Source ID
- cd960a158762675aa1ea61ffcffe19fd