论文标题
监视网络物理系统：从设计到集成
Monitoring Cyber-Physical Systems: From Design to Integration
论文作者
论文摘要
网络物理系统本质上是安全至关重要的。运行时监视器的部署大大提高了对安全性的信心。可以通过考虑其在开发过程中不可或缺的组件来最大化监视器的有效性。因此，在本文中，我概述了有关运行时监控器与网络物理系统一起开发过程的最新工作。此过程包括将理想的安全性属性转换为正式规范语言Rtlola。然后，编译器生成可执行的工件以监视规范。然后可以将此工件集成到系统中。
Cyber-physical systems are inherently safety-critical. The deployment of a runtime monitor significantly increases confidence in their safety. The effectiveness of the monitor can be maximized by considering it an integral component during its development. Thus, in this paper, I given an overview over recent work regarding a development process for runtime monitors alongside a cyber-physical system. This process includes the transformation of desirable safety properties into the formal specification language RTLola. A compiler then generates an executable artifact for monitoring the specification. This artifact can then be integrated into the system.
