Cyber Assured Systems Engineering (CASE)
Abstract
The Cyber Assured Systems Engineering (CASE) program will develop the design, analysis and verification tools needed to allow system engineers to design-in cyber resiliency and manage tradeoffs as they do other nonfunctional properties when designing complex embedded computing systems. The current state of practice for cyber resilience utilizes penetration testing after system construction to drive post-design re-engineering. The CASE technical approach will be to formulate cyber resilience as an explicitly engineered property, similar to other holistic properties such as safety, durability, and reliability now standard in systems engineering. CASE will focus on the following technical areas: techniques to derive resilience-related requirements before system design and construction; architectural design and analysis tools to design-in the derived resilience requirements while providing feedback to the human designer to allow for informed tradeoffs between resilience and other system design goals; tools to adapt existing software to support system-level resilience requirements; and inference engines, satisfiability solvers, and provers scalable to complex networked cyber physical systems. If successful, CASE technologies will enable the design of cyber physical systems that robustly execute their intended function despite the efforts of sophisticated cyber adversaries.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2019
- Source ID
- d36eb9b8abcffc1161fe5684f4d9e9d9