Call for Participation: TuToR 2017 - 2nd Tutorial on Tools for Real-Time Systems

2nd Tutorial on Tools for Real-Time Systems (TuToR'17)

(held within RTSS 2017)
December 5th, 2017 | Paris, France | http://tutor2017.inria.fr/

Tools presented: CapeCode, pyCPA, SCHED_DEADLINE, UPPAAL

FOCUS

TuToR'17 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

Two tools will be presented in the morning and the other two in the afternoon. In the first morning session, two speakers will present an overview of the capabilities of their tool (45 minutes each). The second morning session is dedicated to hands-on exercises. During that session, participants will experiment with the presented tools on their own, under the supervision of the tool developers. The same pattern repeats in the afternoon for the two other tools.

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

MORNING PROGRAM

09:00--09:45
pyCPA: a Python implementation of Compositional Performance Analysis
Rolf Ernst, Johannes Schlatow and Leonie Ahrendts; TU Braunschweig

09:45--10:30
SCHED_DEADLINE: a real-time CPU scheduler for Linux
Luca Abeni; Scuola Superiore Sant'Anna Pisa and Juri Lelli; ARM

10:30--11:00
Coffee break

11:00--12:30 -- Tools demonstrated: pyCPA and SCHED_DEADLINE
Hands-on session 1

AFTERNOON PROGRAM

14:00--14:45
UPPAAL: Validation and Performance Analysis of Cyber-Physical Systems
Kim G. Larsen; Aalborg University

14:45--15:30
CapeCode: an IoT modeling environment based on Ptolemy II
Edward A. Lee and Christopher Brooks; UC Berkeley

15:30--16:00
Coffee break

16:00--17:30 -- Tools demonstrated: UPPAAL and CapeCode
Hands-on session 2

Organizers
Enrico Bini, University of Torino, Italy
Martina Maggio, Lund University, Sweden
Sophie Quinton, Inria Grenoble - Rhone-Alpes, France

Speakers
- CapeCode
Edward A. Lee, UC Berkeley, USA
Christopher Brooks, UC Berkeley, USA
- pyCPA
Rolf Ernst, TU Braunschweig, Germany
Johannes Schlatow, TU Braunschweig, Germany
- SCHED_DEADLINE
Luca Abeni, Scuola Superiore Sant'Anna Pisa, Italy
Juri Lelli, ARM, UK
- UPPAAL
Kim G. Larsen, Aalborg University, Sweden