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

<?xml version='1.0' encoding='UTF-8'?>
<tfpg name="DependencyGraph">
  <nodesList>

    <node name="HT_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="V2_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="V3_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="V4_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="FT_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="OT_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="G9_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="G10_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="G11_leak" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="G12_leak" isMonitored="false">
      <type>FM</type>
    </node>

    <!-- common discrepancies -->
    <node name="d_V1" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="d_V2" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="d_V3" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="d_FT" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="d_PV4" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="d_PV5" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="d_PV8" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="d_V13" isMonitored="false">
      <type>OR</type>
    </node>
    <!-- use-case specific discrepancies -->
    <node name="d_V9_2" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="d_V11_2" isMonitored="false">
      <type>OR</type>
    </node>
  </nodesList>
  <modesList>
    <mode>hsfs</mode>
    <mode>hsfb</mode>
    <mode>hbfs</mode>
    <mode>hbfb</mode>
  </modesList>
  <edgesList>
    <!-- common edges -->
    <edge name="EDGE1">
      <srcNode>HT_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hsfb</mode>
      </modesList>
      <destNode>d_V2</destNode>
    </edge>
    <edge name="EDGE2">
      <srcNode>V2_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hsfb</mode>
      </modesList>
      <destNode>d_V2</destNode>
    </edge>
    <edge name="EDGE3">
      <srcNode>d_V2</srcNode>
      <tMin>5.0</tMin>
      <tMax>7.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hsfb</mode>
      </modesList>
      <destNode>d_V3</destNode>
    </edge>
    <edge name="EDGE4">
      <srcNode>V3_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hsfb</mode>
      </modesList>
      <destNode>d_V3</destNode>
    </edge>
    <edge name="EDGE5">
      <srcNode>d_V3</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hsfb</mode>
      </modesList>
      <destNode>d_FT</destNode>
    </edge>
    <edge name="EDGE6">
      <srcNode>FT_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hsfb</mode>
      <mode>hbfs</mode>
      <mode>hbfb</mode>
      </modesList>
      <destNode>d_FT</destNode>
    </edge>
    <edge name="EDGE7">
      <srcNode>HT_leak</srcNode>
      <tMin>5.0</tMin>
      <tMax>7.0</tMax>
      <modesList>
      <mode>hbfs</mode>
      <mode>hbfb</mode>
      </modesList>
      <destNode>d_FT</destNode>
    </edge>
    <edge name="EDGE8">
      <srcNode>d_FT</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hbfs</mode>
      </modesList>
      <destNode>d_PV5</destNode>
    </edge>
    <edge name="EDGE9">
      <srcNode>V4_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfb</mode>
      </modesList>
      <destNode>d_PV8</destNode>
    </edge>
    <edge name="EDGE10">
      <srcNode>OT_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfb</mode>
      <mode>hbfb</mode>
      </modesList>
      <destNode>d_PV8</destNode>
    </edge>
    <edge name="EDGE11">
      <srcNode>HT_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hbfs</mode>
      <mode>hbfb</mode>
      </modesList>
      <destNode>d_V1</destNode>
    </edge>
    <edge name="EDGE12">
      <srcNode>d_V1</srcNode>
      <tMin>5.0</tMin>
      <tMax>7.0</tMax>
      <modesList>
      <mode>hbfs</mode>
      <mode>hbfb</mode>
      </modesList>
      <destNode>d_PV4</destNode>
    </edge>
    <edge name="EDGE13">
      <srcNode>d_PV4</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hbfb</mode>
      </modesList>
      <destNode>d_PV8</destNode>
    </edge>
    <edge name="EDGE14">
      <srcNode>d_V2</srcNode>
      <tMin>5.0</tMin>
      <tMax>7.0</tMax>
      <modesList>
      <mode>hsfb</mode>
      </modesList>
      <destNode>d_PV8</destNode>
    </edge>

    <!-- use-case specific edges -->

    <edge name="EDGE_S1">
      <srcNode>d_PV5</srcNode>
      <tMin>1.0</tMin>
      <tMax>2.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hbfs</mode>
      </modesList>
      <destNode>d_V9_2</destNode>
    </edge>
    <edge name="EDGE_S2">
      <srcNode>d_FT</srcNode>
      <tMin>1.0</tMin>
      <tMax>2.0</tMax>
      <modesList>
      <mode>hsfb</mode>
      <mode>hbfb</mode>
      </modesList>
      <destNode>d_V11_2</destNode>
    </edge>
    <edge name="EDGE_S3">
      <srcNode>G11_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>2.0</tMax>
      <modesList>
      <mode>hsfb</mode>
      <mode>hbfb</mode>
      </modesList>
      <destNode>d_V11_2</destNode>
    </edge>
    <edge name="EDGE_S4">
      <srcNode>d_V9_2</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hbfs</mode>
      </modesList>
      <destNode>d_V13</destNode>
    </edge>
    <edge name="EDGE_S5">
      <srcNode>G9_leak</srcNode>
      <tMin>0.0</tMin>
      <tMax>2.0</tMax>
      <modesList>
      <mode>hsfs</mode>
      <mode>hbfs</mode>
      </modesList>
      <destNode>d_V9_2</destNode>
    </edge>

  </edgesList>
</tfpg>