RTLola Interpreter

RTLola 是一个运行时监控框架。它包括 RTLola 规范语言的解析器、分析器和解释器。

此库提供了两个 API，用于通过解释来评估 RTLola 规范。如果您正在寻找一个现成的工具，请尝试 rtlola-cli 包，它提供了对解释器的命令行接口，可以解析 csv 和 pcap 文件。

有关 RTLola 框架的更多信息，请确保访问我们的网站： rtlola.org

RTLola 语言

以下是一个 RTLola 规范的示例

input a: Int64
input b: Int64

output x := a + b
trigger x > 2

在 CSV 格式的跟踪上评估

a,b,time
0,1,0.1
2,3,0.2
4,5,0.3

解释器将产生类似以下输出

rtlola-cli monitor example.spec --offline relative --csv-in example.csv 
Trigger: x > 2
Trigger: x > 2

版权

版权 (C) CISPA - 汉堡信息安全赫尔姆霍兹研究中心 2024。作者：Jan Baumeister、Florian Kohn、Stefan Oswald、Frederik Scheerer、Maximilian Schwenger。基于德国萨尔大学（C）2020年的原始工作。作者：Jan Baumeister、Florian Kohn、Malte Schledjewski、Maximilian Schwenger、Marvin Stenger 和 Leander Tentrup。