Show simple item record  

dc.contributor.authorReeves, Steve
dc.contributor.authorBowen, Judy
dc.coverage.spatialConference held at London, UKen_NZ
dc.date.accessioned2013-10-03T03:48:48Z
dc.date.available2013-10-03T03:48:48Z
dc.date.issued2013
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.identifier.urihttps://hdl.handle.net/10289/8052
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.language.isoenen_NZ
dc.publisherACMen_NZ
dc.relation.urihttp://dl.acm.org/citation.cfm?id=2480314en_NZ
dc.subjectcomputer scienceen_NZ
dc.subjectformal modelsen_NZ
dc.subjectLTLen_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.identifier.doi10.1145/2494603.2480314en_NZ
dc.relation.isPartOfProc 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systemsen_NZ
pubs.begin-page91en_NZ
pubs.elements-id22979
pubs.end-page100en_NZ
pubs.finish-date2013-06-27en_NZ
pubs.place-of-publicationNew York, NYen_NZ
pubs.start-date2013-06-24en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record