Assuring Increasingly Autonomous Cyber-Physical Systems Collection
• Collection
Publisher
Software Engineering Institute
Abstract
As developers continue to build greater autonomy into cyber-physical systems (CPSs), such as unmanned aerial vehicles (UAVs) and automobiles, these systems aggregate data from an increasing number of sensors. The systems use this data for control and for otherwise acting in their operational environments. However, more sensors create not only more data and more precise data, but they require a complex architecture to correctly transfer and process multiple data streams. This increases in complexity comes with additional challenges for functional verification and validation (V&V), a greater potential for faults (errors and failures), and a larger attack surface. What’s more, CPSs often cannot distinguish faults from attacks.
To address these challenges, researchers from the SEI and Georgia Tech collaborated on an effort to map the problem space and develop proposals for solving the challenges of increasing sensor data in CPSs. The resources in this collection describe the research threads aimed at subcomponents of the problem:
- addressing error propagation induced by learning components
- mapping fault and attack scenarios to the corresponding detection mechanisms
- defining a security index of the ability to detect tampering based on the monitoring of specific physical parameters
- determining the impact of clock offset on the precision of reinforcement learning (RL)
Collection Items
A Modular Approach to Verification of Learning Components in Cyber-Physical Systems
• Conference Paper
By Lijing Zhai (Georgia Institute of Technology), Aris Kanellopoulos (Georgia Institute of Technology), Filippos Fotiadis (Georgia Institute of Technology), Kyriakos G. Vamvoudakis (Georgia Institute of Technology), Jerome Hugues
In this paper, the authors provide a framework that enables the operator of a cyber-physical system to assess its operation in the presence of data-driven, learning components.
ReadImpact of Sensor and Actuator Clock Offsets on Reinforcement Learning
• Conference Paper
By Filippos Fotiadis (Georgia Institute of Technology), Aris Kanellopoulos (Georgia Institute of Technology), Kyriakos G. Vamvoudakis (Georgia Institute of Technology), Jerome Hugues
In this work, we investigate the effect of sensor-actuator clock offsets on reinforcement learning (RL) enabled cyber-physical systems.
ReadTowards Intelligent Security for Unmanned Aerial Vehicles: A Taxonomy of Attacks, Faults, and Detection Mechanisms
• Conference Paper
By Lijing Zhai (Georgia Institute of Technology), Aris Kanellopoulos (Georgia Institute of Technology), Filippos Fotiadis (Georgia Institute of Technology), Kyriakos G. Vamvoudakis (Georgia Institute of Technology), Jerome Hugues
In this extended paper, the authors provide two mappings using a fault taxonomy as a pivot.
ReadA Graph-Theoretic Security Index Based on Undetectability for Cyber-Physical Systems
• Conference Paper
By Lijing Zhai (Georgia Institute of Technology), Kyriakos G. Vamvoudakis (Georgia Institute of Technology), Jerome Hugues
In this paper, the authors investigate the conditions for the existence of dynamically undetectable attacks and perfectly undetectable attacks.
Read