Transferring VTSs to stream-based monitoring frameworks

Investigate how the concept of verdict transition systems (VTSs) can be extended or adapted to stream-based runtime monitoring approaches that are not based on automata, such as LOLA, TeSSLa, RTLola, and Striver, and determine whether and in what form the VTS framework transfers to these settings.

Background

The paper introduces verdict transition systems (VTSs) as a unifying automata-theoretic foundation for configuration monitoring, runtime monitoring, and fault diagnosis, demonstrating how classical automata-based monitors and diagnosers can be cast as VTSs.

Beyond automata-based approaches, the runtime verification community also uses stream-based frameworks (e.g., LOLA, TeSSLa, RTLola, Striver), which are not expressed via automata. The authors explicitly state that how the VTS framework might transfer to such non-automata settings is left for future work, making this an open question.

References

For approaches not based on automata, like stream-based monitoring (e.g. ), we leave it to future work to explore how the generic concept of VTSs may transfer.

— Configuration Monitor Synthesis  (2408.17368 - Köhl et al., 2024) in Subsection ‘A Unifying Foundation for Monitoring and Diagnosis?’ (Section 3)