Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
This work addresses security challenges in safety-critical CPS applications, such as autonomous vehicles, but appears incremental as it applies existing runtime verification methods to a specific domain.
The authors tackled the problem of securing complex Cyber-Physical Systems (CPS) against attacks by developing a multilevel runtime safety and security monitor framework, which they demonstrated on an Autonomous Emergency Braking system using FPGA implementation with the TeSSLa tool.
Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are comprised of multiple coordinating and cooperating components, which are often software intensive and interacting with each other to achieve unprecedented tasks. Such complex CPSs have multiple attack surfaces and attack vectors that we have to secure against. Towards this goal, we demonstrate a multilevel runtime safety and security monitor framework where there are monitors across the CPS for detection and isolation of attacks. We implement the runtime monitors on FPGA using a stream-based runtime verification tool called TeSSLa. We demonstrate our monitoring scheme for an Autonomous Emergency Braking (AEB) CPS system.