search menu icon-carat-right cmu-wordmark

Rapid Certifiable Trust (video)

November 2019 Video
Dionisio de Niz

Watch SEI principal investigator Dr.Dionisio deNiz discuss research on verification techniques to reduce the deployment time of cyber-physical systems such as unmanned vehicles and aircraft, by reducing the overall development and assurance times.

Publisher:

Software Engineering Institute

Watch

Abstract

We are developing compositional verification techniques to allow us to use multiple enforced components minimizing and automatically removing conflicting enforcer assumptions (e.g., reducing a plane’s airspeed to avoid crash while increasing airspeed to prevent stalling). These techniques will allow us to assure full-scale systems, even if most of their functionality is implemented by unverified components. Our objective is to develop enforcement verification techniques that scale to at least 10 enforced controllers.