Search found 12 matches

by pagetti
Fri Jun 01, 2018
Forum: WATERS'18
Topic: Keynote
Replies: 0
Views: 175

Keynote

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...
by pagetti
Fri Jun 01, 2018
Forum: Regular contributions
Topic: Extending the Amalthea model to introduce hardware heterogeneity
Replies: 1
Views: 146

Extending the Amalthea model to introduce hardware heterogeneity

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...
by pagetti
Fri May 25, 2018
Forum: Regular contributions
Topic: Compilation for Real-Time Systems - An Overview of the WCET-Aware C Compiler WCC
Replies: 0
Views: 154

Compilation for Real-Time Systems - An Overview of the WCET-Aware C Compiler WCC

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...
by pagetti
Thu May 24, 2018
Forum: Regular contributions
Topic: Bosch WATERS Challenges Reloaded: Moving from Classical to High Performance Real-time Systems
Replies: 0
Views: 175

Bosch WATERS Challenges Reloaded: Moving from Classical to High Performance Real-time Systems

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...
by pagetti
Wed May 23, 2018
Forum: Regular contributions
Topic: RTProb - Real Time Probabilistic Tool for Probabilistic Schedulability Analysis using Markov Chain
Replies: 0
Views: 154

RTProb - Real Time Probabilistic Tool for Probabilistic Schedulability Analysis using Markov Chain

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 ...
by pagetti
Wed May 23, 2018
Forum: Regular contributions
Topic: Modeling Accesses to Shared Memories in Multi-Processor Systems-on-Chip (MPSoCs)
Replies: 0
Views: 150

Modeling Accesses to Shared Memories in Multi-Processor Systems-on-Chip (MPSoCs)

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...
by pagetti
Wed May 23, 2018
Forum: Regular contributions
Topic: Applying formal methods to the configuration and verification of Trampoline RTOS
Replies: 0
Views: 161

Applying formal methods to the configuration and verification of Trampoline RTOS

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...
by pagetti
Wed May 23, 2018
Forum: Regular contributions
Topic: Challenges in partitioned systems based on hypervisor: XtratuM case
Replies: 0
Views: 148

Challenges in partitioned systems based on hypervisor: XtratuM case

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...
by pagetti
Mon Jan 15, 2018
Forum: 2018 industrial challenge
Topic: Industrial Challenge 2018
Replies: 0
Views: 1407

Industrial Challenge 2018

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...
by pagetti
Mon May 22, 2017
Forum: 2017 industrial challenge
Topic: Challenge 2017 Solution #2: WATERS Industrial Challenge 2017 in Prelude
Replies: 2
Views: 1087

Re: Challenge 2017 Solution #2: WATERS Industrial Challenge 2017 in Prelude

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
by pagetti
Mon Jul 20, 2015
Forum: Benchmarks
Topic: The ROSACE case study
Replies: 0
Views: 3033

The ROSACE case study

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...
by pagetti
Fri Jun 26, 2015
Forum: Software
Topic: ROSACE: Research Open-Source Avionics and Control Engineering
Replies: 0
Views: 2510

ROSACE: Research Open-Source Avionics and Control Engineering

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 ...