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.