DEI CISUC Visitors’ Keynote

Carregando Eventos
  • Este evento já passou.

DEI CISUC Visitors’ Keynote


Michael Harrison
“Formal Techniques for Assessing Use Related Safety Requirements in Medical Devices”

March 21
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.

março 21 2018


Data: março 21, 2018
Hora: 13:00 - 14:00
Evento Categorias: ,
Website: Visitar Website do evento


Departamento de Engenharia Informática

Rua Silvio Lima
Coimbra, 3030-290 PT

+ Google Map


Departamento de Engenharia Informática
Website: Visitar Website do Organizador