Hi Steven,

On Tue, Jun 10, 2025 at 11:43:25AM +0200, Nam Cao wrote:

Real-time applications may have design flaws causing them to have
unexpected latency. For example, the applications may raise page faults, or
may be blocked trying to take a mutex without priority inheritance.

However, while attempting to implement DA monitors for these real-time
rules, deterministic automaton is found to be inappropriate as the
specification language. The automaton is complicated, hard to understand,
and error-prone.

For these cases, linear temporal logic is found to be more suitable. The
LTL is more concise and intuitive.

This series adds support for LTL RV monitor, and use it to implement two
monitors for reporting problems with real-time tasks.

Is there any chance this series could be applied soon? I have some more
patches which depend on this series, so it is holding up the show. I think
Gabriele needs this applied for his patches as well.

Best regards,
Nam