eo1.xmpl

来自「一个非常好的人工智能开发工具开源软件」· XMPL 代码 · 共 1,411 行 · 第 1/4 页

    <ci:transition to="failedClosed" from="failedClosed">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="failedIntermediate" from="failedIntermediate">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="intermediate" from="intermediate">
      <ci:clause>
        <ci:term>command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_1</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>mechanismPowerIn=ENABLED</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_1</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>mechanismPowerIn=ENABLED</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>mechanismPowerIn=ENABLED</ci:term>
        <ci:term>mechanismPowerIn=ENABLED</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toIntermediate" from="toIntermediate">
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_NUMSTEPS_200</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_1</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_NUMSTEPS_200</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_1</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_NUMSTEPS_200</ci:term>
        <ci:term>command=I_MECHACTIVE_DIRECTION_0</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>command_timeout=I_MECHACTIVE_NUMSTEPS_200</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
        <ci:term>!mechanismPowerIn=DISABLED</ci:term>
      </ci:clause>
    </ci:transition>
  </ci:component>
  <ci:component type="AliFpePower" name="test.ali.fpePower">
    <ci:statevector vars="mode"/>
    <ci:attribute type="DisabledEnabledValues" name="fpePowerStatus"/>
    <ci:attribute type="AliFpePowerCommand" name="command_timeout"/>
    <ci:attribute type="AliFpePowerCommand" name="command"/>
    <ci:attribute type="AliFpePower.ModeType" name="mode"/>
    <ci:transition to="enabledToDisabled" from="enabled" name="enabled2enabledToDisabled">
      <ci:clause>
        <ci:term>!command=I_SETFPEPOWER_POWER_MASK_4</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabledToEnabled" from="disabled" name="disabled2disabledToEnabled">
      <ci:clause>
        <ci:term>!command=I_SETFPEPOWER_POWER_MASK_5</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabled" from="enabledToDisabled" name="enabledToDisabled2disabled">
      <ci:clause>
        <ci:term>!command_timeout=I_SETFPEPOWER_POWER_MASK_4</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabledToEnabled" from="enabledToDisabled" name="enabledToDisabled2disabledToEnabled">
      <ci:clause>
        <ci:term>!command=I_SETFPEPOWER_POWER_MASK_5</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabled" from="disabledToEnabled" name="disabledToEnabled2enabled">
      <ci:clause>
        <ci:term>!command_timeout=I_SETFPEPOWER_POWER_MASK_5</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabledToDisabled" from="disabledToEnabled" name="disabledToEnabled2enabledToDisabled">
      <ci:clause>
        <ci:term>!command=I_SETFPEPOWER_POWER_MASK_4</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="unknownFault" probability="1.0e-4" from="*" name="toUnknownFault"/>
    <ci:transition to="failedEnabled" probability="0.05" from="*" name="toFailedEnabled"/>
    <ci:transition to="failedDisabled" probability="0.05" from="*" name="toFailedDisabled"/>
    <ci:clause>
      <ci:term>!mode=enabled</ci:term>
      <ci:term>fpePowerStatus=ENABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=disabled</ci:term>
      <ci:term>fpePowerStatus=DISABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedEnabled</ci:term>
      <ci:term>fpePowerStatus=ENABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedDisabled</ci:term>
      <ci:term>fpePowerStatus=DISABLED</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="enabled" from="enabled">
      <ci:clause>
        <ci:term>command=I_SETFPEPOWER_POWER_MASK_4</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabled" from="disabled">
      <ci:clause>
        <ci:term>command=I_SETFPEPOWER_POWER_MASK_5</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabledToDisabled" from="enabledToDisabled">
      <ci:clause>
        <ci:term>command_timeout=I_SETFPEPOWER_POWER_MASK_4</ci:term>
        <ci:term>command=I_SETFPEPOWER_POWER_MASK_5</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabledToEnabled" from="disabledToEnabled">
      <ci:clause>
        <ci:term>command_timeout=I_SETFPEPOWER_POWER_MASK_5</ci:term>
        <ci:term>command=I_SETFPEPOWER_POWER_MASK_4</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="failedEnabled" from="failedEnabled">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="failedDisabled" from="failedDisabled">
      <ci:clause/>
    </ci:transition>
  </ci:component>
  <ci:component type="AliDataGate" name="test.ali.dataGate">
    <ci:statevector vars="mode"/>
    <ci:attribute type="DisabledEnabledValues" name="dataGateStatus"/>
    <ci:attribute type="AliDataGateCommand" name="command_timeout"/>
    <ci:attribute type="AliDataGateCommand" name="command"/>
    <ci:attribute type="AliDataGate.ModeType" name="mode"/>
    <ci:transition to="enabledToDisabled" from="enabled" name="enabled2enabledToDisabled">
      <ci:clause>
        <ci:term>!command=I_CLR_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabledToEnabled" from="disabled" name="disabled2disabledToEnabled">
      <ci:clause>
        <ci:term>!command=I_SET_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabled" from="enabledToDisabled" name="enabledToDisabled2disabled">
      <ci:clause>
        <ci:term>!command_timeout=I_CLR_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabledToEnabled" from="enabledToDisabled" name="enabledToDisabled2disabledToEnabled">
      <ci:clause>
        <ci:term>!command=I_SET_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabled" from="disabledToEnabled" name="disabledToEnabled2enabled">
      <ci:clause>
        <ci:term>!command_timeout=I_SET_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabledToDisabled" from="disabledToEnabled" name="disabledToEnabled2enabledToDisabled">
      <ci:clause>
        <ci:term>!command=I_CLR_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="unknownFault" probability="1.0e-4" from="*" name="toUnknownFault"/>
    <ci:transition to="failedEnabled" probability="0.05" from="*" name="toFailedEnabled"/>
    <ci:transition to="failedDisabled" probability="0.05" from="*" name="toFailedDisabled"/>
    <ci:clause>
      <ci:term>!mode=enabled</ci:term>
      <ci:term>dataGateStatus=ENABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=disabled</ci:term>
      <ci:term>dataGateStatus=DISABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedEnabled</ci:term>
      <ci:term>dataGateStatus=ENABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedDisabled</ci:term>
      <ci:term>dataGateStatus=DISABLED</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="enabled" from="enabled">
      <ci:clause>
        <ci:term>command=I_CLR_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabled" from="disabled">
      <ci:clause>
        <ci:term>command=I_SET_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="enabledToDisabled" from="enabledToDisabled">
      <ci:clause>
        <ci:term>command_timeout=I_CLR_FPE_DG</ci:term>
        <ci:term>command=I_SET_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabledToEnabled" from="disabledToEnabled">
      <ci:clause>
        <ci:term>command_timeout=I_SET_FPE_DG</ci:term>
        <ci:term>command=I_CLR_FPE_DG</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="failedEnabled" from="failedEnabled">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="failedDisabled" from="failedDisabled">
      <ci:clause/>
    </ci:transition>
  </ci:component>
  <ci:component type="AdvancedLandImager" name="test.ali">
    <ci:attribute type="DisabledEnabledValues" name="IHSKP_OPERPWRA"/>
    <ci:attribute type="DisabledEnabledValues" name="IHSKP_MTR_PWR"/>
    <ci:attribute type="AliApertureCoverClosedValues" name="IHSKP_LEDSTAT08"/>
    <ci:attribute type="AliApertureCoverOpenValues" name="IHSKP_LEDSTAT09"/>
    <ci:attribute type="DisabledEnabledValues" name="IHSKP_DATAGATE"/>
    <ci:attribute type="imageValue" name="imageData"/>
    <ci:clause>
      <ci:term>!dataGate.mode=enabled</ci:term>
      <ci:term>!fpePower.mode=enabled</ci:term>
      <ci:term>!apertureCover.mode=open</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=enabled</ci:term>
      <ci:term>!fpePower.mode=enabled</ci:term>
      <ci:term>!apertureCover.mode=failedOpen</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=disabledToEnabled</ci:term>
      <ci:term>!fpePower.mode=enabled</ci:term>
      <ci:term>!apertureCover.mode=open</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=disabledToEnabled</ci:term>
      <ci:term>!fpePower.mode=enabled</ci:term>
      <ci:term>!apertureCover.mode=failedOpen</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=enabled</ci:term>
      <ci:term>!fpePower.mode=disabledToEnabled</ci:term>
      <ci:term>!apertureCover.mode=open</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=enabled</ci:term>
      <ci:term>!fpePower.mode=disabledToEnabled</ci:term>
      <ci:term>!apertureCover.mode=failedOpen</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=disabledToEnabled</ci:term>
      <ci:term>!fpePower.mode=disabledToEnabled</ci:term>
      <ci:term>!apertureCover.mode=open</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=disabledToEnabled</ci:term>
      <ci:term>!fpePower.mode=disabledToEnabled</ci:term>
      <ci:term>!apertureCover.mode=failedOpen</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=enabled</ci:term>
      <ci:term>!fpePower.mode=enabled</ci:term>
      <ci:term>apertureCover.mode=open</ci:term>
      <ci:term>apertureCover.mode=failedOpen</ci:term>
      <ci:term>imageData=darkImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=disabledToEnabled</ci:term>
      <ci:term>!fpePower.mode=enabled</ci:term>
      <ci:term>apertureCover.mode=open</ci:term>
      <ci:term>apertureCover.mode=failedOpen</ci:term>
      <ci:term>imageData=darkImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=enabled</ci:term>
      <ci:term>!fpePower.mode=disabledToEnabled</ci:term>
      <ci:term>apertureCover.mode=open</ci:term>
      <ci:term>apertureCover.mode=failedOpen</ci:term>
      <ci:term>imageData=darkImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!dataGate.mode=disabledToEnabled</ci:term>
      <ci:term>!fpePower.mode=disabledToEnabled</ci:term>
      <ci:term>apertureCover.mode=open</ci:term>
      <ci:term>apertureCover.mode=failedOpen</ci:term>
      <ci:term>imageData=darkImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>dataGate.mode=enabled</ci:term>
      <ci:term>dataGate.mode=disabledToEnabled</ci:term>
      <ci:term>imageData=noImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>fpePower.mode=enabled</ci:term>
      <ci:term>fpePower.mode=disabledToEnabled</ci:term>
      <ci:term>imageData=noImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>dataGate.dataGateStatus=IHSKP_DATAGATE</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>led09.reportedValue=IHSKP_LEDSTAT09</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>led08.reportedValue=IHSKP_LEDSTAT08</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>mechanismPowerSensor.reportedValue=IHSKP_MTR_PWR</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>fpePower.fpePowerStatus=IHSKP_OPERPWRA</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>mechanismPower.powerOutput=mechanismPowerSensor.actualValue</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>mechanismPower.powerOutput=apertureCover.mechanismPowerIn</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>apertureCover.position=led08.actualValue</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>apertureCover.position=led09.actualValue</ci:term>
    </ci:clause>
  </ci:component>
  <ci:component type="EO1" name="test">
    <ci:clause>
      <ci:term>ali.imageData=warp.aliImageData</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>hyperion.imageData=warp.hyperionImageData</ci:term>
    </ci:clause>
  </ci:component>
</componentinstance>
</xmpl>