An Automated Method for the Study of Human Reliability in Railway Supervision Systems

• Published in: IEEE transactions on intelligent transportation systems Vol. 19; no. 10; pp. 3360 - 3375
• Main Authors: Ferlin, Antoine, Qiu, Siqi, Bon, Philippe, Sallak, Mohamed, Collart Dutilleul, Simon, Schon, Walter, Cherfi-Boulanger, Zohra
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.10.2018; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Accidents; Analytical models; Computer Science; Computer simulation; Context modeling; Embedded Systems; experiments; Human error; human error probability; Human factors; Human reliability analysis; linear temporal logic (LTL); Modeling and Simulation; Operators; Rail transportation; railway/ERTMS; Railways; Reliability; Reliability analysis; statistical Büchi automaton; System reliability; Task analysis; Traffic management; PROBABILITE DE DEFAILLANCE; GESTION DU TRAFIC; HUMAN RELIABILITY ANALYSIS; HUMAN ERROR PROBABILITY; LINEAR TEMPORAL LOGIC (LTL); STATISTICAL BUCHI AUTOMATON; SIMULATION; RAILWAY/ERTMS; ANALYSE DU RISQUE; TRANSPORT FERROVIAIRE; LOGIQUE; EXPERIMENTS; AUTOMATISATION; SYSTEME LINEAIRE; FIABILITE; ERREUR HUMAINE
• ISSN: 1524-9050; 1558-0016
• DOI: 10.1109/TITS.2017.2779565

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.