Cyber Assured Systems Engineering (CASE)
Abstract
The Cyber Assured Systems Engineering (CASE) program developed the design, analysis and verification tools needed to allow systems engineers to design-in cyber resiliency and manage tradeoffs as they do other quality attributes 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 formulated cyber resilience as an explicitly engineered property, similar to other holistic properties such as safety, durability, and reliability now standard in systems engineering. The challenge of resiliency is that it cannot be established through conventional testing methods. CASE focused 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. CASE technologies 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, 2024
- Source ID
- dc346c6d0b025955657dd9211480a7fd