eo1.xmpl

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

<?xml version="1.0"?>
<xmpl xmlns:ci="http://www.w3.org/1999/XSL/Format">
<componentinstance name="test">
  <ci:attributetype name="AliDataGate.ModeType" members="unknownFault enabled disabled enabledToDisabled disabledToEnabled failedEnabled failedDisabled"/>
  <ci:attributetype name="AliDataGateCommand" members="I_SET_FPE_DG I_CLR_FPE_DG noCommand"/>
  <ci:attributetype name="DisabledEnabledValues" members="DISABLED ENABLED"/>
  <ci:attributetype name="AliFpePower.ModeType" members="unknownFault enabled disabled enabledToDisabled disabledToEnabled failedEnabled failedDisabled"/>
  <ci:attributetype name="AliFpePowerCommand" members="I_SETFPEPOWER_POWER_MASK_4 I_SETFPEPOWER_POWER_MASK_5 noCommand"/>
  <ci:attributetype name="AliApertureCover.ModeType" members="unknownFault open closed toClosed toOpen failedOpen failedClosed failedIntermediate intermediate toIntermediate"/>
  <ci:attributetype name="AliApertureCoverCommand" members="I_MECHACTIVE_DIRECTION_0 I_MECHACTIVE_DIRECTION_1 I_MECHACTIVE_NUMSTEPS_200 noCommand"/>
  <ci:attributetype name="OpenClosedValues" members="OPEN CLOSED INTERMEDIATE"/>
  <ci:attributetype name="imageValue" members="earthImage darkImage noImage"/>
  <ci:attributetype name="AliApertureCoverOpenSensor.ModeType" members="unknownFault nominal"/>
  <ci:attributetype name="AliApertureCoverOpenValues" members="TAC_FULLY_OPEN TAC_NOT_FULLY_OPEN"/>
  <ci:attributetype name="AliApertureCoverClosedSensor.ModeType" members="unknownFault nominal"/>
  <ci:attributetype name="AliApertureCoverClosedValues" members="TAC_FULLY_CLOSED TAC_NOT_FULLY_CLOSED"/>
  <ci:attributetype name="AliMechanismPowerSensor.ModeType" members="unknownFault nominal"/>
  <ci:attributetype name="AliMechanismPower.ModeType" members="unknownFault enabled disabled enabledToDisabled disabledToEnabled failedEnabled failedDisabled"/>
  <ci:attributetype name="AliMechanismPowerCommand" members="I_MECHPOWER I_MECHRESET noCommand"/>
  <ci:attributetype name="EnabledDisabledValues" members="DISABLED ENABLED TRANSITIONING"/>
  <ci:attributetype name="WARPSoftware.ModeType" members="unknownFault recording sending toSending toRecording standby toStandby"/>
  <ci:attributetype name="WarpSWCommand" members="WRMSREC WRMEREC WRMSXOUT WRMEXOUT noCommand"/>
  <ci:attributetype name="WarpSwModeValues" members="STANDBY M_CONF REC SBPB XBPB LO_PWR M_BIT"/>
  <ci:attributetype name="WARPHardware.ModeType" members="unknownFault stdOps sciCollect lowPower toLowPower toStdOps playback toPlayback toSciCollect"/>
  <ci:attributetype name="WarpHWCommand" members="BCMMODERSN BCMMODELP BCMMODESO BCMMODESCRS422 BCMMODEPB noCommand"/>
  <ci:attributetype name="WarpHwModeValues" members="INVALID RSN_PWR LOW_PWR STND_OPS SC_RS422_MODE SCFODB_MODE PLAYBACK"/>
  <ci:attributetype name="HyperionElectronicsAssembly.ModeType" members="unknownFault imaging standby error toImaging toStandby idle toIdle"/>
  <ci:attributetype name="HyperionElectronicsCommand" members="YHEAIDLE YHEASTBY YSCISTART YSCISTOP noCommand"/>
  <ci:attributetype name="HyperionElectronicsModeValues" members="IDLE STANDBY ERROR IMAGING"/>
  <ci:attributetype name="HyperionApertureCover.ModeType" members="unknownFault closed fullOpen toFullOpen toClosed failedFullOpen failedClosed failedTransitioning failedSolarCal solarCal toSolarCal"/>
  <ci:attributetype name="HyperionCoverCommand" members="YCVROPEN YCVRCLOSE YCVRTOCAL noCommand"/>
  <ci:attributetype name="HyperionCoverValues" members="CLOSED SOLAR_CAL FULL_OPEN TRANSITIONING"/>
  <ci:attributetype name="HyperionCoverSensor.ModeType" members="unknownFault nominal"/>
  <ci:component type="HyperionCoverSensor" name="test.hyperion.apertureCoverSensor">
    <ci:statevector vars="mode"/>
    <ci:attribute type="HyperionCoverValues" name="reportedValue"/>
    <ci:attribute type="HyperionCoverValues" name="actualValue"/>
    <ci:attribute type="HyperionCoverSensor.ModeType" name="mode"/>
    <ci:transition to="unknownFault" probability="0.05" from="*" name="toUnknownFault"/>
    <ci:clause>
      <ci:term>!mode=nominal</ci:term>
      <ci:term>actualValue=reportedValue</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="nominal" from="nominal">
      <ci:clause/>
    </ci:transition>
  </ci:component>
  <ci:component type="HyperionApertureCover" name="test.hyperion.apertureCover">
    <ci:statevector vars="mode"/>
    <ci:attribute type="HyperionCoverValues" name="coverPosition"/>
    <ci:attribute type="HyperionCoverCommand" name="command_timeout"/>
    <ci:attribute type="HyperionCoverCommand" name="command"/>
    <ci:attribute type="HyperionApertureCover.ModeType" name="mode"/>
    <ci:transition to="toFullOpen" from="closed" name="closed2ClosedToFullOpen">
      <ci:clause>
        <ci:term>!command=YCVROPEN</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toSolarCal" from="closed" name="closed2toSolarCal">
      <ci:clause>
        <ci:term>!command=YCVRTOCAL</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="fullOpen" name="fullOpen2FullOpenToClosed">
      <ci:clause>
        <ci:term>!command=YCVRCLOSE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="fullOpen" from="toFullOpen" name="closedToFullOpen2FullOpen">
      <ci:clause>
        <ci:term>!command_timeout=YCVROPEN</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="toFullOpen" name="closedToFullOpen2FullOpenToClosed">
      <ci:clause>
        <ci:term>!command=YCVRCLOSE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="closed" from="toClosed" name="fullOpenToClosed2Closed">
      <ci:clause>
        <ci:term>!command_timeout=YCVRCLOSE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toFullOpen" from="toClosed" name="fullOpenToClosed2ClosedToFullOpen">
      <ci:clause>
        <ci:term>!command=YCVROPEN</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toSolarCal" from="toClosed" name="toClosed2toSolarCal">
      <ci:clause>
        <ci:term>!command=YCVRTOCAL</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="solarCal" name="solarCal2toClosed">
      <ci:clause>
        <ci:term>!command=YCVRCLOSE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="toSolarCal" name="toSolarCal2toClosed">
      <ci:clause>
        <ci:term>!command=YCVRCLOSE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="solarCal" from="toSolarCal" name="toSolarCal2solarCal">
      <ci:clause>
        <ci:term>!command_timeout=YCVRTOCAL</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="unknownFault" probability="1.0e-4" from="*" name="toUnknownFault"/>
    <ci:transition to="failedFullOpen" probability="0.05" from="*" name="toFailedFullOpen"/>
    <ci:transition to="failedClosed" probability="0.05" from="*" name="toFailedClosed"/>
    <ci:transition to="failedTransitioning" probability="0.05" from="*" name="toFailedTransitioning"/>
    <ci:transition to="failedSolarCal" probability="0.05" from="*" name="toFailedSolarCal"/>
    <ci:clause>
      <ci:term>!mode=closed</ci:term>
      <ci:term>coverPosition=CLOSED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=fullOpen</ci:term>
      <ci:term>coverPosition=FULL_OPEN</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedFullOpen</ci:term>
      <ci:term>coverPosition=FULL_OPEN</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedClosed</ci:term>
      <ci:term>coverPosition=CLOSED</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedTransitioning</ci:term>
      <ci:term>coverPosition=TRANSITIONING</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=failedSolarCal</ci:term>
      <ci:term>coverPosition=SOLAR_CAL</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=solarCal</ci:term>
      <ci:term>coverPosition=SOLAR_CAL</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="closed" from="closed">
      <ci:clause>
        <ci:term>command=YCVROPEN</ci:term>
        <ci:term>command=YCVRTOCAL</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="fullOpen" from="fullOpen">
      <ci:clause>
        <ci:term>command=YCVRCLOSE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toFullOpen" from="toFullOpen">
      <ci:clause>
        <ci:term>command_timeout=YCVROPEN</ci:term>
        <ci:term>command=YCVRCLOSE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toClosed" from="toClosed">
      <ci:clause>
        <ci:term>command_timeout=YCVRCLOSE</ci:term>
        <ci:term>command=YCVROPEN</ci:term>
        <ci:term>command=YCVRTOCAL</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="failedFullOpen" from="failedFullOpen">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="failedClosed" from="failedClosed">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="failedTransitioning" from="failedTransitioning">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="failedSolarCal" from="failedSolarCal">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="solarCal" from="solarCal">
      <ci:clause>
        <ci:term>command=YCVRCLOSE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toSolarCal" from="toSolarCal">
      <ci:clause>
        <ci:term>command=YCVRCLOSE</ci:term>
        <ci:term>command_timeout=YCVRTOCAL</ci:term>
      </ci:clause>
    </ci:transition>
  </ci:component>
  <ci:component type="HyperionElectronicsAssembly" name="test.hyperion.electronicsAssembly">
    <ci:statevector vars="mode"/>
    <ci:attribute type="HyperionElectronicsModeValues" name="YIMAGE_MODE"/>
    <ci:attribute type="HyperionElectronicsCommand" name="command_timeout"/>
    <ci:attribute type="HyperionElectronicsCommand" name="command"/>
    <ci:attribute type="HyperionElectronicsAssembly.ModeType" name="mode"/>
    <ci:transition to="toStandby" from="imaging" name="imaging2toStandby">
      <ci:clause>
        <ci:term>!command=YSCISTOP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toImaging" from="standby" name="standby2toImaging">
      <ci:clause>
        <ci:term>!command=YSCISTART</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toIdle" from="standby" name="standby2toIdle">
      <ci:clause>
        <ci:term>!command=YHEAIDLE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="imaging" from="toImaging" name="toImaging2imaging">
      <ci:clause>
        <ci:term>!command_timeout=YSCISTART</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStandby" from="toImaging" name="toImaging2toStandby">
      <ci:clause>
        <ci:term>!command=YSCISTOP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="standby" from="toStandby" name="toStandby2standby">
      <ci:clause>
        <ci:term>!command_timeout=YHEASTBY</ci:term>
      </ci:clause>
      <ci:clause>
        <ci:term>!command_timeout=YSCISTOP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toImaging" from="toStandby" name="toStandby2toImaging">
      <ci:clause>
        <ci:term>!command=YSCISTART</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toIdle" from="toStandby" name="toStandby2toIdle">
      <ci:clause>
        <ci:term>!command=YHEAIDLE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStandby" from="idle" name="idle2toStandby">
      <ci:clause>
        <ci:term>!command=YHEASTBY</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="idle" from="toIdle" name="toIdle2idle">
      <ci:clause>
        <ci:term>!command_timeout=YHEAIDLE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStandby" from="toIdle" name="toIdle2toStandby">
      <ci:clause>
        <ci:term>!command=YHEASTBY</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="unknownFault" probability="1.0e-4" from="*" name="toUnknownFault"/>
    <ci:transition to="error" probability="0.05" from="*" name="toError"/>
    <ci:clause>
      <ci:term>!mode=imaging</ci:term>
      <ci:term>YIMAGE_MODE=IMAGING</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=standby</ci:term>
      <ci:term>YIMAGE_MODE=STANDBY</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=error</ci:term>
      <ci:term>YIMAGE_MODE=ERROR</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!mode=idle</ci:term>
      <ci:term>YIMAGE_MODE=IDLE</ci:term>
    </ci:clause>
    <ci:transition to="unknownFault" from="unknownFault">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="imaging" from="imaging">
      <ci:clause>
        <ci:term>command=YSCISTOP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="standby" from="standby">
      <ci:clause>
        <ci:term>command=YSCISTART</ci:term>
        <ci:term>command=YHEAIDLE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="error" from="error">
      <ci:clause/>
    </ci:transition>
    <ci:transition to="toImaging" from="toImaging">
      <ci:clause>
        <ci:term>command_timeout=YSCISTART</ci:term>
        <ci:term>command=YSCISTOP</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toStandby" from="toStandby">
      <ci:clause>
        <ci:term>command_timeout=YHEASTBY</ci:term>
        <ci:term>command_timeout=YSCISTOP</ci:term>
        <ci:term>command=YSCISTART</ci:term>
        <ci:term>command=YHEAIDLE</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="idle" from="idle">
      <ci:clause>
        <ci:term>command=YHEASTBY</ci:term>
      </ci:clause>
    </ci:transition>
    <ci:transition to="toIdle" from="toIdle">
      <ci:clause>
        <ci:term>command_timeout=YHEAIDLE</ci:term>
        <ci:term>command=YHEASTBY</ci:term>
      </ci:clause>
    </ci:transition>
  </ci:component>
  <ci:component type="HyperionInstrument" name="test.hyperion">
    <ci:attribute type="HyperionElectronicsModeValues" name="YIMAGE_MODE"/>
    <ci:attribute type="HyperionCoverValues" name="YCOVRPOS"/>
    <ci:attribute type="imageValue" name="imageData"/>
    <ci:clause>
      <ci:term>!electronicsAssembly.mode=imaging</ci:term>
      <ci:term>!apertureCover.mode=fullOpen</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!electronicsAssembly.mode=imaging</ci:term>
      <ci:term>!apertureCover.mode=failedFullOpen</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!electronicsAssembly.mode=toImaging</ci:term>
      <ci:term>!apertureCover.mode=fullOpen</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!electronicsAssembly.mode=toImaging</ci:term>
      <ci:term>!apertureCover.mode=failedFullOpen</ci:term>
      <ci:term>imageData=earthImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!electronicsAssembly.mode=imaging</ci:term>
      <ci:term>!apertureCover.mode=closed</ci:term>
      <ci:term>imageData=darkImage</ci:term>
    </ci:clause>
    <ci:clause>
      <ci:term>!electronicsAssembly.mode=toImaging</ci:term>
      <ci:term>!apertureCover.mode=closed</ci:term>
      <ci:term>imageData=darkImage</ci:term>