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.
Software Engineering Institute
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.