The failure of humans to respond to auditory medical alarms has resulted in numerous patient injuries and deaths. The widely used IEC 60601-1-8 international medical alarm standard was created to improve alarm discernibility and identification. Unfortunately, the melodic tonal patterns of IEC 60601-1-8’s alarms are particularly susceptible to simultaneous masking, a condition where concurrent sounds interact in ways that make one or more of them imperceptible. This paper presents a method, which builds on a previous implementation, that uses a novel combination of psychophysical modeling and model checking to detect masking in a modeled configuration of IEC 60601-1-8 alarms. We describe our updated method and demonstrate its power by using it to find masking in the alarms of an actual IEC 60601-1-8-compliant telemetry monitoring system. Results and future research are discussed.
References
1.
AmbikairajahE.DavisA.WongW. (1997). Auditory masking and MPEG-1 audio compression. Electronics & Communication Engineering Journal, 9(4), 165–175.
2.
BoltonM. L.BassE. J.SiminiceanuR. I. (2013). Using formal verifica-tion to evaluate human-automation interaction in safety critical systems, a review. IEEE Transactions on Systems, Man and Cybernetics: Systems, 43(3), 488–503.
3.
BosiM.GoldbergR. E. (2003). Introduction to digital audio coding and standards. New York: Springer.
4.
BrandenburgK.StollG. (1994). ISO/MPEG-1 audio: A generic standard for coding of high-quality digital audio. Journal of the Audio Engineering Society, 42(10), 780–792.
5.
ClarkeE. M.GrumbergO.PeledD. A. (1999). Model checking. Cambridge: MIT Press.
6.
CobleighJ.GiannakopoulouD.PăsăreanuC. (2003). Learning assumptions for compositional verification. Tools and Algorithms for the Construction and Analysis of Systems, 331–346.
7.
De MouraL.OwreS.RueßH.RushbyJ.ShankarN.SoreaM.TiwariA. (2004). SAL 2. In Proceedings of the 16th international conference on computer aided verification (pp. 496–500). Springer.
8.
DutertreB.SoreaM. (2004). Timed systems in SAL (Tech. Rep. No. NASA/CR-2002-211858). SRI International.
EdworthyJ. (2013). Medical audible alarms: A review. Journal of the American Medical Informatics Association, 20(3), 584–589.
11.
EdworthyJ.MeredithC. S. (1994). Cognitive psychology and the design of alarm sounds. Medical Engineering & Physics, 16(6), 445–449.
12.
EmersonE. A.SistlaA. P. (1996). Symmetry and model checking. Formal methods in system design, 9(1), 105–131.
13.
FastlH.ZwickerE. (2006). Psychoacoustics: Facts and models (Vol. 22). Springer.
14.
GE Healthcare. (2010). CARESCAPETM monitor B850 technical specifications supplement (Tech. Rep. No. 2040386-084D). General Electric Company.
15.
GreenD. M. (1967). Additivity of masking. The Journal of the Acoustical Society of America, 41(6), 1517–1525.
16.
HasanainB.BoydA.BoltonM. (2015). Using model checking to detect simultaneous masking in medical alarms. IEEE Transactions on Human Machine Systems. doi: 10.1109/THMS.2014.2379661
17.
IEC 60601-1-8. (2003). Medical electrical equipment - part 1-8. Geneva: International Electrotechnical Commission.
18.
LutfiR. A. (1983). Additivity of simultaneous masking. The Journal of the Acoustical Society of America, 73(1), 262–267.
19.
MomtahanK.HetuR.TansleyB. (1993). Audibility and identification of auditory alarms in the operating room and intensive care unit. Ergonomics, 36(10), 1159–1176.
20.
PattersonR. D.MayfieldT. F. (1990). Auditory warning sounds in the work environment. Philosophical Transactions of the Royal Society of London. B, Biological Sciences, 327(1241), 485–492.
21.
SchroederM. R.AtalB. S.HallJ. (1979). Optimizing digital speech coders by exploiting masking properties of the human ear. The Journal of the Acoustical Society of America, 66, 1647–1652.
The Joint Commission. (April8, 2013). Medical device alarm safety in hospitals. Sentinel Even Alert, 50.
24.
ToorO.RyanT.RichardM. (2008). Auditory masking potential of common operating room sounds: A psychoacoustic analsysis. In Anesthesiology (Vol. 109, p. A1207). Park Ridge: American Society of Anesthesiologists.
