BAHAMAS

Contents:

  • Introduction
  • BAHAMAS Calculation
  • Installation
  • BAHAMAS Input Configuration (TOML Syntax)
  • Example

More documentation:

  • Defect Introduction
  • Defect Removal
  • Defect Types (ODC)
  • Software Failure Modes
  • Consideration for CCF Modeling
  • Support
  • API Reference
BAHAMAS
  • Overview: module code

All modules for which code is available

  • bahamas.cccg
  • bahamas.defect_conditional_probability
  • bahamas.human_error_mode_distribution
  • bahamas.main
  • bahamas.plot_utils
  • bahamas.sdlc_stage_hep_calculation
  • bahamas.sdlc_stage_hep_calculation_approx
  • bahamas.software_total_failure_probability_bbn
  • bahamas.stage_odc_distribution
  • bahamas.subfactor
  • bahamas.uca_defect_correlation
  • bahamas.utils
  • bahamas.validate
  • bahamas.workflow

© Copyright 2025, Congjian Wang, Tate H. Shorthill, Edward Chen, Jisuk Kim.

Built with Sphinx using a theme provided by Read the Docs.