Scalable Computation of Inter-Core Bounds Through Exact Abstractions

Mohammed Aristide Foughali, Marius Mikučionis, Maryline Zhang

Real-time systems (RTSs) are at the heart of numerous safety-critical applications. An RTS typically consists of a set of real-time tasks (the software) that execute on a multicore…