Program

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.

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

Comments are closed