Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems

TL;DR

This paper presents a multilevel runtime safety and security monitoring framework for complex cyber-physical systems, implemented on FPGA using TeSSLa, demonstrated on an autonomous emergency braking system.

Contribution

It introduces a heterogeneous runtime verification approach with FPGA-based monitors for CPS security and safety, utilizing TeSSLa for stream-based verification.

Findings

Effective detection and isolation of attacks in CPS

Implementation of monitors on FPGA enhances performance

Successful demonstration on Autonomous Emergency Braking system

Abstract

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.