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

A framework to integrate software behavior into dynamic probabilistic risk assessment

Author

Listed:
  • Zhu, Dongfeng
  • Mosleh, Ali
  • Smidts, Carol

Abstract

Software plays an increasingly important role in modern safety-critical systems. Although, research has been done to integrate software into the classical probabilistic risk assessment (PRA) framework, current PRA practice overwhelmingly neglects the contribution of software to system risk. Dynamic probabilistic risk assessment (DPRA) is considered to be the next generation of PRA techniques. DPRA is a set of methods and techniques in which simulation models that represent the behavior of the elements of a system are exercised in order to identify risks and vulnerabilities of the system. The fact remains, however, that modeling software for use in the DPRA framework is also quite complex and very little has been done to address the question directly and comprehensively. This paper develops a methodology to integrate software contributions in the DPRA environment. The framework includes a software representation, and an approach to incorporate the software representation into the DPRA environment SimPRA. The software representation is based on multi-level objects and the paper also proposes a framework to simulate the multi-level objects in the simulation-based DPRA environment. This is a new methodology to address the state explosion problem in the DPRA environment. This study is the first systematic effort to integrate software risk contributions into DPRA environments.

Suggested Citation

  • Zhu, Dongfeng & Mosleh, Ali & Smidts, Carol, 2007. "A framework to integrate software behavior into dynamic probabilistic risk assessment," Reliability Engineering and System Safety, Elsevier, vol. 92(12), pages 1733-1755.
  • Handle: RePEc:eee:reensy:v:92:y:2007:i:12:p:1733-1755
    DOI: 10.1016/j.ress.2006.09.024
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S0951832006002171
    Download Restriction: Full text for ScienceDirect subscribers only

    File URL: https://libkey.io/10.1016/j.ress.2006.09.024?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.

    Citations

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


    Cited by:

    1. Park, Jong Woo & Lee, Seung Jun, 2022. "Simulation optimization framework for dynamic probabilistic safety assessment," Reliability Engineering and System Safety, Elsevier, vol. 220(C).
    2. Nejad, Hamed S. & Parhizkar, Tarannom & Mosleh, Ali, 2022. "Automatic generation of event sequence diagrams for guiding simulation based dynamic probabilistic risk assessment (SIMPRA) of complex systems," Reliability Engineering and System Safety, Elsevier, vol. 222(C).
    3. Thieme, Christoph A. & Mosleh, Ali & Utne, Ingrid B. & Hegde, Jeevith, 2020. "Incorporating software failure in risk analysis – Part 1: Software functional failure mode classification," Reliability Engineering and System Safety, Elsevier, vol. 197(C).
    4. Y Wei & M Rodriguez & C S Smidts, 2010. "Probabilistic risk assessment framework for software propagation analysis of failures," Journal of Risk and Reliability, , vol. 224(2), pages 113-135, June.
    5. Turati, Pietro & Pedroni, Nicola & Zio, Enrico, 2016. "Advanced RESTART method for the estimation of the probability of failure of highly reliable hybrid dynamic systems," Reliability Engineering and System Safety, Elsevier, vol. 154(C), pages 117-126.
    6. Maidana, Renan G. & Parhizkar, Tarannom & Gomola, Alojz & Utne, Ingrid B. & Mosleh, Ali, 2023. "Supervised dynamic probabilistic risk assessment: Review and comparison of methods," Reliability Engineering and System Safety, Elsevier, vol. 230(C).
    7. Thieme, Christoph A. & Mosleh, Ali & Utne, Ingrid B. & Hegde, Jeevith, 2020. "Incorporating software failure in risk analysis––Part 2: Risk modeling process and case study," Reliability Engineering and System Safety, Elsevier, vol. 198(C).
    8. Brissaud, Florent & Smidts, Carol & Barros, Anne & Bérenguer, Christophe, 2011. "Dynamic reliability of digital-based transmitters," Reliability Engineering and System Safety, Elsevier, vol. 96(7), pages 793-813.

    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:92:y:2007:i:12:p:1733-1755. 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.

    We have no bibliographic references for this item. You can help adding them by using 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.