Doctoral School IAEM, Université Henri Poincaré Nancy 1
Reliability and safety of medical device software systems
The aim of this project is to investigate the modelling of medical device software and systems using formal techniques and using proof assistants. Classical methods like tests have reached their limits and the development of medical device software and systems is a crucial issue, since the society should ensure safe advances in healthcare delivery. Any safety and regulatory requirements for medical devices necessarily call for rigorous software developments methods to ensure reliability and to protect the public health.
The Grand Challenge mentions a very interesting case study, namely the model of a pacemaker, and there are a lot of other systems which are now embedded in our body and require investigations on modelling them. Research directions will focus on the use of proof-based modelling techniques like RAISE, DC, Event B, .... and intends to study the questions of validation, certification, maintenance, usability and adaptability. The work will evaluate the impact of mathematical proofs in the modelling technique and the general approach will be based on domain engineering and on model-based approach; we will found our work on the triptych Domain, System, Requirement. The research will involve collaboration with therapists and surgeons.
Funding Notes
Salary rate (French Ministry of Education): ca. 19200 euros per year.
The PhD student should have an effective background in computer science. The language of work will be either french or english.
Applications are invited for a 3-year PhD studentship starting Autumn 2008 under the supervision of Pr Dominique Méry. This project is a collaboration between the MOSEL team and the University Hospital of Nancy.
Applicants should hold at least a MSc (or equivalent) in computer science or in computing science . Informal inquiries can be made to Dominique Mery (mery@loria.fr).
Please quote 10 Academic Resources Daily in your application to this opportunity!
If you want to receive academic resources in your e-mail on daily basis, please subscribe to 10resources-subscribe@yahoogroups.com.
