IDEAS home Printed from https://ideas.repec.org/a/eee/reensy/v188y2019icp168-180.html
   My bibliography  Save this article

A formal method for assessing the impact of task-based erroneous human behavior on system safety

Author

Listed:
  • Bolton, Matthew L.
  • Molinaro, Kylie A.
  • Houser, Adam M.

Abstract

Erroneous human behavior is often cited as a major factor to system failure. However, the complexity of the human-automation interaction can make it difficult for engineers to anticipate how erroneous human behavior can contribute to failures. In this work, we introduce a novel method for generating human errors based on the task-based taxonomy of erroneous human behavior. This allows erroneous acts to manifest as divergences from task models. We implement our method using the Enhanced Operator Function Model. We further show how the method can be used with formal system modeling and formal verification with model checking to prove whether or not potentially unanticipated erroneous behavior could contribute to system failures. We evaluate how our method scales and use it to evaluate three case studies: a radiation therapy machine, a pain medication pump, and an Apache helicopter. We discuss these results and explore options for future work.

Suggested Citation

  • Bolton, Matthew L. & Molinaro, Kylie A. & Houser, Adam M., 2019. "A formal method for assessing the impact of task-based erroneous human behavior on system safety," Reliability Engineering and System Safety, Elsevier, vol. 188(C), pages 168-180.
    • Handle: RePEc:eee:reensy:v:188:y:2019:i:c:p:168-180
    DOI: 10.1016/j.ress.2019.03.010
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S0951832018304368
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.ress.2019.03.010?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Bolbot, Victor & Theotokatos, Gerasimos & Bujorianu, Luminita Manuela & Boulougouris, Evangelos & Vassalos, Dracos, 2019. "Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review," Reliability Engineering and System Safety, Elsevier, vol. 182(C), pages 179-193.
    2. Sun, Zhiqiang & Li, Zhengyi & Gong, Erling & Xie, Hongwei, 2012. "Estimating Human Error Probability using a modified CREAM," Reliability Engineering and System Safety, Elsevier, vol. 100(C), pages 28-32.
    3. Bozzano, Marco & Cimatti, Alessandro & Katoen, Joost-Pieter & Katsaros, Panagiotis & Mokos, Konstantinos & Nguyen, Viet Yen & Noll, Thomas & Postma, Bart & Roveri, Marco, 2014. "Spacecraft early design validation using formal methods," Reliability Engineering and System Safety, Elsevier, vol. 132(C), pages 20-35.
    4. Herbert, L.T. & Hansen, Z.N.L., 2016. "Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach," Reliability Engineering and System Safety, Elsevier, vol. 145(C), pages 351-365.
    5. Sharvia, Septavera & Papadopoulos, Yiannis, 2015. "Integrating model checking with HiP-HOPS in model-based safety analysis," Reliability Engineering and System Safety, Elsevier, vol. 135(C), pages 64-80.
    6. Wu, Daohua & Zheng, Wei, 2018. "Formal model-based quantitative safety analysis using timed Coloured Petri Nets," Reliability Engineering and System Safety, Elsevier, vol. 176(C), pages 62-79.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Bolton, Matthew L. & Zheng, Xi & Kang, Eunsuk, 2021. "A formal method for including the probability of erroneous human task behavior in system analyses," Reliability Engineering and System Safety, Elsevier, vol. 213(C).
    2. Che, Haiyang & Zeng, Shengkui & Li, Kehui & Guo, Jianbin, 2022. "Reliability analysis of load-sharing man-machine systems subject to machine degradation, human errors, and random shocks," Reliability Engineering and System Safety, Elsevier, vol. 226(C).
    3. Zheng, Xi & Bolton, Matthew L. & Daly, Christopher & Biltekoff, Elliot, 2020. "The development of a next-generation human reliability analysis: Systems analysis for formal pharmaceutical human reliability (SAFPHâ–ª)," Reliability Engineering and System Safety, Elsevier, vol. 202(C).

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Bolbot, Victor & Theotokatos, Gerasimos & Bujorianu, Luminita Manuela & Boulougouris, Evangelos & Vassalos, Dracos, 2019. "Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review," Reliability Engineering and System Safety, Elsevier, vol. 182(C), pages 179-193.
    2. Pira, Einollah & Rafe, Vahid & Nikanjam, Amin, 2019. "Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation," Reliability Engineering and System Safety, Elsevier, vol. 191(C).
    3. Pakonen, Antti & Buzhinsky, I & Björkman, K, 2021. "Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems," Reliability Engineering and System Safety, Elsevier, vol. 205(C).
    4. Wu, Bing & Yip, Tsz Leung & Yan, Xinping & Guedes Soares, C., 2022. "Review of techniques and challenges of human and organizational factors analysis in maritime transportation," Reliability Engineering and System Safety, Elsevier, vol. 219(C).
    5. Khastgir, Siddartha & Brewerton, Simon & Thomas, John & Jennings, Paul, 2021. "Systems Approach to Creating Test Scenarios for Automated Driving Systems," Reliability Engineering and System Safety, Elsevier, vol. 215(C).
    6. Mobin, Mohammadsadegh & Li, Zhaojun & Cheraghi, S. Hossein & Wu, Gongyu, 2019. "An approach for design Verification and Validation planning and optimization for new product reliability improvement," Reliability Engineering and System Safety, Elsevier, vol. 190(C), pages 1-1.
    7. Ibrahim, Muhammad Sohail & Dong, Wei & Yang, Qiang, 2020. "Machine learning driven smart electric power systems: Current trends and new perspectives," Applied Energy, Elsevier, vol. 272(C).
    8. Zhang, Xi & Liu, Dong & Tu, Haicheng & Tse, Chi Kong, 2022. "An integrated modeling framework for cascading failure study and robustness assessment of cyber-coupled power grids," Reliability Engineering and System Safety, Elsevier, vol. 226(C).
    9. Victor Bolbot & Gerasimos Theotokatos & Rainer Hamann & George Psarros & Evangelos Boulougouris, 2021. "Dynamic Blackout Probability Monitoring System for Cruise Ship Power Plants," Energies, MDPI, vol. 14(20), pages 1-19, October.
    10. Chelouati, Mohammed & Boussif, Abderraouf & Beugin, Julie & El Koursi, El-Miloudi, 2023. "Graphical safety assurance case using Goal Structuring Notation (GSN) — challenges, opportunities and a framework for autonomous trains," Reliability Engineering and System Safety, Elsevier, vol. 230(C).
    11. Singh, Prashant & Pasha, Junayed & Moses, Ren & Sobanjo, John & Ozguven, Eren E. & Dulebenets, Maxim A., 2022. "Development of exact and heuristic optimization methods for safety improvement projects at level crossings under conflicting objectives," Reliability Engineering and System Safety, Elsevier, vol. 220(C).
    12. Bolbot, Victor & Kulkarni, Ketki & Brunou, Päivi & Banda, Osiris Valdez & Musharraf, Mashrura, 2022. "Developments and research directions in maritime cybersecurity: A systematic literature review and bibliometric analysis," International Journal of Critical Infrastructure Protection, Elsevier, vol. 39(C).
    13. Bolbot, Victor & Trivyza, Nikoletta L. & Theotokatos, Gerasimos & Boulougouris, Evangelos & Rentizelas, Athanasios & Vassalos, Dracos, 2020. "Cruise ships power plant optimisation and comparative analysis," Energy, Elsevier, vol. 196(C).
    14. Wu, Gongyu & Li, Meiyan & Li, Zhaojun Steven, 2021. "A Gene Importance based Evolutionary Algorithm (GIEA) for identifying critical nodes in Cyber–Physical Power Systems," Reliability Engineering and System Safety, Elsevier, vol. 214(C).
    15. Chatterjee, Samrat & Thekdi, Shital, 2020. "An iterative learning and inference approach to managing dynamic cyber vulnerabilities of complex systems," Reliability Engineering and System Safety, Elsevier, vol. 193(C).
    16. Waqar Ahmad & Osman Hasan & Sofiène Tahar & Mohamed Salah Hamdi, 2018. "Formal reliability analysis of oil and gas pipelines," Journal of Risk and Reliability, , vol. 232(3), pages 320-334, June.
    17. Tu, Haicheng & Gu, Fengqiang & Zhang, Xi & Xia, Yongxiang, 2023. "Robustness analysis of power system under sequential attacks with incomplete information," Reliability Engineering and System Safety, Elsevier, vol. 232(C).
    18. Xu, Sheng & Tu, Haicheng & Xia, Yongxiang, 2023. "Resilience enhancement of renewable cyber–physical power system against malware attacks," Reliability Engineering and System Safety, Elsevier, vol. 229(C).
    19. Bing Wu & Xinping Yan & Yang Wang & C. Guedes Soares, 2017. "An Evidential Reasoning‐Based CREAM to Human Reliability Analysis in Maritime Accident Process," Risk Analysis, John Wiley & Sons, vol. 37(10), pages 1936-1957, October.
    20. Cheng, Ruijun & Zhou, Jin & Chen, Dewang & Song, Yongduan, 2016. "Model-based verification method for solving the parameter uncertainty in the train control system," Reliability Engineering and System Safety, Elsevier, vol. 145(C), pages 169-182.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:eee:reensy:v:188:y:2019:i:c:p:168-180. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Catherine Liu (email available below). General contact details of provider: https://www.journals.elsevier.com/reliability-engineering-and-system-safety .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.