RTLola

RTLola is a monitoring framework. It consist of a parser, analyzer, and interpreter for the RTLola specification language.

Discontinued! See RTLola-Frontend / RTLola-Interpreter

This repository is archived but development continues. Check out our new repos: RTLola-Frontend RTLola-Interpreter

Modules

The implementation is split into the following modules

• frontend: parsing, type checking, analysis, and lowering into an Intermediate Representation
• interpreter: an interpreter that runs a monitor based on the Intermediate Representation from the frontend

Documentation

• Syntax doc/syntax.md
• Development doc/development.md
• Rust API: target/doc/rtlola_frontend/index.html, target/doc/rtlola_interpreter/index.html (Note: if you want to build the documentation, use cargo doc)

Contributors

This project is based on research by the following people:

• Jan Baumeister
• Peter Faymonville
• Bernd Finkbeiner
• Florian Kohn
• Malte Schledjewski
• Maximilian Schwenger
• Leander Tentrup
• Hazem Torfah

Find out more on rtlola.org.