Software Engineering Institute

The Department of Defense (DoD) fields new cyber-physical systems (CPS) at an increasingly rapid pace. System verification techniques must adapt to a faster deployment cadence, especially for CPS that are too big for traditional verification techniques and/or involve unpredictable aspects (such as machine learning). The goal of Rapid Certifiable Trust is to reduce the deployment time of CPS by speeding up safety validation and assurance. It verifies a small part of a system and protects the verified components. Unverified components (e.g., open source software) are guarded by verified enforcers that limit unsafe behavior. Compositional verification techniques allow the use of multiple enforced components, which minimizes and automatically removes conflicting enforcer assumptions. The assurance techniques of Rapid Certifiable Trust can be applied to full-scale CPS even when most system functionality is implemented by unverified components.