Jul, 2018
Cooperative, Trusted Software Repair for Cyber Physical System Resiliency
Air Force Research Laboratory (Wright-Patterson Air Force Base, Ohio). Information Directorate
Weimer, Westley; Forrest, Stephanie; Le Goues, Claire; Kim, Miryung
"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."
  • URL
  • Authors
    Weimer, Westley
    Forrest, Stephanie
    Le Goues, Claire
    Kim, Miryung
  • Publisher
    Air Force Research Laboratory (Wright-Patterson Air Force Base, Ohio). Information Directorate
  • Report Number
  • Date
    Jul, 2018
  • Copyright
    Public Domain
  • Retrieved From
    Defense Technical Information Center (DTIC): www.dtic.mil/dtic/
  • Format
  • Media Type
  • Subjects
    Infrastructure protection/Computer networks
    Cyberspace and Cybersecurity

Citing HSDL Resources

Documents from the HSDL collection cannot automatically be added to citation managers (e.g. Refworks, Endnotes, etc). This HSDL abstract page contains some of the pieces you may need when citing a resource, such as the author, publisher and date information. We highly recommend you always refer to the resource itself as the most accurate source of information when citing. Here are some sources that can help with formatting citations (particularly for government documents).

Worldcat: http://www.worldcat.org/

Indiana University Guide: Citing U.S. Government Publications: http://libraries.iub.edu/guide-citing-us-government-publications
Clear examples for citing specific types of government publications in a variety of formats. It does not address citing according to specific style guides.

Naval Postgraduate School: Dudley Knox Library. Citing Styles: http://libguides.nps.edu/citation
Specific examples for citing government publications according to APA and Chicago style guides. Click on the link for your preferred style then navigate to the specific type of government publication.

Scroll to Top