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

被引：3
作者：
Ferlin, Antoine [1 ]
Qiu, Siqi [3 ]
Bon, Philippe [1 ]
Sallak, Mohamed [2 ]
Dutilleul, Simon Collart [1 ]
Schon, Walter [2 ]
Cherfi-Boulanger, Zohra [2 ]
机构：
[1] IFSTTAR, F-59666 Villeneuve Dascq, France
[2] Univ Technol Compiegne, Sorbonnes Univ, Heudiasyc Lab, F-60200 Compiegne, France
[3] Shanghai Jiao Tong Univ, Sch Mech Engn, Shanghai 200240, Peoples R China
来源：
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS | 2018年 / 19卷 / 10期
关键词：
Human reliability analysis; human error probability; experiments; statistical Buchi automaton; linear temporal logic (LTL); railway/ERTMS;
D O I：
10.1109/TITS.2017.2779565
中图分类号：
TU [建筑科学];
学科分类号：
0813 ;
摘要：
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.
引用
收藏
页码：3360 / 3375
页数：16
相关论文
共 36 条
  • [1] [Anonymous], 2013, FEDERAL RAILROAD ADM
  • [2] [Anonymous], 2009, HUMAN RELIABILITY AS
  • [3] Barringer H., 2003, CSPP25 U MANCH DEP C
  • [4] Formal Analysis of Log Files
    Barringer, Howard
    Groce, Alex
    Havelund, Klaus
    Smith, Margaret
    [J]. JOURNAL OF AEROSPACE COMPUTING INFORMATION AND COMMUNICATION, 2010, 7 (11): : 365 - 390
  • [5] Bauer A., 2006, LECT NOTES COMPUTER
  • [6] An Application of Evidential Networks to Threat Assessment
    Benavoli, A.
    Ristic, B.
    Farina, A.
    Oxenham, M.
    Chisci, L.
    [J]. IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2009, 45 (02) : 620 - 639
  • [7] Blackman Harold S., 2008, Proceedings of the Human Factors and Ergonomics Society. 52nd Annual Meeting, P1733, DOI 10.1518/107118108X348774
  • [8] HRA in China: Model and data
    Dai Licao
    Zhang Li
    Li Pengcheng
    [J]. SAFETY SCIENCE, 2011, 49 (03) : 468 - 472
  • [9] De Morgan A., 1847, Formal Logic: or, The Calculus of Inference, Necessary and Probable
  • [10] UPPER AND LOWER PROBABILITIES INDUCED BY A MULTIVALUED MAPPING
    DEMPSTER, AP
    [J]. ANNALS OF MATHEMATICAL STATISTICS, 1967, 38 (02): : 325 - &
1234