Dr. Dionisio de Niz Rapid Certification of Trust The goal of this project is to reduce the deployment time of Military Cyber-Physical Systems (CPS) by reducing the development and assurance time. We will do this by enabling the use of unverified commodity software components (e.g., open source drone piloting software) guarded by verified enforcers that guarantees that unsafe component behavior is contained.
