Program

Keynote

• A Synchronous Perspective on Real-Time Programming
  Reinhard von Hanxleden

Verification
and
Simulation
Tools

• Time4Sys in a nutshell
  Yassine Ouhammou and Loïc Fejoz
• Analysis and Simulation Tools for Probabilistic Real-Time Systems
  Dorin Maxim and Antoine Bertout
• HGT: An Open-Source Framework for Simulating Parallel Real-Time Tasks
  Ignacio Sañudo, Paolo Burgio and Marko Bertogna

Timing
vs
Function

• Exploring the Interaction between Functional Performance and Scheduling Abstractions
  Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale, Giorgio Buttazzo and Matteo Secchiari
• Extending an Automated Testing Framework to Support Agile eXtreme Programming Development Concepts in an Embedded Real-Time Environment
  Militina Gorobets, Albert Tran, Michael Smith and James Miller
• Verification of an Aerial Video System
  Youcheng Sun, Étienne André and Giuseppe Lipari

Industrial
challenge

• Presentation of the 2017 Industrial Challenge
  Dakshina Dasari
• Logical Execution Time Implementation and Memory Optimization
  Issues in AUTOSAR Applications for Multicores
  Alessandro Biondi, Paolo Pazzaglia, Alessio Balsini, Marco Di Natale
• WATERS Industrial Challenge 2017 with Prelude
  Frédéric Boniol, Julien Forget and Claire Pagetti
• Comparison of Memory Access Strategies in Multi-core Platforms Using MAST
  Juan M. Rivas, J. Javier Gutiérrez, Julio L. Medina and Michael González Harbour
• Compositional Analysis of the WATERS Industrial Challenge 2017
  Kai-Björn Gemlau, Johannes Schlatow, Mischa Möstl and Rolf Ernst
• End-To-End Latency Characterization of Implicit and LET Communication Models
  Jorge Martinez, Ignacio Sañudo, Paolo Burgio and Marko Bertogna

Adaptive systems

• Qualification Challenges in Next Generation Automotive Performance ECUs
  Moritz Neukirchner
• Panel discussion: Programming Adaptive Real-Time Systems
  Organized by Clément Ballagria, Julien Forget and Giuseppe Lipari