Performance Evaluation of Schedulers in a Probabilistic Setting

Jean-Francois Kempf (1) , Marius Bozga (1) , Oded Maler (1)

1 VERIMAG - IMAG - VERIMAG

We show how to evaluate the performance of solutions to finite-horizon scheduling problems where task durations are specified by bounded uniform distributions. Our computational technique, based on computing the volumes of zones, constitutes a contribution to the computational study of scheduling under uncertainty and stochastic systems in general.

Domaines: Systèmes embarqués

Jean-Francois Kempf, Marius Bozga, Oded Maler. Performance Evaluation of Schedulers in a Probabilistic Setting. Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Sep 2011, Aalborg, Denmark. pp.1-17, ⟨10.1007/978-3-642-24310-3_1⟩. ⟨hal-00722412v2⟩