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.

中文翻译：

---

安全关键网络物理系统的异构运行时验证

先进的嵌入式系统技术是推动信息物理系统 (CPS) 应用快速增长的关键驱动力之一。信息物理系统由多个协调和协作组件组成，这些组件通常是软件密集型的，并且相互交互以完成前所未有的任务。如此复杂的 CPS 有多个攻击面和攻击向量，我们必须加以防范。为实现这一目标，我们展示了一个多级运行时安全和安全监控框架，其中跨 CPS 有监控器用于检测和隔离攻击。我们使用名为 TeSSLa 的基于流的运行时验证工具在 FPGA 上实现运行时监视器。我们展示了我们对自主紧急制动 (AEB) CPS 系统的监控方案。