Partial-Order Reduction in Reachability-based Response-Time Analyses

The temporal correctness of safety-critical systems is typically guaranteed via a response-time analysis, whose goal is to determine the worst-case response time (WCRT) of a set of input jobs when they are scheduled by a given scheduling policy on a computing resource. <br/>However, response-time analysis is a hard problem to solve, with most...