A formal approach to discovering simultaneous additive masking between auditory medical alarms
详细信息 查看全文
- 作者：Bassam Hasanaina ; Andrew D. Boydb ; Judy Edworthyc ; Matthew L. Boltond ; mbolton@buffalo.edu" class="auth_mail" title="E-mail the corresponding author
- 关键词：Medical alarms ; Masking ; Psychoacoustics ; Formal methods ; Model checking
- 刊名：Applied Ergonomics
- 出版年：2017
- 出版时间：January 2017
- 年：2017
- 卷：58
- 期：Complete
- 页码：500-514
- 全文大小：1451 K
文摘
- •
Simultaneous auditor masking can cause medical alarms to be imperceptible.
- •
Model checking and psychoacoustics can be used to find masking in alarm models.
- •
We extend this approach to enable the detection of additive masking.
- •
We demonstrate method detection and scalability with three case studies.
- •
We discuss implication for alarm design and the IEC 60601-1-8 standard.