论文标题
安全关键网络物理系统的异构运行时验证
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
论文作者
论文摘要
先进的嵌入式系统技术是网络物理系统快速增长（CPS）应用程序的关键驱动力之一。网络物理系统由多个协调和协作组件组成，这些组件通常是软件密集型的，并且相互交互以实现前所未有的任务。如此复杂的CPS具有多个攻击表面和我们必须保护的攻击向量。为了实现这一目标，我们演示了一个多级运行时安全和安全监视器框架，其中CPS上有监视器以检测和隔离攻击。我们使用基于流的运行时验证工具（Tessla）在FPGA上实现了运行时监视器。我们展示了我们的自动紧急制动（AEB）CPS系统的监控计划。
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.
