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.