Publication
An Exact Schedulability Test for Global FP Using State Space Pruning
| dc.contributor.author | Burmyakov, Artem | |
| dc.contributor.author | Bini, Enrico | |
| dc.contributor.author | Tovar, Eduardo | |
| dc.date.accessioned | 2015-12-03T11:15:27Z | |
| dc.date.available | 2015-12-03T11:15:27Z | |
| dc.date.issued | 2015 | |
| dc.description | Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. | pt_PT |
| dc.description.abstract | We propose an exact schedulability test for sporadic realtime 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. | pt_PT |
| dc.identifier.doi | 10.1145/2834848.2834877 | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/7064 | |
| dc.language.iso | eng | pt_PT |
| dc.publisher | ACM | pt_PT |
| dc.relation | UID/CEC/04234/ 2013 (CISTER) | pt_PT |
| dc.relation | ARTEMIS/0003/2012 - JU grant 333053 (CONCERTO | pt_PT |
| dc.relation | ARTEMIS/0001/2013 - JU grant 621429 (EMC2) | pt_PT |
| dc.relation | FCOMP-01-0124-FEDER- 020536 (SMARTS) | pt_PT |
| dc.relation.ispartofseries | RTNS’15; | |
| dc.relation.publisherversion | http://dl.acm.org/citation.cfm?id=2834877&CFID=565549744&CFTOKEN=69061358 | pt_PT |
| dc.title | An Exact Schedulability Test for Global FP Using State Space Pruning | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | November 4-6, 2015, Lille, France | pt_PT |
| oaire.citation.title | 23rd International Conference on Real-Time Networks and Systems (RTNS 2015) | pt_PT |
| person.familyName | Tovar | |
| person.givenName | Eduardo | |
| person.identifier.ciencia-id | 6017-8881-11E8 | |
| person.identifier.orcid | 0000-0001-8979-3876 | |
| person.identifier.scopus-author-id | 7006312557 | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | 80b63d8a-2e6d-484e-af3c-55849d0cb65e | |
| relation.isAuthorOfPublication.latestForDiscovery | 80b63d8a-2e6d-484e-af3c-55849d0cb65e |