Abstract
The perceptibiliy of auditory medical alarms is critical to patient health and safety. Unfortunately concurrently sounding alarms can interact in ways that can mask one or more of them: render them imperceptible. Masking may only occur in extremely specific and/or rare situations. Thus, experimentation is insufficient for detecting it in all of the potential alarm configurations used in medicine. Therefore, there is a real need for computational methods capable of determining if masking exists in medical alarm configurations. In this work, we present such a method. Using a combination of formal modeling, psychoacoustic modeling, temporal logic specification, and model checking, our method is able to prove whether a configuration of alarms can interact in a way that produces masking. This paper motivates and presents this method, describes its implementation, demonstrates its power with an application, and outlines future developments.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Proceedings of the Human Factors and Ergonomics Society Annual Meeting
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
