Joint Safety Designer (BPA SD9) and Aralia Fault Tree Analyzer (BPA FT9) allow Safety engineers to generate the dependability models (Fault Tree, FMEA,… ) in order to perform System Analysis Studies to verify that safety objectives are met (ARP4761) for a given system during early design phase.

 Safety Designer (BPA SD9) allows Safety engineers to Model formally aircraft FHA:

    o Define the system

• Architecture of the system
• Components of the system (component libraries)
• Functional and dysfunctional behaviors of each component (possibility to import from existing catalogs)

    o Define the system

• Fault injection and propagation
• Visualization of impacted functions

    o Analyse the system dependability (RAMS Studies)

• Fault-Tree generation
• Event Sequences
• System-FMEA
• System Safety Assessment (probability of functional loss)

 Fault Tree Analyser (BPA FT9) allows Safety engineers to verify the correctness of a safety requirement allocation

o Qualitative constraints on Failure Conditions (FC) and functions

• The size of failure sequences that lead to FC shall be compatible with the FC severity
• The Development Assurance Level (DAL) of functions related to a FC shall be compatible with the FC severity

      o Quantitative constraints of FC

• The probability of FC occurrence shall be compatible with the FC severity