TuToR'16

1st Tutorial on Tools for Real-Time Systems (TuToR'16)

co-located with CPSWeek 2016

FOCUS
TuToR'16 is a one-day tutorial open to researchers from both industry and academia who want to familiarize themselves with tools for the design and analysis of real-time systems. Four well-established academic tools were selected by the organizers to cover a broad spectrum of problems encountered in this area.

FORMAT
In the morning, the speakers introduce their tool (45 minutes each).
In the afternoon, two hands-on sessions will take place. During these sessions, the participants will experiment the presented tools on their own, under the supervision of the tool developers.

To minimize the overhead due to installation and configuration issues, participants are encouraged to download the supporting material prepared by the speakers and available on the TuToR website. (http://tutor2016.inria.fr/)

MORNING PROGRAM

09:00--09:45
Heptane: A Modular Tool for Static WCET Analysis
Damien Hardy, University of Rennes I/IRISA

09:45--10:30
MAST: A Modeling and Schedulability Analysis Suite for Real-Time
Applications
Julio Medina, Universidad de Cantabria

10:30--11:00
Coffee break

11:00--11:45
LITMUS-RT: Linux Testbed for Multiprocessor Scheduling in Real-Time
Systems
Bjorn Brandenburg, Max Planck Institute for Software Systems

11:45--12:30
TrueTime: Simulation of Networked and Embedded Control Systems
Anton Cervin, Lund University

AFTERNOON PROGRAM
Hands-on sessions. Participants are asked to download the necessary material from the TuToR website.

14:00--15:30
Hands-on session 1

15:30--16:00
Coffee break

16:00--17:30
Hands-on session 2

THE TEAM

Organizers
Enrico Bini, Scuola Superiore Sant'Anna, Italy
Martina Maggio, Lund University, Sweden
Sophie Quinton, Inria Grenoble - Rhone-Alpes, France

Speakers
Bjorn Brandenburg, MPI for Software Systems, Germany
Anton Cervin, Lund University, Sweden
Damien Hardy, University of Rennes I/IRISA, France
Julio Medina, Universidad de Cantabria, Spain