BAHAMAS documentation

Contents:

• Introduction
  • What Is BAHAMAS?
  • Identify the Software Development Tasks
  • Determine Human Error Probabilities for Identified Tasks
• BAHAMAS Calculation
  • Bayesian Belief Network (BBN)
  • Bayesian Belief Network for BAHAMAS
• Installation
  • How to Install
  • How to Run BAHAMAS
  • How to Run BAHAMAS Web App
  • How to Build the User Manual
• BAHAMAS Input Configuration (TOML Syntax)
  • Software Failure Evaluation
  • Common Cause Failure Input Configuration (TOML Syntax)
• Example
  • Example: Software Failure Probability Evaluation
  • Example: Common Cause Component Group Generation

More documentation:

• Defect Introduction
  • Human Error Modes Distributions
  • Diagnosis- or Understanding-Type Errors (D1)
  • Diagnosis- or Understanding-Type Errors (D2)
  • Errors of Omission (O) and Errors of Commission (C)
• Defect Removal
  • Trigger Coverage
  • Review
  • ODC Triggers
• Defect Types (ODC)
• Software Failure Modes
  • Unsafe Control Action
• Consideration for CCF Modeling
• Support
  • Technical Lead
  • Developers
• API Reference
  • bahamas

[1]

H. Bao, T. Shorthill, E. Chen, J. Park, J. Kim, G. S. Turkmen, H. Ban, N. Dinh, T. Aldemir, S. Zhang, and S. Lawrence. An integrated framework for risk assessment of safety-related digital instrumentation and control systems in nuclear power plants: methodology refinement and exploration. Technical Report INL/RPT-23-74412, Idaho National Laboratory, Idaho Falls, ID, September 2023.

[2]

M. Muhlheim and R. Wood. Technical basis for evaluating software-related common-cause failures. Technical Report, Oak Ridge National Laboratory, Oak Ridge, TN, 2016.

[3]

U. B. Kjaerulff and A. L. Madsen. Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis. Springer, New York, 2nd edition, 2013.

[4]

R. Chillarege, I. S. Bhandari, J. K. Chaar, M. J. Halliday, D. S. Moebus, B. K. Ray, and M.-Y. Wong. Orthogonal defect classification – a concept for in-process measurements. IEEE Transactions on Software Engineering, 18(11):943–956, 1992.

[5]

J. Agnelo, N. Naranjeiro, and J. Bernardino. Nosql odc dataset, results, and support code. https://eden.dei.uc.pt/ cnl/papers/2019-jss.zip, March 2019. Accessed: August 2022.

[6]

J. Agnelo, N. Laranjeiro, and J. Bernardino. Using orthogonal defect classification to characterize nosql database defects. The Journal of Systems and Software, 2020.

[7]

H. Dezfuli, D. Kelly, C. Smith, K. Vedros, and W. Galyean. Bayesian inference for nasa probabilistic risk and reliability analysis. Technical Report NASA/SP-2009-569, National Aeronautics and Space Administration (NASA), 2009.

[8]

C. L. Atwood, J. L. LaChance, H. F. Martz, D. J. Anderson, M. Englehardt, D. Whitehead, and T. Wheeler. Handbook of parameter estimation for probabilistic risk assessment. Technical Report NUREG/CR-6823, U.S. Nuclear Regulatory Commission, Washington, DC, 2003.

[9]

R. A. Humphreys. Assigning a numerical value to the beta factor common cause evaluation. In Reliability '87. 1987.