INDIGO Home University of Illinois at Urbana-Champaign logo uic building uic pavilion uic student center

A Formal Approach for Detecting Masking in Medical Alarms

Show full item record

Bookmark or cite this item:

Files in this item

File Description Format
PDF Hasanain_Bassam.pdf (2MB) Restricted to UIC (no description provided) PDF
Title: A Formal Approach for Detecting Masking in Medical Alarms
Author(s): Hasanain, Bassam
Advisor(s): Bolton, Matthew
Contributor(s): Banerjee, Prashant; He, David; Brown, Michael; Boyd, Andrew D.
Department / Program: Mechanical and Industrial Engineering
Graduate Major: Industrial Engineering and Operations Research
Degree Granting Institution: University of Illinois at Chicago
Degree: PhD, Doctor of Philosophy
Genre: Doctoral
Subject(s): Masking Medical Alarms Additive Masking formal modeling psychoacoustic modeling temporallogic model checking.
Abstract: The perceptibility of auditory medical alarms is critical to patient health and safety. The delay in responding to auditory medical alarms would have a negative impact on patient health and could lead to dangerous consequences. A relatively understudied source of response failures has to do with masking, a condition where concurrent sounds interact in ways that make one or more of them imperceptible due to physical limitations of human perception. In this work we present a method, that uses a novel combination of psychophysical modeling and formal veri cation with model checking to detect mask- ing in a modeled con guration of medical alarms. We describe how the method was developed over two steps. This dissertation presents these steps and demonstrates the scalability and detection improvements via di erent case studies. Results and future research are discussed.
Issue Date: 2016-07-01
Genre: thesis
Rights Information: Copyright 2016 Bassam Hasanain
Date Available in INDIGO: 2016-07-01
Date Deposited: 2016-05

This item appears in the following Collection(s)

Show full item record


Country Code Views
United States of America 59
Russian Federation 45
China 35
Ukraine 3
Austria 1


My Account


Access Key