plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/tools/xSAP/examples/tfpg/cassini/cassini_param_2_2_2_2.axml

<?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 &amp; V2.state = open"/>
    <assoc id="V3_leak" expr="V3.internal_leakage = leakage &amp; V3.state = open"/>
    <assoc id="V4_leak" expr="V4.internal_leakage = leakage &amp; 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 &amp; V1.p_out != HT.p_out"/>
    <assoc id="d_V2" expr="V2.state = open &amp; V2.p_out != HT.p_out"/>
    <assoc id="d_V3" expr="V3.state = open &amp; V3.p_out != PP1.p_out"/>
    <assoc id="d_PV4" expr="PV4.state = open &amp; 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 &amp; PV5.p_out != FT.p_out"/>
    <assoc id="d_PV8" expr="PV8.state = open &amp; PV8.p_out != OT.p_out"/>
    <assoc id="d_V13" expr="V13.state = open &amp; V13.p_out != V9_SEGMENT.p_out"/>
    <!-- use-case specific discrepancies -->
    <assoc id="d_V9_2" expr="config_fuel_segment=standard &amp; V9_SEGMENT.diff_vb_2"/>
    <assoc id="d_V11_2" expr="config_fuel_segment=backup &amp; V11_SEGMENT.diff_vb_2"/>
  </unmonitoredDiscrepancies>
  <tfpgModes>
    <assoc id="hsfs" expr="config_helium_segment=standard &amp; config_fuel_segment=standard"/>
    <assoc id="hsfb" expr="config_helium_segment=standard &amp; config_fuel_segment=backup"/>
    <assoc id="hbfs" expr="config_helium_segment=backup &amp; config_fuel_segment=standard"/>
    <assoc id="hbfb" expr="config_helium_segment=backup &amp; config_fuel_segment=backup"/>
  </tfpgModes>
</associations>