An Automated Method for the Study of Human Reliability in Railway Supervision Systems
- 6 February 2018
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Intelligent Transportation Systems
- Vol. 19 (10) , 3360-3375
Abstract
This paper presents an original experimental protocol, which aims to study human reliability in railway systems by computing the human error probability (HEP) of human operators. The experiment is conducted on a railway traffic management system that places operators in simulated situations involving railway failures. The obtained experimental result is analyzed first by two classical human reliability analysis methods to estimate the HEP of each subject. Then, a model of human operators using valuation-based system is proposed. Finally, a methodology automatically populates the proposed model by allowing the verification of temporal properties on the simulation trace.Keywords
Funding Information
- Agence Nationale de la Recherche
- French I-TRANS competitive pole
This publication has 19 references indexed in Scilit:
- An overview of the MOP runtime verification frameworkInternational Journal on Software Tools for Technology Transfer, 2011
- HRA in China: Model and dataSafety Science, 2011
- Formal Analysis of Log FilesJournal of Aerospace Information Systems, 2010
- Human Error Quantification Using Performance Shaping Factors in the SPAR-H MethodProceedings of the Human Factors and Ergonomics Society Annual Meeting, 2008
- Temporal Assertions using AspectJElectronic Notes in Theoretical Computer Science, 2006
- Event-based runtime verification of java programsACM SIGSOFT Software Engineering Notes, 2005
- Transferable belief model for decision making in the valuation-based systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1996
- The transferable belief modelArtificial Intelligence, 1994
- A valuation-based language for expert systemsInternational Journal of Approximate Reasoning, 1989
- Upper and Lower Probabilities Induced by a Multivalued MappingThe Annals of Mathematical Statistics, 1967