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

<?xml version='1.0' encoding='UTF-8'?>
<tfpg name="DependencyGraph" infty_semantics="closed">
  <nodesList>
    <node name="meco_confrm" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="excess_propellant" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="q_bar_a_LT_qbar_oms_dump" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="region_selected" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="pre_sep" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="cont_3EO_start" isMonitored="false">
      <type>FM</type>
    </node>
    <node name="cont_sep_cplt" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="sep_man_init" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="orbiter_dump_ena" isMonitored="false">
      <type>OR</type>
    </node>
    <node name="intermediateNode_7" isMonitored="false">
      <type>AND</type>
    </node>
    <node name="intermediateNode_8" isMonitored="false">
      <type>AND</type>
    </node>
    <node name="frz_3eo" isMonitored="false">
      <type>AND</type>
    </node>
    <node name="oms_rcs_i_c_inh_ena_cmd" isMonitored="false">
      <type>AND</type>
    </node>
    <node name="abrt_declared" isMonitored="false">
      <type>AND</type>
    </node>
    <node name="abrt_task_call" isMonitored="false">
      <type>AND</type>
    </node>
  </nodesList>
  <modesList>
    <mode>mm102</mode>
    <mode>mm601</mode>
    <mode>mm103</mode>
  </modesList>
  <edgesList>
    <edge name="EDGE1">
      <srcNode>abrt_task_call</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
        <mode>mm102</mode>
        <mode>mm601</mode>
      </modesList>
      <destNode>intermediateNode_7</destNode>
    </edge>
    <edge name="EDGE2">
      <srcNode>pre_sep</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
        <mode>mm102</mode>
        <mode>mm601</mode>
      </modesList>
      <destNode>intermediateNode_7</destNode>
    </edge>
    <edge name="EDGE3">
      <srcNode>abrt_declared</srcNode>
      <tMin>1.0</tMin>
      <tMax>1.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>intermediateNode_8</destNode>
    </edge>
    <edge name="EDGE4">
      <srcNode>abrt_task_call</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>intermediateNode_8</destNode>
    </edge>
    <edge name="EDGE5">
      <srcNode>abrt_declared</srcNode>
      <tMin>2.0</tMin>
      <tMax>2.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>frz_3eo</destNode>
    </edge>
    <edge name="EDGE6">
      <srcNode>abrt_task_call</srcNode>
      <tMin>1.0</tMin>
      <tMax>-1.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>frz_3eo</destNode>
    </edge>
    <edge name="EDGE7">
      <srcNode>abrt_declared</srcNode>
      <tMin>2.0</tMin>
      <tMax>2.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>oms_rcs_i_c_inh_ena_cmd</destNode>
    </edge>
    <edge name="EDGE8">
      <srcNode>excess_propellant</srcNode>
      <tMin>2.0</tMin>
      <tMax>2.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>oms_rcs_i_c_inh_ena_cmd</destNode>
    </edge>
    <edge name="EDGE9">
      <srcNode>q_bar_a_LT_qbar_oms_dump</srcNode>
      <tMin>1.0</tMin>
      <tMax>1.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>oms_rcs_i_c_inh_ena_cmd</destNode>
    </edge>
    <edge name="EDGE10">
      <srcNode>orbiter_dump_ena</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>oms_rcs_i_c_inh_ena_cmd</destNode>
    </edge>
    <edge name="EDGE11">
      <srcNode>meco_confrm</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>abrt_declared</destNode>
    </edge>
    <edge name="EDGE12">
      <srcNode>cont_3EO_start</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>abrt_declared</destNode>
    </edge>
    <edge name="EDGE13">
      <srcNode>region_selected</srcNode>
      <tMin>0.0</tMin>
      <tMax>0.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>abrt_declared</destNode>
    </edge>
    <edge name="EDGE14">
      <srcNode>abrt_task_call</srcNode>
      <tMin>2.0</tMin>
      <tMax>-1.0</tMax>
      <modesList>
        <mode>mm102</mode>
        <mode>mm601</mode>
      </modesList>
      <destNode>cont_sep_cplt</destNode>
    </edge>
    <edge name="EDGE15">
      <srcNode>intermediateNode_7</srcNode>
      <tMin>0.0</tMin>
      <tMax>-1.0</tMax>
      <modesList>
        <mode>mm102</mode>
      </modesList>
      <destNode>sep_man_init</destNode>
    </edge>
    <edge name="EDGE16">
      <srcNode>intermediateNode_8</srcNode>
      <tMin>0.0</tMin>
      <tMax>-1.0</tMax>
      <modesList>
        <mode>mm601</mode>
      </modesList>
      <destNode>sep_man_init</destNode>
    </edge>
    <edge name="EDGE17">
      <srcNode>cont_3EO_start</srcNode>
      <tMin>1.0</tMin>
      <tMax>1.0</tMax>
      <modesList>
        <mode>mm102</mode>
        <mode>mm601</mode>
      </modesList>
      <destNode>abrt_task_call</destNode>
    </edge>
    <edge name="EDGE18">
      <srcNode>region_selected</srcNode>
      <tMin>1.0</tMin>
      <tMax>2.0</tMax>
      <modesList>
        <mode>mm102</mode>
        <mode>mm601</mode>
      </modesList>
      <destNode>abrt_task_call</destNode>
    </edge>
    <edge name="EDGE19">
      <srcNode>abrt_task_call</srcNode>
      <tMin>0.0</tMin>
      <tMax>-1.0</tMax>
      <modesList>
        <mode>mm102</mode>
        <mode>mm601</mode>
      </modesList>
      <destNode>orbiter_dump_ena</destNode>
    </edge>
  </edgesList>
</tfpg>