Stochastic analysis of a reservation based system
Luca Abeni, Giorgio Buttazzo · 2005
Resource Reservation is an effective technique for allocating CPU time to concurrent real-time applications running on a uniprocessor system. The most important advantage of reservation-based CPU allocation is that it enforces temporal isolation, thus ensuring that the behaviour of each application will not depend on the temporal requirement of the others. In this paper a stochastic analysis of a generic reservation system is presented, enabling application designers to compute the probability of respecting deadlines when the probability distributions of the interarrival and execution times are known.