A-CERT (Advancing Certification Evidence Rigor and Traceability) is a solution to automate the process of evidence generation when certifying software for use in high-assurance systems. Current certification processes rely on human-driven mechanisms for evidence generation. As the size and complexity of systems increases, the cost of producing and tracing evidence for certification outpaces the cost of development. Moreover, reuse of legacy and third-party software is hindered due to reliance on source code in order to generate certification evidence. Automated means to produce high-confidence evidence on the built, binary software could greatly reduce certification costs as well as enable cost savings through greater reuse.

A-CERT uses cutting-edge technologies to achieve several key automation goals:

This material is based upon work supported by the Air Force and DARPA under Contract(s) No. FA8750-20-C-1005, FA8650-16-M-1724, FA8650-18-C-1663 and FA8750-18-C-0141. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Air Force or DARPA.

About Contact Careers About Contact Careers GrammaTech Homepage