  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.
