Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs

04/04/2018
by   Max J. Friese, et al.
0

The computation of a cyber-physical system's reaction to a stimulus typically involves the execution of several tasks. The delay between stimulus and reaction thus depends on the interaction of these tasks and is subject to timing constraints. Such constraints exist for a number of reasons and range from possible impacts on customer experiences to safety requirements. We present a technique to determine end-to-end latencies of such task sequences. The technique is demonstrated on the example of electronic control units (ECUs) in automotive embedded real-time systems. Our approach is able to deal with multi-core architectures and supports four different activation patterns, including interrupts. It is the first formal analysis approach making use of load assumptions in order to exclude infeasible data propagation paths without the knowledge of worst-case execution times or worst-case response times. We employ a constraint programming solver to compute bounds on end-to-end latencies.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/25/2023

Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks

DAG (directed acyclic graph) tasks are widely used to model parallel rea...
research
10/05/2022

The Power of Duality: Response Time Analysis meets Integer Programming

We study a mutually enriching connection between response time analysis ...
research
09/16/2018

Analysis of Dynamic Memory Bandwidth Regulation in Multi-core Real-Time Systems

One of the primary sources of unpredictability in modern multi-core embe...
research
08/25/2022

Parallel Path Progression DAG Scheduling

To satisfy the increasing performance needs of modern cyber-physical sys...
research
10/20/2020

Incandescent Bulb and LED Brake Lights:Novel Analysis of Reaction Times

Rear-end collision accounts for around 8 with the failure to notice or r...
research
02/15/2018

End-to-end Analysis and Design of a Drone Flight Controller

Timing guarantees are crucial to cyber-physical applications that must b...
research
11/03/2022

Response Times Parametric Estimation of Real-Time Systems

Real-time systems are a set of programs, a scheduling policy and a syste...

Please sign up or login with your details

Forgot password? Click here to reset