Workshop at the 4th Heidelberg Lauereate Forum 2016

The workshop took place at the occasion of the 4th Heidelberg Laureate Forum (http://www.heidelberg-laureate-forum.org/). The Heidelberg Laureate forum is an annual forum organized by the Klaus Tschira Stiftung. 200 selected students assemble in Heidelberg to meet and discuss with winners of the ACM Turing Award, the Abel Prize, and the Fields Medal.

On Monday, Sep 19 2016, 30 students participated in the workshop on Cyber Physical Systems. The participants learned about methodologies of Cyber Physical Systems (CPS) research, and its relation to the Internet of Things (IoT). The workshop ended with a discussion on challenges and opportunities of CPS. According to the received feedback, the workshop was a full success.

Modelling a Cyber Physical System with Uppaal

Uppaal Infusion Pump Simulation

A simulation run of the Uppaal model of the generic infusion pump from here: http://rtg.cis.upenn.edu/medical/gpca...
From:
The Generic Infusion Pump (GIP)
A workbench for improving safety, security and usability of medical systems
https://rtg.cis.upenn.edu/gip/#MBE