Home

TuToR’17 is the second edition of a one-day tutorial open to researchers from both industry and academia, which aims at providing a hands-on introduction to tools for analysis, simulation, and execution of real-time systems.

Presented tools
  • CapeCode: an IoT modeling environment based on Ptolemy II [tutorial page]
  • pyCPA: a Python implementation of Compositional Performance Analysis [tutorial page]
  • SCHED_DEADLINE: a real-time CPU scheduler for Linux [tutorial page]
  • UPPAAL: an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata [tutorial page]
Organization

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. The second morning session is dedicated to hands-on exercises. During that session, theĀ  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.

NB for attendees: 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 to follow the provided installation instructions.

Comments are closed