An Automated Method for the Study of Human Reliability in Railway Supervision Systems - Ferlin, Antoine; Qiu, Siqi; Bon, Philippe; Sallak, Mohamed; Collart Dutilleul, Simon; Schon, Walter; Cherfi-Boulanger, Zohra (IEEE transactions on intelligent transportation systems, 2018)
Keywords: 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