Publication
Time-Triggered Co-Scheduling of Computation and Communication with Jitter Requirements
| dc.contributor.author | Minaeva, Anna | |
| dc.contributor.author | Åkesson, Benny | |
| dc.contributor.author | Hanzálek, Zdeněk | |
| dc.contributor.author | Dasari, Dakshina | |
| dc.date.accessioned | 2019-01-03T16:40:59Z | |
| dc.date.embargo | 2119 | |
| dc.date.issued | 2018 | |
| dc.description.abstract | The complexity of embedded application design is increasing with growing user demands. In particular, automotive embedded systems are highly complex in nature, and their functionality is realized by a set of periodic tasks. These tasks may have hard real-time requirements and communicate over an interconnect. The problem is to efficiently co-schedule task execution on cores and message transmission on the interconnect so that timing constraints are satisfied. Contemporary works typically deal with zero-jitter scheduling, which results in lower resource utilization, but has lower memory requirements. This article focuses on jitter-constrained scheduling that puts constraints on the tasks jitter, increasing schedulability over zero-jitter scheduling. The contributions of this article are: 1) Integer Linear Programming and Satisfiability Modulo Theory model exploiting problem-specific information to reduce the formulations complexity to schedule small applications. 2) A heuristic approach, employing three levels of scheduling scaling to real-world use-cases with 10,000 tasks and messages. 3) An experimental evaluation of the proposed approaches on a case-study and on synthetic data sets showing the efficiency of both zero-jitter and jitter-constrained scheduling. It shows that up to 28 percent higher resource utilization can be achieved by having up to 10 times longer computation time with relaxed jitter requirements. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1109/TC.2017.2722443 | pt_PT |
| dc.identifier.issn | 0018-9340 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/12508 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Institute of Electrical and Electronics Engineers | pt_PT |
| dc.relation.publisherversion | https://ieeexplore.ieee.org/document/7967685 | pt_PT |
| dc.subject | Real-time systems | pt_PT |
| dc.subject | Automotive systems | pt_PT |
| dc.subject | Resource scheduling | pt_PT |
| dc.subject | Jitter control | pt_PT |
| dc.subject | Integer linear programming | pt_PT |
| dc.subject | Satisfiability modulo theory | pt_PT |
| dc.title | Time-Triggered Co-Scheduling of Computation and Communication with Jitter Requirements | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 129 | pt_PT |
| oaire.citation.issue | 1 | pt_PT |
| oaire.citation.startPage | 115 | pt_PT |
| oaire.citation.title | IEEE Transactions on Computers | pt_PT |
| oaire.citation.volume | 67 | pt_PT |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | article | pt_PT |