eo1.xmpl

一个非常好的人工智能开发工具开源软件

    </ci:clause>
    <ci:clause>
      <ci:term>electronicsAssembly.mode=imaging</ci:term>
      <ci:term>electronicsAssembly.mode=toImaging</ci:term>
      <ci:term>imageData=noImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>apertureCover.coverPosition=apertureCoverSensor.actualValue</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>apertureCoverSensor.reportedValue=YCOVRPOS</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>electronicsAssembly.YIMAGE_MODE=YIMAGE_MODE</ci:term>
    </ci:clause>
  </ci:component>
  <ci:component type="WARPHardware" name="test.warp.hardware">
    <ci:statevector vars="mode"/>
    <ci:attribute type="WarpHwModeValues" name="BTLCRSNMOD"/>
    <ci:attribute type="WarpHWCommand" name="command_timeout"/>
    <ci:attribute type="WarpHWCommand" name="command"/>
    <ci:attribute type="WARPHardware.ModeType" name="mode"/>
    <ci:transition to="toSciCollect" from="stdOps" name="stdOps2toSciCollect">
      <ci:clause>
        <ci:term>!command=BCMMODESCRS422</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toPlayback" from="stdOps" name="stdOps2toPlayback">
      <ci:clause>
        <ci:term>!command=BCMMODEPB</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toLowPower" from="stdOps" name="stdOps2toLowPower">
      <ci:clause>
        <ci:term>!command=BCMMODELP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStdOps" from="sciCollect" name="sciCollect2toStdOps">
      <ci:clause>
        <ci:term>!command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStdOps" from="lowPower" name="lowPower2toStdOps">
      <ci:clause>
        <ci:term>!command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="lowPower" from="toLowPower" name="toLowPower2lowPower">
      <ci:clause>
        <ci:term>!command_timeout=BCMMODELP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStdOps" from="toLowPower" name="toLowPower2toStdOps">
      <ci:clause>
        <ci:term>!command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="stdOps" from="toStdOps" name="toStdOps2stdOps">
      <ci:clause>
        <ci:term>!command_timeout=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toSciCollect" from="toStdOps" name="toStdOps2toSciCollect">
      <ci:clause>
        <ci:term>!command=BCMMODESCRS422</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toPlayback" from="toStdOps" name="toStdOps2toPlayback">
      <ci:clause>
        <ci:term>!command=BCMMODEPB</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toLowPower" from="toStdOps" name="toStdOps2toLowPower">
      <ci:clause>
        <ci:term>!command=BCMMODELP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStdOps" from="playback" name="playback2toStdOps">
      <ci:clause>
        <ci:term>!command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="playback" from="toPlayback" name="toPlayback2playback">
      <ci:clause>
        <ci:term>!command_timeout=BCMMODEPB</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStdOps" from="toPlayback" name="toPlayback2toStdOps">
      <ci:clause>
        <ci:term>!command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="sciCollect" from="toSciCollect" name="toSciCollect2sciCollect">
      <ci:clause>
        <ci:term>!command_timeout=BCMMODESCRS422</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStdOps" from="toSciCollect" name="toSciCollect2toStdOps">
      <ci:clause>
        <ci:term>!command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="unknownFault" probability="1.0e-4" from="*" name="toUnknownFault"/>
    <ci:clause>
      <ci:term>!mode=stdOps</ci:term>
      <ci:term>BTLCRSNMOD=STND_OPS</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=sciCollect</ci:term>
      <ci:term>BTLCRSNMOD=SC_RS422_MODE</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=lowPower</ci:term>
      <ci:term>BTLCRSNMOD=LOW_PWR</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=playback</ci:term>
      <ci:term>BTLCRSNMOD=PLAYBACK</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="stdOps" from="stdOps">
      <ci:clause>
        <ci:term>command=BCMMODESCRS422</ci:term>
        <ci:term>command=BCMMODEPB</ci:term>
        <ci:term>command=BCMMODELP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="sciCollect" from="sciCollect">
      <ci:clause>
        <ci:term>command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="lowPower" from="lowPower">
      <ci:clause>
        <ci:term>command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toLowPower" from="toLowPower">
      <ci:clause>
        <ci:term>command_timeout=BCMMODELP</ci:term>
        <ci:term>command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStdOps" from="toStdOps">
      <ci:clause>
        <ci:term>command_timeout=BCMMODESO</ci:term>
        <ci:term>command=BCMMODESCRS422</ci:term>
        <ci:term>command=BCMMODEPB</ci:term>
        <ci:term>command=BCMMODELP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="playback" from="playback">
      <ci:clause>
        <ci:term>command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toPlayback" from="toPlayback">
      <ci:clause>
        <ci:term>command_timeout=BCMMODEPB</ci:term>
        <ci:term>command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toSciCollect" from="toSciCollect">
      <ci:clause>
        <ci:term>command_timeout=BCMMODESCRS422</ci:term>
        <ci:term>command=BCMMODESO</ci:term>
      </ci:clause>
    </ci:transition>
  </ci:component>
  <ci:component type="WARPSoftware" name="test.warp.software">
    <ci:statevector vars="mode"/>
    <ci:attribute type="WarpSwModeValues" name="WRMWMODE"/>
    <ci:attribute type="WarpSWCommand" name="command_timeout"/>
    <ci:attribute type="WarpSWCommand" name="command"/>
    <ci:attribute type="WARPSoftware.ModeType" name="mode"/>
    <ci:transition to="toStandby" from="recording" name="recording2toStandby">
      <ci:clause>
        <ci:term>!command=WRMEREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStandby" from="sending" name="sending2toStandby">
      <ci:clause>
        <ci:term>!command=WRMEXOUT</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="sending" from="toSending" name="toSending2sending">
      <ci:clause>
        <ci:term>!command_timeout=WRMSXOUT</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStandby" from="toSending" name="toSending2toStandby">
      <ci:clause>
        <ci:term>!command=WRMEREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="recording" from="toRecording" name="toRecording2recording">
      <ci:clause>
        <ci:term>!command_timeout=WRMSREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStandby" from="toRecording" name="toRecording2toStandby">
      <ci:clause>
        <ci:term>!command=WRMEREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toSending" from="standby" name="standby2sending">
      <ci:clause>
        <ci:term>!command=WRMSXOUT</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toRecording" from="standby" name="standby2toRecording">
      <ci:clause>
        <ci:term>!command=WRMSREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toSending" from="toStandby" name="toStandby2toSending">
      <ci:clause>
        <ci:term>!command=WRMSXOUT</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="standby" from="toStandby" name="toStandby2standby">
      <ci:clause>
        <ci:term>!command_timeout=WRMEREC</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>!command_timeout=WRMEXOUT</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toRecording" from="toStandby" name="toStandby2toRecording">
      <ci:clause>
        <ci:term>!command=WRMSREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="unknownFault" probability="1.0e-4" from="*" name="toUnknownFault"/>
    <ci:clause>
      <ci:term>!mode=recording</ci:term>
      <ci:term>WRMWMODE=REC</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=sending</ci:term>
      <ci:term>WRMWMODE=XBPB</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=standby</ci:term>
      <ci:term>WRMWMODE=STANDBY</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="recording" from="recording">
      <ci:clause>
        <ci:term>command=WRMEREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="sending" from="sending">
      <ci:clause>
        <ci:term>command=WRMEXOUT</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toSending" from="toSending">
      <ci:clause>
        <ci:term>command_timeout=WRMSXOUT</ci:term>
        <ci:term>command=WRMEREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toRecording" from="toRecording">
      <ci:clause>
        <ci:term>command_timeout=WRMSREC</ci:term>
        <ci:term>command=WRMEREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="standby" from="standby">
      <ci:clause>
        <ci:term>command=WRMSXOUT</ci:term>
        <ci:term>command=WRMSREC</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStandby" from="toStandby">
      <ci:clause>
        <ci:term>command=WRMSXOUT</ci:term>
        <ci:term>command_timeout=WRMEREC</ci:term>
        <ci:term>command_timeout=WRMEXOUT</ci:term>
        <ci:term>command=WRMSREC</ci:term>
      </ci:clause>
    </ci:transition>
  </ci:component>
  <ci:component type="WarpDevice" name="test.warp">
    <ci:attribute type="WarpSwModeValues" name="WRMWMODE"/>
    <ci:attribute type="WarpHwModeValues" name="BTLCRSNMOD"/>
    <ci:attribute type="imageValue" name="hyperionImageData"/>
    <ci:attribute type="imageValue" name="hyperionImage"/>
    <ci:attribute type="imageValue" name="aliImageData"/>
    <ci:attribute type="imageValue" name="aliImage"/>
    <ci:attribute type="EnabledDisabledValues" name="moduleConstraints"/>
    <ci:clause>
      <ci:term>moduleConstraints=ENABLED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!software.mode=recording</ci:term>
      <ci:term>aliImage=aliImageData</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!software.mode=toRecording</ci:term>
      <ci:term>aliImage=aliImageData</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>software.mode=recording</ci:term>
      <ci:term>software.mode=toRecording</ci:term>
      <ci:term>aliImage=noImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!software.mode=recording</ci:term>
      <ci:term>hyperionImage=hyperionImageData</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!software.mode=toRecording</ci:term>
      <ci:term>hyperionImage=hyperionImageData</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>software.mode=recording</ci:term>
      <ci:term>software.mode=toRecording</ci:term>
      <ci:term>hyperionImage=noImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>hardware.BTLCRSNMOD=BTLCRSNMOD</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>software.WRMWMODE=WRMWMODE</ci:term>
    </ci:clause>
  </ci:component>
  <ci:component type="AliMechanismPower" name="test.ali.mechanismPower">
    <ci:statevector vars="mode"/>
    <ci:attribute type="DisabledEnabledValues" name="powerOutput"/>
    <ci:attribute type="AliMechanismPowerCommand" name="command_timeout"/>
    <ci:attribute type="AliMechanismPowerCommand" name="command"/>
    <ci:attribute type="AliMechanismPower.ModeType" name="mode"/>
    <ci:transition to="enabledToDisabled" from="enabled" name="enabled2enabledToDisabled">
      <ci:clause>
        <ci:term>!command=I_MECHRESET</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabledToEnabled" from="disabled" name="disabled2disabledToEnabled">
      <ci:clause>
        <ci:term>!command=I_MECHPOWER</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="disabled" from="enabledToDisabled" name="enabledToDisabled2disabled">
      <ci:clause>
        <ci:term>!command_timeout=I_MECHRESET</ci:term>
      </ci:clause>
    </ci:transition>