Numerically efficient probabilistic guarantees for resource reservations

Nicola Manica, Luigi Palopoli, Luca Abeni
2012 Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)  
This paper presents an efficient algorithm for providing probabilistic guarantees in soft real-time systems using resource reservations. We use a conservative model for the temporal evolution of a resource reservation, which has a particular structure -a quasi birth death process -enabling an efficient computation of the stationary probability of respecting deadlines . We show the accuracy and the efficiency of the method in a large set of experiments.
doi:10.1109/etfa.2012.6489566 dblp:conf/etfa/ManicaPA12 fatcat:7aa7aksxybbwnkdrv5wiesmnty