Login

Seminar Series 2015 - Artem Burmyakov

Seminar Series 2015 - Artem Burmyakov

An Exact Schedulability Test for Global FP Using State Space Pruning
27, Oct, 2015 11:30-12:30 (1 hour)
CISTER, Porto, Portugal

ABSTRACT:
We propose an exact schedulability test for sporadic real- time tasks with constrained deadlines, scheduled by Global Fixed Priority (GFP). Our test is faster and less memory consuming than other state-of-the-art exact tests.
We achieve such results by employing a set of techniques that cut down the state space of the analysis, which extend the prior work by Bonifaci and Marchetti-Spaccamela. Our test is implemented in C++ code, and it is publicly available.

Download:

PDF Presentation (900KB)



CISTER's main roles:
,
Artem Burmyakov
Speaker

S101 Auditorium/Seminar Room
1st Floor