“Formal Techniques for Assessing Use Related Safety Requirements in Medical Devices”
1 p.m. – 2 p.m.
Room A. 5.4 – FCTUC-DEI
The talk will have two parts. First it will be concerned with the practical use of formal techniques to demonstrate safety requirements for medical devices. This part will focus on use related requirements and demonstration of adherence to them. It will discuss practical issues associated with their use in the small teams that typically develop these devices. The second part is more speculative. I will consider the challenges associated with use related safety requirements for integrated clinical environments, as well as more general properties of distributed ambient systems designed to improve patient experience and clinician workload.
Michael is Emeritus Professor and Senior Research Investigator at Newcastle and research fellow at QMUL (funded to work on the analysis of medical devices). He is a visiting researcher at the University of Minho, Portugal. His research focuses on the systematic analysis of the functional behaviour of interactive systems using a combination of model checking and automated theorem proving techniques.