DEI CISUC Visitors’ Keynote

A carregar Eventos
  • Este evento já decorreu.

DEI CISUC Visitors’ Keynote

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

Detalhes

Data: Março 21
Hora: 1:00 pm - 2:00 pm
Evento Categorias: ,
Website: Visitar Website do evento

Local

Departamento de Engenharia Informática

Rua Silvio Lima
Coimbra, 3030-290 PT

+ Mapa do Google

Organizador

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