Publication
Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets
| dc.contributor.author | Ali Awan, Muhammad | |
| dc.contributor.author | Bletsas, Konstantinos | |
| dc.contributor.author | Souto, Pedro F. | |
| dc.contributor.author | Åkesson, Benny | |
| dc.contributor.author | Tovar, Eduardo | |
| dc.date.accessioned | 2020-01-17T15:52:56Z | |
| dc.date.embargo | 2120 | |
| dc.date.issued | 2019 | |
| dc.description | This article appears as part of the ESWEEK-TECS special issue and was presented at the International Conference on Embedded Software (EMSOFT) 2019. | pt_PT |
| dc.description.abstract | In mixed-criticality systems, tasks of different criticality share system resources, mainly to reduce cost. Cost is further reduced by using adaptive mode-based scheduling arrangements, such as Vestal’s model, to improve resource efficiency, while guaranteeing schedulability of critical functionality. To simplify safety certification, servers are often used to provide temporal isolation between tasks. In its simplest form, a server is a periodically recurring time window, in which some tasks are scheduled. A server’s computational requirements may greatly vary in different modes, although state-of-the-art techniques and schedulability tests do not allow different budgets to be used by a server in different modes. This results in a single conservative execution budget for all modes, increasing system cost. The goal of this paper is to reduce the cost of mixed-criticality systems through three main contributions: (i) a scheduling arrangement for uniprocessor systems employing fixed-priority scheduling within periodic servers, whose budgets are dynamically adjusted at run-time in the event of a mode change, (ii) a new schedulability analysis for such systems, and (iii) heuristic algorithms for assigning budgets to servers in different modes and ordering the execution of the servers. Experiments with synthetic task sets demonstrate considerable improvements (up to 52.8%) in | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1145/3358234 | pt_PT |
| dc.identifier.issn | 1539-9087 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/15320 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Association for Computing Machinery | pt_PT |
| dc.relation | PReFECT, ref. POCI-01-0145-FEDER-029119 | pt_PT |
| dc.relation.publisherversion | https://dl.acm.org/doi/10.1145/3358234 | pt_PT |
| dc.subject | Computer systems organization | pt_PT |
| dc.subject | Real-time systems | pt_PT |
| dc.subject | Real-time operating systems | pt_PT |
| dc.subject | Real-time system architecture | pt_PT |
| dc.title | Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 109:23 | pt_PT |
| oaire.citation.issue | 5s | pt_PT |
| oaire.citation.startPage | 109:1 | pt_PT |
| oaire.citation.title | ACM Transactions on Embedded Computing Systems (TECS) | pt_PT |
| oaire.citation.volume | 18 | pt_PT |
| person.familyName | Bletsas | |
| person.familyName | Tovar | |
| person.givenName | Konstantinos | |
| person.givenName | Eduardo | |
| person.identifier.ciencia-id | C614-0255-0E07 | |
| person.identifier.ciencia-id | 6017-8881-11E8 | |
| person.identifier.orcid | 0000-0002-3640-0239 | |
| person.identifier.orcid | 0000-0001-8979-3876 | |
| person.identifier.scopus-author-id | 6507950422 | |
| person.identifier.scopus-author-id | 7006312557 | |
| rcaap.rights | closedAccess | pt_PT |
| rcaap.type | article | pt_PT |
| relation.isAuthorOfPublication | e1e06d77-a9b1-4e27-8a98-bba7b3b7626c | |
| relation.isAuthorOfPublication | 80b63d8a-2e6d-484e-af3c-55849d0cb65e | |
| relation.isAuthorOfPublication.latestForDiscovery | 80b63d8a-2e6d-484e-af3c-55849d0cb65e |