Show simple item record

dc.contributor.authorBolton, ML
dc.contributor.authorEdworthy, Judy
dc.contributor.authorBoyd, AD
dc.contributor.authorWei, J
dc.contributor.authorZheng, X
dc.date.accessioned2018-06-14T16:20:56Z
dc.date.issued2018-12-01
dc.identifier.issn0003-682X
dc.identifier.issn1872-910X
dc.identifier.urihttp://hdl.handle.net/10026.1/11663
dc.description.abstract

Numerous patient injuries and deaths have been caused by medical practitioners failing to respond to medical alarms. Simultaneous masking, where concurrently sounding medical alarms result in one or more being unhearable, is partially responsible for this problem. In previous work, we introduced a computational formal method capable of proving (formally verifying) if masking could occur in a modeled configuration of medical alarms. However, the scalability of the method limited the applicability and completeness of its analyses. In the work presented here, we show how we re-implemented the method to address these shortcomings. We evaluated the detection capabilities and scalability of the new version of the method with a series of realistic and synthetic case studies. Our results show that the new version of the method replicates and improves detection capabilities compared to the legacy method and does so with significant reductions in verification times. We discuss the patient safety implications of our results and explore directions for future research.

dc.format.extent403-415
dc.languageen
dc.language.isoen
dc.publisherElsevier
dc.subjectMedical alarms
dc.subjectMasking
dc.subjectPsychoacoustics
dc.subjectFormal methods
dc.subjectModel checking
dc.titleA computationally efficient formal method for discovering simutlaneous masking in medical alarms
dc.typejournal-article
dc.typeJournal Article
plymouth.author-urlhttps://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000445713300044&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11bb513d99f797142bcfeffcc58ea008
plymouth.volume141
plymouth.publication-statusPublished
plymouth.journalApplied Acoustics
dc.identifier.doi10.1016/j.apacoust.2018.06.012
plymouth.organisational-group/Plymouth
plymouth.organisational-group/Plymouth/Faculty of Health
plymouth.organisational-group/Plymouth/Research Groups
plymouth.organisational-group/Plymouth/Research Groups/Centre for Brain, Cognition and Behaviour (CBCB)
plymouth.organisational-group/Plymouth/Research Groups/Centre for Brain, Cognition and Behaviour (CBCB)/Behaviour
plymouth.organisational-group/Plymouth/Users by role
dcterms.dateAccepted2018-06-14
dc.rights.embargodate2019-8-3
dc.identifier.eissn1872-910X
dc.rights.embargoperiod6 months
rioxxterms.versionofrecord10.1016/j.apacoust.2018.06.012
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/under-embargo-all-rights-reserved
rioxxterms.licenseref.startdate2018-12-01
rioxxterms.typeJournal Article/Review


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


All items in PEARL are protected by copyright law.
Author manuscripts deposited to comply with open access mandates are made available in accordance with publisher policies. Please cite only the published version using the details provided on the item record or document. In the absence of an open licence (e.g. Creative Commons), permissions for further reuse of content should be sought from the publisher or author.
Theme by 
Atmire NV