Tools and Benchmarks for Real-Time Systems

Title: Addressing Analysis and Partitioning issues for the WATERS 2019 Challenge
Authors: Daniel Casini, Paolo Pazzaglia, Alessandro Biondi, Giorgio Buttazzo and Marco Di Natale

Title: An analytical approach for calculating end-to-end response times in autonomous driving applications
Authors: Lukas Krawczyk, Mahmoud Bazzal, Ram Prasath Govindarajan and Carsten Wolff

Title: Combined Data Transfer Response Time and Mapping Exploration in MPSoCs
Authors: Alexander Diewald, Simon Barner and Selma Saidi

Title CPU-GPU Response Time and Mapping Analysis for High-Performance Automotive Systems
Authors Robert Hoettger, Junhyung Ki, The Bao Bui, Burkhard Igel and Olaf Spinczyk

Title: Evaluation Framework for Self-Suspending Task Systems

Authors: Georg von der Brüggen, Milad Nayebi, Junjie Shi, Kuan-Hsun Chen and Jian-Jia Chen

Abstract:

Title: A time, energy and security coordination approach

Authors: Benjamin Rouxel, Julius Roeder, Sebastian Altmeyer and Clemens Grelck

Abstract:

Title: Machine Learning Based Cross-Platform Runtime Prediction

Authors: Ahsan Saeed, Falk Wurst, Michael Pressler, Arne Hamann and Dakshina Dasari

Abstract:

Title: Interference analysis of shared last-level cache on embedded GP-GPUs with multiple CUDA streams

Authors: Gianluca Brilli and Paolo Burgio

Abstract:

Title: On an industrial approach for multi-core timing analysis Authors: Francisco J. Cazorla, Enrico Mezzetti, Jaume Abella (BSC); Christos Evripidou, Guillem Bernat (Rapita) Abstract: COTS multicores are becoming ubiquitous in critical domains such as automotive and avionics to support efficient a...

Title: The challenge of profiling multi-core safety-critical embedded systems Authors: Sylvain Girbal and Jimmy Le Rhun Abstract: For many decades, the High Performance Computing (HPC) industry has relied for on profiling techniques for debugging and performance optimization purposes, may it be for ...

Title: Easy analysis of hard real-time systems – how far can we get? Author: Albrecht Mayer (Infineon) Abstract: Easy means getting reliable, understandable, quantitative answers for simple questions like is it working? Is it robust? This all without a detailed knowledge of the whole system, without...

Title: A multi-criteria scheduling heuristic to optimize the execution time, the reliability, the power consumption and the temperature in multicores Abstract: We address the problem of computing a static schedule of a DAG of tasks onto an multicore architecture, with the goal of optimizing four cri...

Title: Extending the Amalthea model to introduce hardware heterogeneity Authors: Paolo Burgio and Marko Bertogna Abstract: In the last years, power-efficient embedded platforms based on heterogeneous multi- and many-core accelerators paved their way in the automotive domain, where size, weight and p...

Titre: Compilation for Real-Time Systems - An Overview of the WCET-Aware C Compiler WCC Authors: Dominic Oehlert, Arno Luppold and Heiko Falk Abstract: Traditionally, design of embedded hard real-time software and timing analysis are decoupled from each other, leading to complicated design flows inv...

Title: Bosch WATERS Challenges Reloaded: Moving from Classical to High Performance Real-time Systems Authors: Arne Hamann Abstract: he Bosch WATERS challenges in 2016 and 2017 addressed problems arising in "classical" real-time systems composed of mostly periodic tasks in the domain of engine manage...

Title: RTProb - Real Time Probabilistic Tool for Probabilistic Schedulability Analysis using Markov Chain Authors: Jasdeep Singh, Luca Santinelli, David Doose, Julien Brunel and Guillaume Infantes Abstract: This paper presents a probabilistic schedulability analysis tool for probabilistic Real-Time ...

Title: Modeling Accesses to Shared Memories in Multi-Processor Systems-on-Chip (MPSoCs) Authors: Adam Kostrzewa, Selma Saidi and Rolf Ernst Abstract: Multi-Processor Systems-on-Chip (MPSoCs) enable high performance through integration and concurrent execution of previously separated applications and...

Title: Applying formal methods to the configuration and verification of Trampoline RTOS Authors: Jean-Luc Béchennec, Olivier H. Roux and Toussaint Tigori Abstract: The low-level software of small embedded systems and especially the operating system must be configured and adapted to a given applicati...

Title: Challenges in partitioned systems based on hypervisor: XtratuM case Authors: Alfons Crespo Abstract: The increase in processor power and the availability of multi-core systems have extended the possibilities of integrating different applications into the same hardware. Although the concept of...

The WATERS 2018 industrial challenge is based on the RESSAC use case, μXAV: A Collaborative Development Assurance Lab. The first description of the challenge is available WATERS2018-Challenge.pdf . This use case, managed by the RESSAC project at IRT St Exupery (Toulouse, France) led by Airbus, was d...

Attached you can find the document with our solution for the 2017 challenge.

The translator from AMALTHEA to PRELUDE is available at:
TBD June 10th

Title: The ROSACE Case study Authors: - Thomas Loquen, Eric Noulard, Claire Pagetti, David Saussié (ONERA, Toulouse, France) - David Saussié (Polytechnique Montréal, Canada) Abstract: ROSACE - for Research Open-Source Avionics and Control Engineering - goes from a baseline flight controller, develo...

Description of the case study ROSACE - for Research Open-Source Avionics and Control Engineering - goes from a baseline flight controller, developed in MATLAB/SIMULINK, to a multi-periodic controller executing on a multi/many-core target. The interactions between control and computer engineers are ...