–
Project Lead: Mr. William Martin
Sponsoring Organization: DARPA
Website: https://www.darpa.mil/program/cyber-assured-systems-engineering
Project Synopsis: The goal of CASE is to develop the design, analysis and verification tools necessary to allow system engineers to bake in cyber resiliency and manage tradeoffs when designing complex embedded computing systems. Cyber resiliency means the system is tolerant to cyber attacks in the same way that safety-critical systems are tolerant to random faults — they recover and continue to execute their mission function.