File(s) not publicly available

FPGA Stream-Monitoring of Real-time Properties

journal contribution
posted on 2023-11-29, 18:07 authored by Jan BaumeisterJan Baumeister, Bernd FinkbeinerBernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
An essential part of cyber-physical systems is the online evaluation of real-time data streams. Especially in systems that are intrinsically safety-critical, a dedicated monitoring component inspecting data streams to detect problems at runtime greatly increases the confidence in a safe execution. Such a monitor needs to be based on a specification language capable of expressing complex, high-level properties using only the accessible low-level signals. Moreover, tight constraints on computational resources exacerbate the requirements on the monitor. Thus, several existing approaches to monitoring are not applicable due to their dependence on an operating system. We present an FPGA-based monitoring approach by compiling an RTLola specification into synthesizable VHDL code. RTLola is a stream-based specification language capable of expressing complex real-time properties while providing an upper bound on the execution time and memory requirements. The statically determined memory bound allows for a compilation to an FPGA with a fixed size. An advantage of FPGAs is a simple integration process in existing systems and superb executing time. The compilation results in a highly parallel implementation thanks to the modular nature of RTLola specifications. This further increases the maximal event rate the monitor can handle.


Preferred Citation

Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger and Hazem Torfah. FPGA Stream-Monitoring of Real-time Properties. In: ACM Transactions on Embedded Computing Systems. 2019.

Primary Research Area

  • Reliable Security Guarantees

Legacy Posted Date



ACM Transactions on Embedded Computing Systems

Open Access Type

  • Unknown

Sub Type

  • Article


@article{cispa_all_3073, title = "FPGA Stream-Monitoring of Real-time Properties", author = "Baumeister, Jan and Finkbeiner, Bernd and Schwenger, Maximilian and Torfah, Hazem", journal="{ACM Transactions on Embedded Computing Systems}", year="2019", }

Usage metrics


    No categories selected


    Ref. manager