Rapid Certifiable Trust
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.