Please make sure to follow the instructions provided by the speakers to prepare the hands-on session.
During the morning session two tools are presented to the whole audience by one of their main developers and then participants can try the tool of their choice, with the support of their developers.
- 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
- 11:00 – 12:30 – Tools demonstrated: pyCPA and SCHED_DEADLINE
Hands-on session 1
During the afternoon session two tools are presented to the whole audience by one of their main developers and then participants can try the tool of their choice, with the support of their developers.
- 14:00 – 14:45
Validation and Performance Analysis of Cyber-Physical Systems in UPPAAL
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
- 16:00 – 17:30 – Tools demonstrated: UPPAAL and CapeCode
Hands-on session 2