A formal approach to discovering simultaneous additive masking between auditory medical alarms
- 1 January 2017
- journal article
- Published by Elsevier BV in Applied Ergonomics
- Vol. 58, 500-514
- https://doi.org/10.1016/j.apergo.2016.07.008
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model CheckingIEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013
- Using Formal Verification to Evaluate Human-Automation Interaction: A ReviewIEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013
- Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checkingInternational Journal of Human-Computer Studies, 2012
- A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic ModelsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2011
- Alarm mistrust in automobiles: how collision alarm reliability affects drivingApplied Ergonomics, 2003
- Investigation of Alarm-Related Accidents and Incidents in AviationThe International Journal of Aviation Psychology, 2003
- Behavioural implications of alarm mistrust as a function of task workloadErgonomics, 2000
- Auditory masking and MPEG-1 audio compressionElectronics & Communication Engineering Journal, 1997
- A theory of timed automataTheoretical Computer Science, 1994
- Evaluation of users' abilities to recognize musical alarm tonesJournal of Clinical Monitoring and Computing, 1992