• search hit 7 of 13
Back to Result List

On Solving Task Allocation and Schedule Generation for Time-Triggered LET Systems using Constraint Programming

  • The amount of safety-critical embedded systems in automotive development is heavily growing. Ensuring their reliability not only increases the complexity of functions but also requires determinism at design and execution time, which is considerably challenging to fulfill and verify for multi-core processors. The Logical Execution Time (LET) is recently recognized in automotive industry as an approach for ensuring deterministic functional behavior. However, to decrease the manual design effort and time for deploying such complex systems to multi-core platforms and for ensuring their strict timing and safety requirements, automatic solutions are needed. This work presents a solution for allocating tasks to multi-core processors and generating a time-triggered schedule for embedded systems considering safety, timing, and LET semantics. The approach we propose solves both challenges by defining them as a Constraint Satisfaction Problem (CSP). To examine our CSP formulation, we use MiniZinc, which is a solver-independent constraint modeling language that can employ a variety of solvers. In a case study, we explore optimizations of an industrial system that are enabled by scheduling and task allocation design decisions. Further, the performance of the proposed solutions is evaluated based on large set of synthetically generated system models.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Erjola Lalo, Raphael Weber, Andreas Sailer, Jürgen MottokORCiDGND, Christian Siemers
URL / DOI:https://ieeexplore.ieee.org/abstract/document/8836201
Parent Title (English):32nd International Conference on Architecture of Computing Systems, ARCS Workshop 2019, 20-21 May 2019, Copenhagen, Denmark
Document Type:conference proceeding (article)
Language:English
Year of first Publication:2019
Release Date:2021/03/11
First Page:1
Last Page:8
Institutes:Fakultät Elektro- und Informationstechnik
Fakultät Elektro- und Informationstechnik / Laboratory for Safe and Secure Systems (LAS3)
Begutachtungsstatus:peer-reviewed
research focus:Digitalisierung
Licence (German):Keine Lizenz - Es gilt das deutsche Urheberrecht: § 53 UrhG