plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/tools/xSAP/data/fm_library/eml.xml

<?xml version="1.0" encoding="UTF-8"?>

<!-- Author: Roberto Cavada and Cristian Mattarei and Anthony Fernandes Pires-->
<!-- Version: 0.2 -->
<!-- Date: 2014/10/03 -->

<effects_model_library>
  <effects_model name="StuckAtByReference_I">
    <description>
       Force the output to follow the value of an input.
    </description>
    <definition loc="eml_behavior/stuckatbyreference/instantaneous/definition.xml"/>
  </effects_model>

  <effects_model name="StuckAtByReference_D">
    <description>
       Force the output to follow the value of an input.
    </description>
    <definition loc="eml_behavior/stuckatbyreference/delayed/definition.xml"/>
  </effects_model>

  <effects_model name="StuckAtByValue_I">
    <description>
       Stuck the output to a value.
    </description>
    <definition loc="eml_behavior/stuckatbyvalue/instantaneous/definition.xml"/>
  </effects_model>

  <effects_model name="StuckAtByValue_D">
    <description>
       Stuck the output to a value.
    </description>
    <definition loc="eml_behavior/stuckatbyvalue/delayed/definition.xml"/>
  </effects_model>

  <effects_model name="Frozen">
    <description>
       Stuck the output to its last value when the fault happens
    </description>
    <definition loc="eml_behavior/frozen/definition.xml"/>
  </effects_model>

  <effects_model name="NonDeterminismByReference_Num_I">
    <description>
      Force the output to give non deterministic value. For numeric output.
    </description>
    <definition loc="eml_behavior/nondeterminismbyreference_num/instantaneous/definition.xml"/>
  </effects_model>

  <effects_model name="NonDeterminismByReference_Num_D">
    <description>
      Force the output to give non deterministic value. For numeric output.
    </description>
    <definition loc="eml_behavior/nondeterminismbyreference_num/delayed/definition.xml"/>
  </effects_model>

  <effects_model name="NonDeterminismByValue_Num_I">
    <description>
      Stuck the output to a non deterministic value. For numeric output.
    </description>
    <definition loc="eml_behavior/nondeterminismbyvalue_num/instantaneous/definition.xml"/>
  </effects_model>

  <effects_model name="NonDeterminismByValue_Num_D">
    <description>
      Stuck the output to a non deterministic value. For numeric output.
    </description>
    <definition loc="eml_behavior/nondeterminismbyvalue_num/delayed/definition.xml"/>
  </effects_model>

  <effects_model name="NonDeterminismByReference_Bool">
    <description>
      Force the output to give non deterministic value. For binary output.
    </description>
    <definition loc="eml_behavior/nondeterminismbyreference_bool/definition.xml"/>
  </effects_model>

  <effects_model name="NonDeterminismByValue_Bool">
    <description>
      Stuck the output to a non deterministic value. For binary output.
    </description>
    <definition loc="eml_behavior/nondeterminismbyvalue_bool/definition.xml"/>
  </effects_model>

  <effects_model name="Conditional_I">
    <description>
       Stuck the output to the term depending on a condition on the environment at the entrance in fault
    </description>
    <definition loc="eml_behavior/conditional/instantaneous/definition.xml"/>
  </effects_model>

  <effects_model name="Conditional_D">
    <description>
       Stuck the output to the term depending on a condition on the environment at the entrance in fault
    </description>
    <definition loc="eml_behavior/conditional/delayed/definition.xml"/>
  </effects_model>

  <effects_model name="Inverted">
    <description>
      Inverts the output of a binary variable
    </description>
    <definition loc="eml_behavior/inverted/definition.xml"/>
  </effects_model>

  <effects_model name="RampDown">
    <description>
      Decreases the value of a variable of a fixed amount each cycle, down to a minimun value
    </description>
    <definition loc="eml_behavior/rampdown/definition.xml"/>
  </effects_model>

  <effects_model name="TestTemplate">
    <description>
      Test of template in effect models.
    </description>
    <definition loc="eml_behavior/testtemplate/definition.xml"/>
  </effects_model>

  <effects_model name="StuckAtFixed">
    <description>
      Stuck the output value
    </description>
    <definition loc="eml_behavior/stuckatfixed/definition.xml"/>
  </effects_model>

  <effects_model name="ConditionalDualOutputs_I">
    <description>
       Stuck two outputs to the terms depending on a condition on the environment at the entrance in fault
    </description>
    <definition loc="eml_behavior/conditionaldualoutputs/instantaneous/definition.xml"/>
  </effects_model>

  <effects_model name="ConditionalDualOutputs_D">
    <description>
       Stuck two outputs to the terms depending on a condition on the environment at the entrance in fault
    </description>
    <definition loc="eml_behavior/conditionaldualoutputs/delayed/definition.xml"/>
  </effects_model>

  <effects_model name="RandomByReference">
    <description>
       Random value for the output
    </description>
    <definition loc="eml_behavior/randombyreference/definition.xml"/>
  </effects_model>

  <effects_model name="RandomByValue">
    <description>
       Random value for the output
    </description>
    <definition loc="eml_behavior/randombyvalue/definition.xml"/>
  </effects_model>

  <effects_model name="ErroneousByReference">
    <description>
       Random value for the output, except the nominal value
    </description>
    <definition loc="eml_behavior/erroneousbyreference/definition.xml"/>
  </effects_model>

  <effects_model name="ErroneousByValue">
    <description>
       Random value for the output, except the nominal value
    </description>
    <definition loc="eml_behavior/erroneousbyvalue/definition.xml"/>
  </effects_model>

  <effects_model name="DeltaOutByReference">
    <description>
       Output can take any value out of [nominal value - delta; nominal value + delta]
    </description>
    <definition loc="eml_behavior/deltaoutbyreference/definition.xml"/>
  </effects_model>

  <effects_model name="DeltaOutByValue">
    <description>
       Output can take any value out of [nominal value - delta; nominal value + delta]
    </description>
    <definition loc="eml_behavior/deltaoutbyvalue/definition.xml"/>
  </effects_model>

  <effects_model name="DeltaInRandomByReference">
    <description>
       Output can take any value in [nominal value - delta; nominal value + delta]
    </description>
    <definition loc="eml_behavior/deltainrandombyreference/definition.xml"/>
  </effects_model>

  <effects_model name="DeltaInRandomByValue">
    <description>
       Output can take any value in [nominal value - delta; nominal value + delta]
    </description>
    <definition loc="eml_behavior/deltainrandombyvalue/definition.xml"/>
  </effects_model>

  <effects_model name="DeltaInErroneousByReference">
    <description>
       Output can take any value in [nominal value - delta; nominal value + delta], except the nominal value
    </description>
    <definition loc="eml_behavior/deltainerroneousbyreference/definition.xml"/>
  </effects_model>

  <effects_model name="DeltaInErroneousByValue">
    <description>
       Output can take any value in [nominal value - delta; nominal value + delta], except the nominal value
    </description>
    <definition loc="eml_behavior/deltainerroneousbyvalue/definition.xml"/>
  </effects_model>

</effects_model_library>