Please make sure to follow the instructions provided by the speakers to prepare the hands-on session.
Morning 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
[tutorial page] - 09:45 – 10:30
SCHED_DEADLINE: a real-time CPU scheduler for Linux
Luca Abeni; Scuola Superiore Sant’Anna Pisa and Juri Lelli; ARM
[tutorial page] - 10:30 – 11:00
Coffee break - 11:00 – 12:30 – Tools demonstrated: pyCPA and SCHED_DEADLINE
Hands-on session 1
Afternoon session
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
[tutorial page] - 14:45 – 15:30
CapeCode: an IoT modeling environment based on Ptolemy II
Edward A. Lee and Christopher Brooks; UC Berkeley
[tutorial page] - 15:30 – 16:00
Coffee break - 16:00 – 17:30 – Tools demonstrated: UPPAAL and CapeCode
Hands-on session 2
