search menu icon-carat-right cmu-wordmark

Rapid Certifiable Trust

November 2021 Presentation
Dionisio de Niz

Rapid Certifiable Trust seeks to scale the use of formal verification to increase the speed of validation and, consequently, the speed of DoD capability fielding.

Publisher:

Software Engineering Institute

Abstract

The DoD needs to increase the speed of capability fielding. In many cases, these capabilities require interactions with the physical world and must be validated against safety-critical failures. These systems are known as cyber-physical systems (CPS). The validation of CPS is a critical bottleneck that must be overcome to enable rapid fielding. In this project, Rapid Certifiable Trust, the SEI’s Dio de Niz leads a team focused on the scalable use of formal verification to increase the speed of validation.