This track was concerned with the new generation of health-care devices and treatment strategies. Examples include electro-anatomical mapping and intervention, bio-compatible and implantable devices, minimally invasive embedded devices, and robotic prosthetics.
All of these systems share a key characteristic: the tight integration of digital computation, responsible for control and communication in discrete-time, with a physical system, obeying laws of physics and evolving in continuous-time. They are highly complex: the sensors monitoring the physical processes, the computation and communicating devices, and the actuators controlling the physical processes are spatially distributed yet tightly interconnected.
Concomitantly, their malfunctioning can do great harm to human health. Reliability of these systems is very challenging and extremely important. The aim of the track was indeed to provide an insightful discussion on the state of the art, challenges, open problems and research directions on formal verification, certification and validation of Medical CPS.
The track was very successful recording a high number of participants and the precious and important contributions of world-renowned computer scientists such as the Alan Turing award recipient Prof. Edmund Clarke (CMU, US), Prof. Marta Kwiatkowska (Oxford University, UK), Prof. Radu Grosu (TU Wien, Austria), Prof. Martin Leucker (Lübeck University, Germany) and Prof. Luca Bortolussi (Saarland University, Germany).