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. 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.
    3. 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.
    4. 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.
    5. 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.
    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. 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).
    3. 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).
    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. 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).
    6. 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).
    7. 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).
    8. 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.
    9. Jung, Sejin & Yoo, Junbeom & Malek, Sam, 2023. "A systematic co-engineering of safety and security analysis in requirements engineering process," International Journal of Critical Infrastructure Protection, Elsevier, vol. 43(C).
    10. Wang, Yang & Ye, Ting & Zio, Enrico & Wang, Tengfei & Wu, Bing, 2024. "A blockchain-based credibility evaluation scheme for navigational event dissemination in the internet of ships," Reliability Engineering and System Safety, Elsevier, vol. 248(C).
    11. Hu, Yunpeng & Peng, Qibo & Ni, Qing & Wu, Xinfeng & Ye, Dongming, 2023. "Event-based safety and reliability analysis integration in model-based space mission design," Reliability Engineering and System Safety, Elsevier, vol. 229(C).
    12. Wu, Shimeng & Jiang, Yuchen & Luo, Hao & Zhang, Jiusi & Yin, Shen & Kaynak, Okyay, 2022. "An integrated data-driven scheme for the defense of typical cyber–physical attacks," Reliability Engineering and System Safety, Elsevier, vol. 220(C).
    13. Lu, Yu & Peng, Zhaoguang & Miller, Alice A. & Zhao, Tingdi & Johnson, Christopher W., 2015. "How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification," Reliability Engineering and System Safety, Elsevier, vol. 144(C), pages 95-116.
    14. Varajão, João & Fernandes, Gabriela & Amaral, António & Gonçalves, A. Manuela, 2021. "Team Resilience Model: An Empirical Examination of Information Systems Projects," Reliability Engineering and System Safety, Elsevier, vol. 206(C).
    15. Montewka, Jakub & Manderbacka, Teemu & Ruponen, Pekka & Tompuri, Markus & Gil, Mateusz & Hirdaris, Spyros, 2022. "Accident susceptibility index for a passenger ship-a framework and case study," Reliability Engineering and System Safety, Elsevier, vol. 218(PA).
    16. Panagiotis K. Marhavilas & Fani Pliaki & Dimitrios Koulouriotis, 2022. "International Management System Standards Related to Occupational Safety and Health: An Updated Literature Survey," Sustainability, MDPI, vol. 14(20), pages 1-29, October.
    17. Dongming Xiang & Fang Zhao & Yaping Liu, 2021. "DICER 2.0: A New Model Checker for Data-Flow Errors of Concurrent Software Systems," Mathematics, MDPI, vol. 9(9), pages 1-20, April.
    18. Gan, Chenyu & Ding, Shuiting & Qiu, Tian & Liu, Peng & Ma, Qinglin, 2024. "Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal–mechanical systems of aero-engines," Reliability Engineering and System Safety, Elsevier, vol. 243(C).
    19. 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).
    20. 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.

    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.