An Automated Method for the Study of Human Reliability in Railway Supervision Systems
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 involvin...
Saved in:
| Published in | IEEE transactions on intelligent transportation systems Vol. 19; no. 10; pp. 3360 - 3375 |
|---|---|
| Main Authors | , , , , , , |
| Format | Journal Article |
| Language | English |
| Published |
New York
IEEE
01.10.2018
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Subjects | |
| Online Access | Get full text |
| ISSN | 1524-9050 1558-0016 |
| DOI | 10.1109/TITS.2017.2779565 |
Cover
| 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. |
|---|---|
| AbstractList | 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. |
| Author | Collart Dutilleul, Simon Qiu, Siqi Ferlin, Antoine Bon, Philippe Schon, Walter Sallak, Mohamed Cherfi-Boulanger, Zohra |
| Author_xml | – sequence: 1 givenname: Antoine orcidid: 0000-0001-5927-539X surname: Ferlin fullname: Ferlin, Antoine organization: IFSTTAR, Villeneuve d'Ascq, France – sequence: 2 givenname: Siqi surname: Qiu fullname: Qiu, Siqi email: siqiqiu@sjtu.edu.cn organization: School of Mechanical Engineering, Shanghai Jiao Tong University, Shanghai, China – sequence: 3 givenname: Philippe surname: Bon fullname: Bon, Philippe email: philippe.bon@ifsttar organization: IFSTTAR, Villeneuve d'Ascq, France – sequence: 4 givenname: Mohamed surname: Sallak fullname: Sallak, Mohamed organization: Heudiasyc Laboratory, Université de Technologie de Compiègne, Sorbonnes Universités, Compiègne, France – sequence: 5 givenname: Simon surname: Collart Dutilleul fullname: Collart Dutilleul, Simon organization: IFSTTAR, Villeneuve d'Ascq, France – sequence: 6 givenname: Walter surname: Schon fullname: Schon, Walter organization: Heudiasyc Laboratory, Université de Technologie de Compiègne, Sorbonnes Universités, Compiègne, France – sequence: 7 givenname: Zohra surname: Cherfi-Boulanger fullname: Cherfi-Boulanger, Zohra organization: Heudiasyc Laboratory, Université de Technologie de Compiègne, Sorbonnes Universités, Compiègne, France |
| BackLink | https://hal.science/hal-01872120$$DView record in HAL |
| BookMark | eNp9kMFqGzEQhkVJIHGSBwi9CHrqYd2RZK20R2PaOOBSiJ2zkHfHWGa9ciWtw759tTjpoYeeNBq-f5j5JuSq8x0S8shgyhhU3zbPm_WUA1NTrlQlS_mJ3DIpdQHAyqux5rOiAgk3ZBLjIXdnkrFb8jrv6LxP_mgTNvQnpr1v6M4HmvZI16lvBup3dNkfbUdfsHV261qXBury17r2zQ503Z8wnF10vqPrISY8xntyvbNtxIf39468_vi-WSyL1a-n58V8VdSCq1RwLFkNilcCUIKAmkvJa1WJrbYgG9EouxUatdQaFdqmtMAbEAJmUNpKlOKOfL3M3dvWnII72jAYb51Zzldm7AHTijMOZ5bZLxf2FPzvHmMyB9-HLq9nOGMKoJrpKlPqQtXBxxhwZ2qXbMq3pZDvNQzM6NuMvs3o27z7zkn2T_Jjof9lPl8yDhH_8pprIbOFPyY9i1k |
| CODEN | ITISFG |
| CitedBy_id | crossref_primary_10_33271_nvngu_2022_2_141 crossref_primary_10_1007_s13369_023_07740_w crossref_primary_10_1109_JSEN_2021_3140032 crossref_primary_10_3390_su15108129 |
| Cites_doi | 10.1109/3468.541330 10.15837/ijccc.2016.5.2148 10.1201/9781420068528 10.1145/298595.298598 10.1109/TAES.2009.5089545 10.2514/1.49356 10.1007/3-540-44585-4_6 10.1016/j.entcs.2006.02.007 10.1007/s10009-011-0198-6 10.1007/11901433_41 10.1145/1082983.1083249 10.1016/0004-3702(94)90026-4 10.1515/9780691214696 10.2172/5752058 10.1177/154193120805202109 10.1016/j.ssci.2010.11.003 10.1016/0888-613X(89)90009-1 10.1007/10722468_19 10.1214/aoms/1177698950 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018 Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018 – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 8FD FR3 JQ2 KR7 L7M L~C L~D 1XC |
| DOI | 10.1109/TITS.2017.2779565 |
| DatabaseName | IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Civil Engineering Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef Civil Engineering Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Civil Engineering Abstracts |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1558-0016 |
| EndPage | 3375 |
| ExternalDocumentID | oai_HAL_hal_01872120v1 10_1109_TITS_2017_2779565 8283579 |
| Genre | orig-research |
| GrantInformation_xml | – fundername: Agence Nationale de la Recherche funderid: 10.13039/501100001665 – fundername: French I-TRANS competitive pole |
| GroupedDBID | -~X 0R~ 29I 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AIBXA AKJIK AKQYR ALMA_UNASSIGNED_HOLDINGS ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD HZ~ H~9 IFIPE IPLJI JAVBF LAI M43 O9- OCL P2P PQQKQ RIA RIE RNS ZY4 AAYXX CITATION RIG 7SC 7SP 8FD FR3 JQ2 KR7 L7M L~C L~D 1XC |
| ID | FETCH-LOGICAL-c327t-2e61c072930e5030c2552c793b8a05d3d7ab38e8588e7ead6a02d0330406a9363 |
| IEDL.DBID | RIE |
| ISSN | 1524-9050 |
| IngestDate | Fri Jul 18 06:20:35 EDT 2025 Mon Jun 30 03:34:35 EDT 2025 Thu Apr 24 23:13:00 EDT 2025 Tue Jul 01 04:29:01 EDT 2025 Wed Aug 27 02:54:33 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 10 |
| Keywords | 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 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c327t-2e61c072930e5030c2552c793b8a05d3d7ab38e8588e7ead6a02d0330406a9363 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0001-5927-539X 0000-0003-3967-4515 0000-0003-4803-2362 0000-0002-0387-1691 |
| PQID | 2117009489 |
| PQPubID | 75735 |
| PageCount | 16 |
| ParticipantIDs | hal_primary_oai_HAL_hal_01872120v1 ieee_primary_8283579 crossref_citationtrail_10_1109_TITS_2017_2779565 proquest_journals_2117009489 crossref_primary_10_1109_TITS_2017_2779565 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2018-10-01 |
| PublicationDateYYYYMMDD | 2018-10-01 |
| PublicationDate_xml | – month: 10 year: 2018 text: 2018-10-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | IEEE transactions on intelligent transportation systems |
| PublicationTitleAbbrev | TITS |
| PublicationYear | 2018 |
| Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| References | ref13 barringer (ref14) 2003 hannaman (ref20) 1984 ref34 ref15 rasmussen (ref21) 1979 ferlin (ref32) 2013 ref31 havelund (ref9) 2001; 2 ref33 ref11 ref10 ref2 gertman (ref26) 2004 ref17 ref16 ref19 ref18 kozinsky (ref22) 1983 (ref1) 2013 blackman (ref25) 2008 de morgan (ref36) 1847 (ref12) 2004 ferlin (ref29) 2016 ref23 qiu (ref35) 2014 ferlin (ref5) 2015 swain (ref3) 1983 ref28 havelund (ref8) 2002; 12 madonna (ref24) 2009; 5 ref7 ref6 rangra (ref4) 2017 ferlin (ref30) 2012 shafer (ref27) 1976 |
| References_xml | – start-page: 29 year: 2015 ident: ref5 article-title: Parallel verification of temporal properties using dynamic analysis publication-title: Proc of IES Conf – ident: ref17 doi: 10.1109/3468.541330 – ident: ref34 doi: 10.15837/ijccc.2016.5.2148 – year: 2013 ident: ref32 article-title: Vérification de propriétés temporelles sur des logiciels avioniques par analyse dynamique formelle – ident: ref2 doi: 10.1201/9781420068528 – ident: ref31 doi: 10.1145/298595.298598 – ident: ref19 doi: 10.1109/TAES.2009.5089545 – ident: ref13 doi: 10.2514/1.49356 – year: 1979 ident: ref21 article-title: On the structure of knowledge-A morphology of metal models in a man-machine system context – ident: ref33 doi: 10.1007/3-540-44585-4_6 – volume: 5 start-page: 67 year: 2009 ident: ref24 article-title: The human factor in risk assessment: Methodological comparison between human reliability analysis techniques publication-title: Prevention Today – year: 2017 ident: ref4 article-title: Performance shaping factor based human reliability assessment using valiation-based systems-Application to railway operations – volume: 2 start-page: 135 year: 2001 ident: ref9 article-title: Monitoring programs using rewriting publication-title: Autom Softw Eng – year: 2004 ident: ref12 article-title: Property specification language, reference manual – ident: ref10 doi: 10.1016/j.entcs.2006.02.007 – ident: ref7 doi: 10.1007/s10009-011-0198-6 – ident: ref11 doi: 10.1007/11901433_41 – ident: ref15 doi: 10.1145/1082983.1083249 – year: 2013 ident: ref1 publication-title: Federal Railroad Administration Office of Safety Analysis – year: 1984 ident: ref20 article-title: Human cognitive reliability model for PRA analysis – year: 1983 ident: ref22 article-title: Criteria for safety-related operator actions (SROA): Final report – start-page: 2 year: 2016 ident: ref29 article-title: Trace analysis from ERTMS engineering publication-title: Proc Comprail Conf – ident: ref28 doi: 10.1016/0004-3702(94)90026-4 – start-page: 331 year: 2012 ident: ref30 article-title: Combination of static and dynamic analyses for the certification of avionics software publication-title: Proc IEEE Int Symp Softw Rel Eng Workshops (ISSREW) – year: 1976 ident: ref27 publication-title: A Mathematical Theory of Evidence doi: 10.1515/9780691214696 – year: 1983 ident: ref3 article-title: Handbook of human reliability analysis with emphasis on nuclear power plant applications doi: 10.2172/5752058 – year: 1847 ident: ref36 publication-title: Formal Logic- Or Calculus of Inference Necessary and Probable – start-page: 1733 year: 2008 ident: ref25 article-title: Human error quantification using performance shaping factors in the SPAR-H method publication-title: Proc 52nd Annu Meeting Human Factors Ergonom Soc doi: 10.1177/154193120805202109 – ident: ref23 doi: 10.1016/j.ssci.2010.11.003 – year: 2004 ident: ref26 article-title: The SPAR-H human reliability analysis method – volume: 12 start-page: 2005 year: 2002 ident: ref8 article-title: A rewriting-based approach to trace analysis publication-title: Autom Softw Eng – ident: ref16 doi: 10.1016/0888-613X(89)90009-1 – ident: ref6 doi: 10.1007/10722468_19 – ident: ref18 doi: 10.1214/aoms/1177698950 – year: 2003 ident: ref14 article-title: Eagle does space efficient LTL monitoring – year: 2014 ident: ref35 article-title: Modèles graphiques de l'évaluation de Sûreté de Fonctionnement et l'analyse des risques des Systèmes de Systèmes en présence d'incertitudes |
| SSID | ssj0014511 |
| Score | 2.268317 |
| Snippet | This paper presents an original experimental protocol, which aims to study human reliability in railway systems by computing the human error probability (HEP)... |
| SourceID | hal proquest crossref ieee |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 3360 |
| SubjectTerms | 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 |
| Title | An Automated Method for the Study of Human Reliability in Railway Supervision Systems |
| URI | https://ieeexplore.ieee.org/document/8283579 https://www.proquest.com/docview/2117009489 https://hal.science/hal-01872120 |
| Volume | 19 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3dS8MwED-2PemD3-L8IohPYrf0M83jEMcU54sb7K2kbYri2ERbZf713qVdGSriW1sSmvYuud9dLr8DOBcZ2iAlpBUoL7M8FfiWzLS0hB2nXEhfu-Yg7fA-GIy924k_acBlfRZGa22Sz3SHLs1efjpPCgqVdUMiBxOyCU1Us_KsVr1jQDxbhhvV8SzJ_eUOps1ld3QzeqAkLtFxBL6e7MiKDWo-UgakKa3yYz02Rqa_CcPl8MrckudOkced5PMbc-N_x78FGxXaZL1SPbahoWc7sL7CQbgL496M9Yp8jshVp2xoCkozRLIMkSGjLMMFm2fMxPoZ5S-XvN4L9oS36mn6oRbsoXihFYfibqxiQN-Dcf96dDWwqloLVuI6IrccHdgJsYi7XPs48RN0NZwEJ28cKu6nbipU7IY69MNQC9S-QHEn5RQM4YGSbuDuQ2s2n-kDYLiGZLGfpQqhgJfEHn4z-oQasYySWSriNvDl34-Sioic6mFMI-OQcBmRwCISWFQJrA0XdZeXkoXjr8ZnKNK6HfFnD3p3ET2jCoRoq_m73YZdkk_dqhJNG46XGhBVk_ktcqg6D7rBoTz8vdcRrOEASppc-xha-WuhTxCr5PGpUdIvatLihg |
| linkProvider | IEEE |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3dT9swED_x8TB42PgU3TpmIZ6mpXU-HMeP1TTUspYXWok3y0kcDQ21CBJQ-et356QRggnxlkS2ZOfOvt-dz78DOJUF2iAjlRebqPAiEwtPFVZ50k9zLpWwobtIO7mIh7Po_EpcrcGP9i6MtdYln9kePbqz_HyRVRQq6ydEDibVOmyi3Y9EfVurPTMgpi3HjhpEnuJidYbpc9WfjqaXlMYle4HEAZAleWaF1v9QDqQrrvJqR3Zm5uwTTFYDrLNL_vaqMu1lTy-4G987gx342OBNNqgVZBfW7HwPtp-xEO7DbDBng6pcIHa1OZu4ktIMsSxDbMgoz3DJFgVz0X5GGcw1s_eSXeOrub55NEt2Wd3SnkORN9ZwoB_A7OzX9OfQa6oteFkYyNILbOxnxCMecitw6WfobAQZLt80MVzkYS5NGiY2EUliJepfbHiQcwqH8NioMA4PYWO-mNsjYLiLFKkocoNgIMrSCOeMXqFFNGNUkcu0A3z193XWUJFTRYwb7VwSrjQJTJPAdCOwDnxvu9zWPBxvNT5BkbbtiEF7OBhr-kY1CNFa8we_A_skn7ZVI5oOdFcaoJvlfK8Dqs-DjnCiPv-_1zf4MJxOxno8uvj9BbZwMDVprt-FjfKusl8RuZTpsVPYf3DM5dM |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=An+Automated+Method+for+the+Study+of+Human+Reliability+in+Railway+Supervision+Systems&rft.jtitle=IEEE+transactions+on+intelligent+transportation+systems&rft.au=Ferlin%2C+Antoine&rft.au=Qiu%2C+Siqi&rft.au=Bon%2C+Philippe&rft.au=Sallak%2C+Mohamed&rft.date=2018-10-01&rft.issn=1524-9050&rft.eissn=1558-0016&rft.volume=19&rft.issue=10&rft.spage=3360&rft.epage=3375&rft_id=info:doi/10.1109%2FTITS.2017.2779565&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_TITS_2017_2779565 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1524-9050&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1524-9050&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1524-9050&client=summon |