interesting open position?
news
2017-05-09
Marc-Oliver is chairing the security session at IM 2017
2017-04-20
Marc-Oliver is demo co-chair of the CIoT 2017
2017-04-15
Felix handed in
his BA on native VSL interfaces.
2017-03-12
Marc-Oliver shares his eLearning experience at the Dagstuhl Seminar on Using Networks to Teach About Networks
2017-03-10
CPS workshop
with Joseph Sifakis and Vint Cerf online!
Cyber Physical Systems
Workshop at the 4th Heidelberg Lauereate Forum 2016
The workshop features the ACM Turing Award winners Joseph Sifakis (2007) and Vinton Cerf (2004). It was organized by Marc-Oliver Pahl (TUM), Amel Bennaceur (Open University), and Sai Manoj (TU Wien).
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.
Additional Material
Modelling a Cyber Physical System with Uppaal
In this video I model a simple temperature measuring Cyber Physical System (CPS) with Uppaal.
- The Uppaal source XML of the example: uppaalCPSexample.xml
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
