Weaklyhard. jl: Scalable analysis of weakly-hard constraints
Weakly-hard models have been used to analyse real-time systems subject to patterns of deadline hits and misses. However, the tools that are available in the literature have a set of shortcomings. The analysis they offer is limited to a single weaklyhard constraint and to patterns that specify the number of misses, rather than the number of hits. Furthermore, the scalability of the tools is limited
