Cooperative, Trusted Software Repair for Cyber Physical System Resiliency
Abstract
Cyber physical systems (CPS) form a ubiquitous, networked computing substrate, which is increasingly essential to our nation's civilian and military infrastructure. These systems must be highly resilient to adversaries, perform mission critical functions despite known and unknown vulnerabilities, and protect and repair themselves during or after operational failures and cyber-attacks. We believe that an automated CPS repair approach that can prevent failures of related, mission-critical systems is a necessary component to support the resiliency and survivability of our nation's infrastructure. We developed and evaluated techniques to cooperatively repair certain general classes of cyber physical systems, and to increase the confidence of human operators in the trustworthiness of the repairs and the subsequent system behavior. We used embedded systems platforms, including quadrotor autonomous vehicles, to demonstrate and validate our approach.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 27, 2018
- Accession Number
- AD1056764
Entities
People
- Claire Le Goues
- Miryung Kim
- Stephanie Forrest
- Westley Weimer
Organizations
- University of Virginia