<?xml version='1.0' encoding='UTF-8'?> | |
<associations> | |
<failureModes> | |
<assoc id="HT_leak" expr="HT.internal_leakage = leakage"/> | |
<assoc id="V2_leak" expr="V2.internal_leakage = leakage & V2.state = open"/> | |
<assoc id="V3_leak" expr="V3.internal_leakage = leakage & V3.state = open"/> | |
<assoc id="V4_leak" expr="V4.internal_leakage = leakage & V4.state = open"/> | |
<assoc id="FT_leak" expr="FT.internal_leakage = leakage"/> | |
<assoc id="OT_leak" expr="OT.internal_leakage = leakage"/> | |
<assoc id="G9_leak" expr="V9_SEGMENT.NR_FAILURES > 0"/> | |
<assoc id="G10_leak" expr="V10_SEGMENT.NR_FAILURES > 0"/> | |
<assoc id="G11_leak" expr="V11_SEGMENT.NR_FAILURES > 0"/> | |
<assoc id="G12_leak" expr="V12_SEGMENT.NR_FAILURES > 0"/> | |
</failureModes> | |
<monitoredDiscrepancies> | |
</monitoredDiscrepancies> | |
<unmonitoredDiscrepancies> | |
<!-- common discrepancies --> | |
<assoc id="d_V1" expr="V1.state = open & V1.p_out != HT.p_out"/> | |
<assoc id="d_V2" expr="V2.state = open & V2.p_out != HT.p_out"/> | |
<assoc id="d_V3" expr="V3.state = open & V3.p_out != PP1.p_out"/> | |
<assoc id="d_PV4" expr="PV4.state = open & PV4.p_out != PP1.p_out"/> | |
<assoc id="d_FT" expr="FT.p_out != v3_pv3_p_out"/> | |
<assoc id="d_PV5" expr="PV5.state = open & PV5.p_out != FT.p_out"/> | |
<assoc id="d_PV8" expr="PV8.state = open & PV8.p_out != OT.p_out"/> | |
<assoc id="d_V13" expr="V13.state = open & V13.p_out != V9_SEGMENT.p_out"/> | |
<!-- use-case specific discrepancies --> | |
<assoc id="d_V9_2" expr="config_fuel_segment=standard & V9_SEGMENT.diff_vb_2"/> | |
<assoc id="d_V11_2" expr="config_fuel_segment=backup & V11_SEGMENT.diff_vb_2"/> | |
</unmonitoredDiscrepancies> | |
<tfpgModes> | |
<assoc id="hsfs" expr="config_helium_segment=standard & config_fuel_segment=standard"/> | |
<assoc id="hsfb" expr="config_helium_segment=standard & config_fuel_segment=backup"/> | |
<assoc id="hbfs" expr="config_helium_segment=backup & config_fuel_segment=standard"/> | |
<assoc id="hbfb" expr="config_helium_segment=backup & config_fuel_segment=backup"/> | |
</tfpgModes> | |
</associations> |