<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Paul Curzon</style></author><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">Patrick Oladimeji</style></author><author><style face="normal" font="default" size="100%">Ruksenas, Rimvydas</style></author><author><style face="normal" font="default" size="100%">Harold Thimbleby</style></author><author><style face="normal" font="default" size="100%">Enrico D'Urso</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project</style></title><secondary-title><style face="normal" font="default" size="100%">2nd Workshop on Verification and Assurance (Verisure2014), in association with Computer-Aided Verification (CAV), part of the Vienna Summer of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.chi-med.ac.uk</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/masci/files/verisure14.pdf</style></url></related-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The number of recalls of medical device with embedded computers due to safety issues in recent years suggests there is a need for new approaches to support the process. There is increasing concern about the impact of systematic use errors. There has been little research focusing on model-based tool support for the assurance and certification of medical devices with respect to systematic use error, however. The CHI+MED project (&lt;a href=&quot;http://www.chi-med.ac.uk&quot; rel=&quot;nofollow&quot;&gt;http://www.chi-med.ac.uk&lt;/a&gt;) aims to address this gap. It is concerned with the design of safer medical devices with a specific focus on human-computer interaction. We are developing a range of integrated model-based engineering methods and other formal and semi-formal techniques to support the certification process, both pre- and post-market, including their use in the wider system context. In this position paper we review our approach and the contributions to date.&lt;/p&gt;
</style></abstract></record></records></xml>