Show simple item record  

dc.contributor.authorReeves, Steve
dc.contributor.authorBowen, Judy
dc.coverage.spatialConference held at London, UKen_NZ
dc.identifier.citationReeves, S. & Bowen, J. (2013). Modelling safety properties of interactive medical systems. In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems (pp. 91-100). New York, USA: ACM.en_NZ
dc.description.abstractFormally modelling the software functionality and interactivity of safety-critical devices allows us to prove properties about their behaviours and be certain that they will respond to user interaction correctly. In domains such as medical environments, where many different devices may be used, it is equally important to ensure that all devices used adhere to a set of safety, and other, principles designed for that environment. In this paper we look at modelling important properties of interactive medical devices including safety considerations mandated by their users. We use ProZ for model checking to ensure that properties stated in temporal logic hold, and also to check invariants. In this way we gain confidence that important properties do hold of the device, and that models of particular devices adhere to the properties described.en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectformal modelsen_NZ
dc.subjectinteractive systemsen_NZ
dc.subjectmedical devicesen_NZ
dc.subjectsafety propertiesen_NZ
dc.titleModelling safety properties of interactive medical systemsen_NZ
dc.typeConference Contributionen_NZ
dc.relation.isPartOfProc 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systemsen_NZ
pubs.finish-date2013-06-27en_NZ York, NYen_NZ

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record