This talk will begin with a short discussion of DARPA’s history, mission, and structure.

The state-of-the-art in systems engineering is very adept at engineering systems for a variety of non-functional properties. These properties include such things as reliability, durability, availability, etc. Colloquially, these properties, which include safety and performance, are known as the –ilities. Unfortunately, cyber properties are not included in the systems engineering domain. A new program at DARPA is looking to advance the state-of-the-art in formal methods technologies to allow systems to be designed for cyber resiliency. This talk will highlight the technical challenges and the approached being developed by the Cyber Assured Systems Engineering (CASE) program.