Project Lead: Mr. William Martin
Sponsoring Organization: DARPA
Project Synopsis: ARCOS’s goal is to automate the evaluation of software assurance evidence to help certifiers rapidly determine whether system risk is acceptable. ARCOS will explore techniques for automating the evidence generation process for new and legacy software; create a means of curating evidence while maintaining its provenance; and develop technologies to automate construction of assurance cases, and validate and assess the confidence of an assurance case argument. The evidence generation, curation, and assessment technologies will form ARCOS tools and processes, working collectively to provide a scalable means of accelerating the pathway to certification.