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
