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...

Response-Time Analysis for Non-Preemptive Global Scheduling with Spin Locks

With the proliferation of multicore platforms, the embedded systems world has shifted more and more towards multiprocessing to make use of high computing power and increased cyber functionalities. Although today multiprocessor platforms have been extensively adopted by real-time embedded systems, there exists a need for tools and techniques that...