icon-carat-right menu search cmu-wordmark

Rapid Certifiable Trust

Presentation
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

Topic or Tag

Watch

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.