Hybrid causal methodology and software platform for probabilistic risk assessment and safety monitoring of socio-technical systems
This paper introduces an integrated framework and software platform for probabilistic risk assessment (PRA) and safety monitoring of complex socio-technical systems. An overview of the three-layer hybrid causal logic (HCL) modeling approach and corresponding algorithms, implemented in the Trilith so...
Saved in:
| Published in: | Reliability engineering & system safety Vol. 95; no. 12; pp. 1276 - 1285 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Ltd
01.12.2010
|
| Subjects: | |
| ISSN: | 0951-8320, 1879-0836 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | This paper introduces an integrated framework and software platform for probabilistic risk assessment (PRA) and safety monitoring of complex socio-technical systems. An overview of the three-layer hybrid causal logic (HCL) modeling approach and corresponding algorithms, implemented in the Trilith software platform, are provided. The HCL approach enhances typical PRA methods by quantitatively including the influence of soft causal factors introduced by human and organizational aspects of a system. The framework allows different modeling techniques to be used for different aspects of the socio-technical system. The HCL approach combines the power of traditional event sequence diagram (ESD)event tree (ET) and fault tree (FT) techniques for modeling deterministic causal paths, with the flexibility of Bayesian belief networks for modeling non-deterministic cause–effect relationships among system elements (suitable for modeling human and organizational influences). Trilith enables analysts to construct HCL models and perform quantitative risk assessment and management of complex systems. The risk management capabilities included are HCL-based risk importance measures, hazard identification and ranking, precursor analysis, safety indicator monitoring, and root cause analysis. This paper describes the capabilities of the Trilith platform and power of the HCL algorithm by use of example risk models for a type of aviation accident (aircraft taking off from the wrong runway). |
|---|---|
| AbstractList | This paper introduces an integrated framework and software platform for probabilistic risk assessment (PRA) and safety monitoring of complex socio-technical systems. An overview of the three-layer hybrid causal logic (HCL) modeling approach and corresponding algorithms, implemented in the Trilith software platform, are provided. The HCL approach enhances typical PRA methods by quantitatively including the influence of soft causal factors introduced by human and organizational aspects of a system. The framework allows different modeling techniques to be used for different aspects of the socio-technical system. The HCL approach combines the power of traditional event sequence diagram (ESD)event tree (ET) and fault tree (FT) techniques for modeling deterministic causal paths, with the flexibility of Bayesian belief networks for modeling non-deterministic cause-effect relationships among system elements (suitable for modeling human and organizational influences). Trilith enables analysts to construct HCL models and perform quantitative risk assessment and management of complex systems. The risk management capabilities included are HCL-based risk importance measures, hazard identification and ranking, precursor analysis, safety indicator monitoring, and root cause analysis. This paper describes the capabilities of the Trilith platform and power of the HCL algorithm by use of example risk models for a type of aviation accident (aircraft taking off from the wrong runway). |
| Author | Wang, Chengdong Mosleh, Ali Groth, Katrina |
| Author_xml | – sequence: 1 givenname: Katrina surname: Groth fullname: Groth, Katrina email: kgroth@umd.edu – sequence: 2 givenname: Chengdong surname: Wang fullname: Wang, Chengdong – sequence: 3 givenname: Ali surname: Mosleh fullname: Mosleh, Ali |
| BookMark | eNp9kD9vFDEQxS2USLkEvkAqd1R72Lu-XVuiQREkSJFooLb8Z5z42LUPjw-0bT45Ph0VRZoZafR-M2_eNblIOQEht5xtOePjh_22AOK2Z23Axi1juzdkw-WkOiaH8YJsmNrxTg49uyLXiHvGmFC7aUNeHlZboqfOHNHMdIH6nH2e89NKTfIUc6h_TAF6mE0NuSy0FXoo2Rob54g1Oloi_qQGsRlYINUzZwLUlS45xZpLTE80h7bMxdxVcM8punYMV6yw4FtyGcyM8O5fvyE_vnz-fvfQPX67_3r36bFzw9DXToXAnPUg7NBz6wfBYDLSB-uUGlUvRdgF60culLJKWObtBJOXzDsuwMsw3JD3573N_q8jYNVLRAfzbBLkI2oplJD9MKqm7M9KVzJigaAPJS6mrJozfcpb7_Upb33KW7NRt7wbJP-DXKymxpxqMXF-Hf14RqG9_ztC0egiJAc-FnBV-xxfw_8CGJujTw |
| CitedBy_id | crossref_primary_10_1016_j_ssci_2020_104808 crossref_primary_10_1016_j_jngse_2020_103671 crossref_primary_10_1061__ASCE_CO_1943_7862_0001136 crossref_primary_10_3390_app10248918 crossref_primary_10_1016_j_ress_2024_110123 crossref_primary_10_1177_1748006X211043310 crossref_primary_10_1016_j_jlp_2013_06_001 crossref_primary_10_1016_j_ssci_2011_03_006 crossref_primary_10_1016_j_ssci_2022_105810 crossref_primary_10_1016_j_ress_2019_106759 crossref_primary_10_1016_j_ress_2018_03_004 crossref_primary_10_1016_j_ijhydene_2021_10_266 crossref_primary_10_1002_qre_3544 crossref_primary_10_1016_j_ssci_2017_11_016 crossref_primary_10_1016_j_ress_2020_106964 crossref_primary_10_1016_j_ress_2013_11_014 crossref_primary_10_1177_1748006X241233863 crossref_primary_10_1016_j_pnucene_2020_103497 crossref_primary_10_1016_j_nucengdes_2015_05_010 crossref_primary_10_1002_fam_2872 crossref_primary_10_1002_qre_3552 crossref_primary_10_1016_j_apor_2018_04_004 crossref_primary_10_1016_j_ijhydene_2025_02_169 crossref_primary_10_1016_j_ress_2013_10_004 crossref_primary_10_1016_j_ijhydene_2016_07_002 crossref_primary_10_1016_j_ress_2016_02_005 crossref_primary_10_1177_1748006X10397370 crossref_primary_10_1016_j_anucene_2021_108260 crossref_primary_10_1057_jors_2013_49 crossref_primary_10_1016_j_ress_2015_02_006 crossref_primary_10_1016_j_ress_2018_12_020 crossref_primary_10_1016_j_ress_2019_106697 crossref_primary_10_1016_j_ress_2025_111519 crossref_primary_10_1016_j_jlp_2011_11_001 crossref_primary_10_1177_1748006X11428107 crossref_primary_10_3390_app11062590 crossref_primary_10_1016_j_ssci_2018_02_032 crossref_primary_10_1111_risa_13468 crossref_primary_10_1016_j_anucene_2019_107181 crossref_primary_10_3390_jmse13050853 crossref_primary_10_1016_j_oceaneng_2018_02_016 crossref_primary_10_3390_jmse10060725 crossref_primary_10_1016_j_ssci_2017_03_012 crossref_primary_10_1111_j_1539_6924_2012_01918_x crossref_primary_10_1177_1748006X13485663 crossref_primary_10_1016_j_heliyon_2021_e08511 crossref_primary_10_1016_j_ress_2013_02_015 crossref_primary_10_1016_j_ress_2016_01_004 crossref_primary_10_3390_jmse8070485 crossref_primary_10_1186_1735_2746_10_7 crossref_primary_10_1016_j_jlp_2013_02_012 |
| Cites_doi | 10.1016/j.ress.2005.01.008 10.1016/j.ress.2008.11.006 10.1145/123186.123222 10.1109/TR.1975.5215142 10.1109/24.877343 10.1109/RAMS.2008.4925831 10.1007/978-0-85729-410-4_383 10.1016/j.ress.2008.04.003 10.1016/0951-8320(93)90060-C 10.1145/136035.136043 |
| ContentType | Journal Article |
| Copyright | 2010 Elsevier Ltd |
| Copyright_xml | – notice: 2010 Elsevier Ltd |
| DBID | AAYXX CITATION 7T2 7U1 C1K |
| DOI | 10.1016/j.ress.2010.06.005 |
| DatabaseName | CrossRef Health and Safety Science Abstracts (Full archive) Risk Abstracts Environmental Sciences and Pollution Management |
| DatabaseTitle | CrossRef Risk Abstracts Health & Safety Science Abstracts Environmental Sciences and Pollution Management |
| DatabaseTitleList | Risk Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISSN | 1879-0836 |
| EndPage | 1285 |
| ExternalDocumentID | 10_1016_j_ress_2010_06_005 S0951832010001390 |
| GroupedDBID | --K --M .~1 0R~ 123 1B1 1~. 1~5 29P 4.4 457 4G. 5VS 7-5 71M 8P~ 9JN 9JO AABNK AACTN AAEDT AAEDW AAFJI AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO ABEFU ABFNM ABJNI ABMAC ABMMH ABTAH ABXDB ABYKQ ACDAQ ACGFS ACIWK ACNNM ACRLP ADBBV ADEZE ADMUD ADTZH AEBSH AECPX AEKER AENEX AFKWA AFRAH AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AIEXJ AIKHN AITUG AJBFU AJOXV AKYCK ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOMHK ASPBG AVARZ AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA HVGLF HZ~ IHE J1W JJJVA KOM LY7 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PRBVW Q38 R2- RIG ROL RPZ SDF SDG SES SET SEW SPC SPCBC SSB SSO SST SSZ T5K TN5 WUQ XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7T2 7U1 C1K |
| ID | FETCH-LOGICAL-c332t-9ff0cbde4b321bd340e7a8dfbc9969284f5fbd61499b94b0db7e7d80dc14ed8f3 |
| ISICitedReferencesCount | 64 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000283760000003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0951-8320 |
| IngestDate | Tue Oct 07 09:53:17 EDT 2025 Tue Nov 18 21:50:22 EST 2025 Sat Nov 29 03:05:08 EST 2025 Fri Feb 23 02:27:59 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 12 |
| Keywords | Socio-technical systems Hybrid causal logic Decision support system Risk assessment |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c332t-9ff0cbde4b321bd340e7a8dfbc9969284f5fbd61499b94b0db7e7d80dc14ed8f3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| PQID | 849482369 |
| PQPubID | 23462 |
| PageCount | 10 |
| ParticipantIDs | proquest_miscellaneous_849482369 crossref_primary_10_1016_j_ress_2010_06_005 crossref_citationtrail_10_1016_j_ress_2010_06_005 elsevier_sciencedirect_doi_10_1016_j_ress_2010_06_005 |
| PublicationCentury | 2000 |
| PublicationDate | 2010-12-01 |
| PublicationDateYYYYMMDD | 2010-12-01 |
| PublicationDate_xml | – month: 12 year: 2010 text: 2010-12-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Reliability engineering & system safety |
| PublicationYear | 2010 |
| Publisher | Elsevier Ltd |
| Publisher_xml | – name: Elsevier Ltd |
| References | HUGIN. Software developed by HUGIN EXPERT Company, Aalborg, Denmark. Røed, Mosleh, Vinnem, Aven (bib11) 2009; 94 Mohaghegh, Kazemi, Mosleh (bib12) 2009; 94 Mosleh, Wang, Groen (bib2) 2007 Eghbali (bib8) 2006 Fussell (bib19) 1975; 24 United States Federal Aviation Administration (FAA). Flight standards information management system (FSIMS). Vol. 10: Air transportation oversight system. Technical report 8900.1 CHG 0, 2008. Rauzy (bib15) 1993; 40 Mandalapu (bib9) 2006 Roelen, Wever (bib7) 2004 Brace K, Rudell R Bryant R. Efficient implementation of a BDD package. In: Proceedings of the 27th ACM/IEEE design automation conference, IEEE 0738, 1990. National Transportation Safety Board (NTSB). . Aircraft Accident Report, NTSB/AAR-07/05, 2007. Andrews, Dunnett (bib16) 2000; 49 Zhu D, et al. A PRA software platform for hybrid causal logic risk models. In: Proceedings of the ninth International probabilistic safety assessment and management conference. Hong Kong, China, 2008. GeNie. Software developed by the Decision Systems Laboratory, University of Pittsburgh. Mosleh A, et al. An integrated framework for identification, classification and assessment of aviation systems hazards. In: Proceedings of the seventh international probabilistic safety assessment and management conference. Berlin, Germany, 2004. Groth (bib21) 2007 Wang C. Hybrid causal methodology for risk assessment. PhD dissertation. College Park, MD: University of Maryland; 2007. Roelen, Wever (bib6) 2004 Mosleh A, Apostolakis G. A Study on the quantification of judgement. In: Proceedings of the ANS/ENS topical meeting on probabilistic analysis of nuclear safety, Newport Beach, California, May 9–10, 1978. Ale B, Bellamy LJ, CookeRM, Duyvis M, Kurowicka D Lin PH, . Causal model for air transport safety. Final report, Ministerie van Verkeer en Waterstaat, Directoraat-Generaal Luchtvaart en Maritieme Zaken, ISBN 10:90 369 1724-7; ISBN 13: 978 90 369 1724-7, The Hague, The Netherlands, 2009. Roelen (bib5) 2002 Groen, Smidts, Mosleh (bib17) 2006; 91 Mandalapu (bib23) 2007 Mosleh, Groth, Kazemi, Mohaghegh (bib27) 2008 Bryant (bib13) 1992; 24 Groth K Zhu D, Mosleh, A. Hybrid methodology and software platform for probabilistic risk assessment. In: Proceedings of the 54th annual reliability and maintainability symposium, Las Vegas, NV, 2008. Fussell (10.1016/j.ress.2010.06.005_bib19) 1975; 24 10.1016/j.ress.2010.06.005_bib10 Rauzy (10.1016/j.ress.2010.06.005_bib15) 1993; 40 Groen (10.1016/j.ress.2010.06.005_bib17) 2006; 91 Mohaghegh (10.1016/j.ress.2010.06.005_bib12) 2009; 94 Roelen (10.1016/j.ress.2010.06.005_bib7) 2004 Eghbali (10.1016/j.ress.2010.06.005_bib8) 2006 10.1016/j.ress.2010.06.005_bib26 10.1016/j.ress.2010.06.005_bib25 10.1016/j.ress.2010.06.005_bib24 Bryant (10.1016/j.ress.2010.06.005_bib13) 1992; 24 Roelen (10.1016/j.ress.2010.06.005_bib5) 2002 Groth (10.1016/j.ress.2010.06.005_bib21) 2007 Mosleh (10.1016/j.ress.2010.06.005_bib27) 2008 Mandalapu (10.1016/j.ress.2010.06.005_bib9) 2006 Andrews (10.1016/j.ress.2010.06.005_bib16) 2000; 49 Røed (10.1016/j.ress.2010.06.005_bib11) 2009; 94 10.1016/j.ress.2010.06.005_bib22 10.1016/j.ress.2010.06.005_bib20 10.1016/j.ress.2010.06.005_bib18 10.1016/j.ress.2010.06.005_bib14 Roelen (10.1016/j.ress.2010.06.005_bib6) 2004 10.1016/j.ress.2010.06.005_bib3 Mosleh (10.1016/j.ress.2010.06.005_bib2) 2007 10.1016/j.ress.2010.06.005_bib4 Mandalapu (10.1016/j.ress.2010.06.005_bib23) 2007 10.1016/j.ress.2010.06.005_bib1 |
| References_xml | – reference: HUGIN. Software developed by HUGIN EXPERT Company, Aalborg, Denmark. – year: 2008 ident: bib27 article-title: Peer review of causal model of air transport system (CATS). Report prepared for the Netherlands Directorate-General for Aviation and Maritime affairs – reference: United States Federal Aviation Administration (FAA). Flight standards information management system (FSIMS). Vol. 10: Air transportation oversight system. Technical report 8900.1 CHG 0, 2008. – reference: Mosleh A, Apostolakis G. A Study on the quantification of judgement. In: Proceedings of the ANS/ENS topical meeting on probabilistic analysis of nuclear safety, Newport Beach, California, May 9–10, 1978. – reference: Zhu D, et al. A PRA software platform for hybrid causal logic risk models. In: Proceedings of the ninth International probabilistic safety assessment and management conference. Hong Kong, China, 2008. – reference: Mosleh A, et al. An integrated framework for identification, classification and assessment of aviation systems hazards. In: Proceedings of the seventh international probabilistic safety assessment and management conference. Berlin, Germany, 2004. – volume: 49 start-page: 230 year: 2000 end-page: 239 ident: bib16 article-title: Event tree analysis using binary decision diagrams publication-title: IEEE Transactions on Reliability – volume: 24 start-page: 169 year: 1975 end-page: 174 ident: bib19 article-title: How to hand calculate system reliability and safety characteristics publication-title: IEEE Transactions on Reliability R – year: 2006 ident: bib8 article-title: Causal model for air carrier maintenance. Report prepared for Federal Aviation Administration – reference: Ale B, Bellamy LJ, CookeRM, Duyvis M, Kurowicka D Lin PH, . Causal model for air transport safety. Final report, Ministerie van Verkeer en Waterstaat, Directoraat-Generaal Luchtvaart en Maritieme Zaken, ISBN 10:90 369 1724-7; ISBN 13: 978 90 369 1724-7, The Hague, The Netherlands, 2009. – reference: Groth K Zhu D, Mosleh, A. Hybrid methodology and software platform for probabilistic risk assessment. In: Proceedings of the 54th annual reliability and maintainability symposium, Las Vegas, NV, 2008. – volume: 24 start-page: 293 year: 1992 end-page: 318 ident: bib13 article-title: Symbolic boolean manipulation with ordered binary decision diagrams publication-title: ACM Computing Surveys – volume: 40 start-page: 203 year: 1993 end-page: 211 ident: bib15 article-title: New algorithms for fault trees analysis publication-title: Reliability Engineering and System Safety – year: 2007 ident: bib23 article-title: Mapping of flight planning causal model nodes with ATOS elements and ACOSM functions. Report prepared for Federal Aviation Administration – reference: GeNie. Software developed by the Decision Systems Laboratory, University of Pittsburgh. – volume: 94 start-page: 1000 year: 2009 end-page: 1018 ident: bib12 article-title: Incorporating organizational factors into probabilistic risk assessment (PRA) of complex socio-technical systems: a hybrid technique formalization publication-title: Reliability Engineering & System Safety – reference: Brace K, Rudell R Bryant R. Efficient implementation of a BDD package. In: Proceedings of the 27th ACM/IEEE design automation conference, IEEE 0738, 1990. – year: 2004 ident: bib6 article-title: A causal model of engine failure. NLR-CR-2004-038 – volume: 94 start-page: 445 year: 2009 end-page: 455 ident: bib11 article-title: On the use of hybrid causal logic method in offshore risk analysis publication-title: Reliability Engineering and System Safety – year: 2004 ident: bib7 article-title: A causal model of a rejected take-off. NLR-CR-2004-039 – reference: Wang C. Hybrid causal methodology for risk assessment. PhD dissertation. College Park, MD: University of Maryland; 2007. – year: 2006 ident: bib9 article-title: Causal model for air carrier flight operations. Report prepared for Federal Aviation Administration – volume: 91 start-page: 292 year: 2006 end-page: 304 ident: bib17 article-title: QRAS—the quantitative risk assessment system publication-title: Reliability Engineering and System Safety – year: 2002 ident: bib5 article-title: Causal modeling of air safety – reference: National Transportation Safety Board (NTSB). . Aircraft Accident Report, NTSB/AAR-07/05, 2007. – year: 2007 ident: bib2 article-title: Integrated methodology for identification, classification and assessment of aviation systems hazards and risks. Vol. 1: Framework and computational algorithms – year: 2007 ident: bib21 article-title: Integrated risk information system. Vol. 1: User guide – year: 2007 ident: 10.1016/j.ress.2010.06.005_bib2 – volume: 91 start-page: 292 issue: 3 year: 2006 ident: 10.1016/j.ress.2010.06.005_bib17 article-title: QRAS—the quantitative risk assessment system publication-title: Reliability Engineering and System Safety doi: 10.1016/j.ress.2005.01.008 – year: 2002 ident: 10.1016/j.ress.2010.06.005_bib5 – year: 2008 ident: 10.1016/j.ress.2010.06.005_bib27 – volume: 94 start-page: 1000 issue: 5 year: 2009 ident: 10.1016/j.ress.2010.06.005_bib12 article-title: Incorporating organizational factors into probabilistic risk assessment (PRA) of complex socio-technical systems: a hybrid technique formalization publication-title: Reliability Engineering & System Safety doi: 10.1016/j.ress.2008.11.006 – year: 2007 ident: 10.1016/j.ress.2010.06.005_bib23 – ident: 10.1016/j.ress.2010.06.005_bib25 – year: 2006 ident: 10.1016/j.ress.2010.06.005_bib9 – ident: 10.1016/j.ress.2010.06.005_bib14 doi: 10.1145/123186.123222 – volume: 24 start-page: 169 issue: 3 year: 1975 ident: 10.1016/j.ress.2010.06.005_bib19 article-title: How to hand calculate system reliability and safety characteristics publication-title: IEEE Transactions on Reliability R doi: 10.1109/TR.1975.5215142 – volume: 49 start-page: 230 issue: 2 year: 2000 ident: 10.1016/j.ress.2010.06.005_bib16 article-title: Event tree analysis using binary decision diagrams publication-title: IEEE Transactions on Reliability doi: 10.1109/24.877343 – ident: 10.1016/j.ress.2010.06.005_bib10 – ident: 10.1016/j.ress.2010.06.005_bib20 – ident: 10.1016/j.ress.2010.06.005_bib18 – ident: 10.1016/j.ress.2010.06.005_bib3 – year: 2006 ident: 10.1016/j.ress.2010.06.005_bib8 – year: 2004 ident: 10.1016/j.ress.2010.06.005_bib6 – year: 2007 ident: 10.1016/j.ress.2010.06.005_bib21 – ident: 10.1016/j.ress.2010.06.005_bib4 doi: 10.1109/RAMS.2008.4925831 – year: 2004 ident: 10.1016/j.ress.2010.06.005_bib7 – ident: 10.1016/j.ress.2010.06.005_bib26 – ident: 10.1016/j.ress.2010.06.005_bib1 doi: 10.1007/978-0-85729-410-4_383 – volume: 94 start-page: 445 year: 2009 ident: 10.1016/j.ress.2010.06.005_bib11 article-title: On the use of hybrid causal logic method in offshore risk analysis publication-title: Reliability Engineering and System Safety doi: 10.1016/j.ress.2008.04.003 – ident: 10.1016/j.ress.2010.06.005_bib24 – ident: 10.1016/j.ress.2010.06.005_bib22 – volume: 40 start-page: 203 year: 1993 ident: 10.1016/j.ress.2010.06.005_bib15 article-title: New algorithms for fault trees analysis publication-title: Reliability Engineering and System Safety doi: 10.1016/0951-8320(93)90060-C – volume: 24 start-page: 293 issue: 3 year: 1992 ident: 10.1016/j.ress.2010.06.005_bib13 article-title: Symbolic boolean manipulation with ordered binary decision diagrams publication-title: ACM Computing Surveys doi: 10.1145/136035.136043 |
| SSID | ssj0004957 |
| Score | 2.270019 |
| Snippet | This paper introduces an integrated framework and software platform for probabilistic risk assessment (PRA) and safety monitoring of complex socio-technical... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1276 |
| SubjectTerms | Decision support system Hybrid causal logic Risk assessment Socio-technical systems |
| Title | Hybrid causal methodology and software platform for probabilistic risk assessment and safety monitoring of socio-technical systems |
| URI | https://dx.doi.org/10.1016/j.ress.2010.06.005 https://www.proquest.com/docview/849482369 |
| Volume | 95 |
| WOSCitedRecordID | wos000283760000003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1879-0836 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0004957 issn: 0951-8320 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LbxMxELZCywEOiKcoL_lAT9GizXrdtY9VSVSgChxSKbfV2murqdLdkE1Ke-Wv8EcZv7LbCAocuFjRyna0mS8z4_HMNwi95bQErx6OJTJjcWROCKAHNThySmhNEsUUKW2ziWw8ZtMp_9Lr_Qi1MJfzrKrY1RVf_FdRwzMQtimd_QdxbzaFB_AZhA4jiB3GvxL88bUpwurLYt3YyhDTIbolWmpA7X4z2V6LebEyDqvNMzRtZSzVbmMpnU26ebGh7HTrCm2SOy-sClj6VGkj2TpyNLC2urJDfx5Iv9V85qjAr_uq5T60iHPT_dZtIlDtQj2fTPOAqrUaPrB9dAbblLU3uDZduJmrM1esM-sGMW4khIRo5CAC5RJ3FbPrvhkAmHTU7CDJDjomG2ws_aU5cJGJ83cmcuHT-MzdE22NX7jwH3_OR6cnJ_lkOJ3sk9Hia2Qak5kL_H3y3oHkDtpNMsrZDto9_DCcfmzLb7kjlA3v4GuzXBrh9lf_zv_Z8gSsezN5iB74cwk-dHh6hHqqeozud9gqn6DvDlnYIQt3kIUBITggCwdkYRjwDWRhgyzcIsuts-LHLbJwrfEWsrBH1lN0OhpOjo4j38IjkoQkq4hrHUtRqlSQZCBKksYqK1iphYRzNgfXSFMtSnARORc8FbEh-85KFpdykKqSafIM7VR1pZ4jnEqmGc8Yo0KmkhJOBcs0lXGhYpowsYcG4YfNpee3N21W5nlIZDzPjTByI4zcZnPSPdTfrFk4dpdbZ9Mgr9z7p87vzAFvt67DQbg5KG9zI1dUql43OTPkTAk54C_-POUlutf-c16hndVyrV6ju_JyNWuWbzwmfwKY_8V0 |
| linkProvider | Elsevier |
| 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=Hybrid+causal+methodology+and+software+platform+for+probabilistic+risk+assessment+and+safety+monitoring+of+socio-technical+systems&rft.jtitle=Reliability+engineering+%26+system+safety&rft.au=Groth%2C+Katrina&rft.au=Wang%2C+Chengdong&rft.au=Mosleh%2C+Ali&rft.date=2010-12-01&rft.issn=0951-8320&rft.volume=95&rft.issue=12&rft.spage=1276&rft.epage=1285&rft_id=info:doi/10.1016%2Fj.ress.2010.06.005&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0951-8320&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0951-8320&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0951-8320&client=summon |