Time-Triggered Co-Scheduling of Computation and Communication with Jitter Requirements
From MaRDI portal
Publication:4567281
DOI10.1109/TC.2017.2722443zbMATH Open1390.68142arXiv1711.00398OpenAlexW3100672431MaRDI QIDQ4567281FDOQ4567281
Authors: Anna Minaeva, Benny Akesson, Zdeněk Hanzálek, Dakshina Dasari
Publication date: 27 June 2018
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
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 10000 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% higher resource utilization can be achieved by having up to 10 times longer computation time with relaxed jitter requirements.
Full work available at URL: https://arxiv.org/abs/1711.00398
This page was built for publication: Time-Triggered Co-Scheduling of Computation and Communication with Jitter Requirements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4567281)