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, 2024
Source ID
c7999da98b2da17e1089956c98c417a9

Tags

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Software Engineering.

Related Documents