Grand Challenge The Pacemaker

Research interests include verification and validation of the highly critical systems using formal techniques. Our main objective is to provide a development framework with a new set of tools and techniques, which can be used for desiging a system from requirement analysis to automatic code generation. We investigate medical device software and systems using formal techniques, and verify the correctness of the system using proof assistants. This work intends to study the questions of validation, certification, maintenance, usability and adaptability of the medical devices.
Last modified: Wed Oct 31 08:49:43 CET 2012