利用静态分析：RTLola 的集成开发环境
Leveraging Static Analysis: An IDE for RTLola
AI总结：
本文介绍 RTLola Playground，一个基于浏览器的 RTLola 运行时监控框架开发环境，通过静态分析结果探索和逐步执行调试，帮助开发者编写和理解规范。
摘要：
运行时监控是保证信息物理系统安全的重要组成部分。近年来，基于形式化规范语言的运行时监控框架得到了快速发展。这些语言为描述系统行为提供了有价值的抽象。然而，编写规范仍然具有挑战性，因为规范编写者需要跟踪流的时间行为。本文介绍了 RTLola Playground，这是一个基于浏览器的开发环境，用于基于流的运行时监控框架 RTLola。它提供了探索 RTLola 静态分析结果的新方法，利用这种形式化语言的优势来支持开发者编写和理解规范。规范在浏览器中本地执行，绘制结果流的值，从而支持直观的测试。基于用户提供的系统轨迹的逐步执行使得能够调试已识别的错误。
英文摘要：
Runtime monitoring is an essential part of guaranteeing the safety of cyber-physical systems. Recently, runtime monitoring frameworks based on formal specification languages gained momentum. These languages provide valuable abstractions for specifying the behavior of a system. Yet, writing specifications remains challenging as, among other things, the specifier has to keep track of the timing behavior of streams. This paper presents the RTLola Playground, a browser-based development environment for the stream-based runtime monitoring framework RTLola. It features new methods to explore the static analysis results of RTLola, leveraging the advantages of such a formal language to support the developer in writing and understanding specifications. Specifications are executed locally in the browser, plotting the resulting stream values, allowing for intuitive testing. Step-wise execution based on user-provided system traces enables the debugging of identified errors.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
