@conference { curzon:14,
	title = {Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project},
	booktitle = {2nd Workshop on Verification and Assurance (Verisure2014), in association with Computer-Aided Verification (CAV), part of the Vienna Summer of Logic},
	year = {2014},
	abstract = {<p>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 (<a href="http://www.chi-med.ac.uk" rel="nofollow">http://www.chi-med.ac.uk</a>) 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.</p>
},
	url = {http://www.chi-med.ac.uk},
	attachments = {https://haslab.uminho.pt/sites/default/files/masci/files/verisure14.pdf},
	author = {Paul Curzon and Paolo Masci and Patrick Oladimeji and Ruksenas, Rimvydas and Harold Thimbleby and Enrico D{\textquoteright}Urso}
}