Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.2713
Fulltext available Open Access
Publisher DOI: 10.1145/3381752
Title: Compiling for the worst case
Language: English
Authors: Luppold, Arno  
Oehlert, Dominic 
Falk, Heiko  
Keywords: WCET optimization;multi-core systems;scheduling analysis
Issue Date: Mar-2020
Publisher: ACM Press
Source: ACM Transactions on Embedded Computing Systems 2 (19): art. 14, pp. 1-26 (2020)
Journal or Series Name: ACM transactions on embedded computing systems 
Abstract (english): Modern embedded hard real-time systems feature multiple tasks running on multiple processing cores. Schedulability analysis of such systems is usually performed on an abstract system level with each task being represented as a black box with fixed timing properties. If timing constraints are violated, optimizing the system on a code-level in order to achieve schedulability is a tedious task.

To tackle this issue, we propose an extension to the WCET-Aware C Compiler framework WCC. We integrated an optimization framework based on Integer-Linear Programming into the WCC which is able to optimize a multi-core system with multiple tasks running on each core with regards to its schedulability. We evaluate the framework by providing two approaches on a schedulability aware static Scratchpad Memory (SPM) allocation: One based on Integer-Linear Programming (ILP) and one based on a genetic algorithm.
URI: http://hdl.handle.net/11420/5356
DOI: 10.15480/882.2713
ISSN: 1539-9087
Institute: Eingebettete Systeme E-13 
Type: (wissenschaftlicher) Artikel
Funded by: Deutsche Forschungsgemeinschaft (DFG)
Project: Multikriterielle Code-Optimierung für Eingebettete Harte Echtzeitsysteme 
License: In Copyright In Copyright
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
202003-tecs-luppold.pdf4,62 MBAdobe PDFThumbnail
View/Open
Show full item record

Page view(s)

52
Last Week
1
Last month
checked on Dec 2, 2020

Download(s)

16
checked on Dec 2, 2020

Google ScholarTM

Check

Note about this record

Export

Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.