tests/org.eclipse.app4mc.amalthea.validations.sim.tests/test-data/software/SimSoftwareTestsModel.amxmi

<?xml version="1.0" encoding="UTF-8"?>
<am:Amalthea xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:am="http://app4mc.eclipse.org/amalthea/3.1.0">
  <swModel>
    <isrs xmi:id="ISR_valid?type=ISR" name="ISR_valid" stimuli="periodicStimulus?type=PeriodicStimulus">
      <activityGraph>
        <items xsi:type="am:RunnableCall" runnable="R_1?type=Runnable"/>
        <items xsi:type="am:LabelAccess" data="label?type=Label" access="write"/>
      </activityGraph>
    </isrs>
    <tasks xmi:id="Task_valid?type=Task" name="Task_valid" stimuli="periodicStimulus?type=PeriodicStimulus" multipleTaskActivationLimit="0">
      <activityGraph>
        <items xsi:type="am:RunnableCall" runnable="R_1?type=Runnable"/>
        <items xsi:type="am:LabelAccess" data="label?type=Label" access="write"/>
      </activityGraph>
    </tasks>
    <runnables xmi:id="R_1?type=Runnable" name="R_1" callback="false" service="false">
      <activityGraph>
        <items xsi:type="am:LabelAccess" data="label?type=Label" access="write"/>
        <items xsi:type="am:ModeLabelAccess" data="modelabel?type=ModeLabel" access="increment" step="1"/>
        <items xsi:type="am:ChannelSend" data="channel?type=Channel" elements="1"/>
        <items xsi:type="am:ChannelReceive" data="channel?type=Channel" elements="1" dataMustBeNew="false" elementIndex="0" lowerBound="0"/>
      </activityGraph>
    </runnables>
    <labels xmi:id="label?type=Label" name="label" constant="false" bVolatile="false"/>
    <channels xmi:id="channel?type=Channel" name="channel" defaultElements="0" maxElements="0"/>
    <modeLabels xmi:id="modelabel?type=ModeLabel" name="modelabel"/>
  </swModel>
  <hwModel>
    <definitions xsi:type="am:ProcessingUnitDefinition" xmi:id="TestCoreDef?type=ProcessingUnitDefinition" name="TestCoreDef"/>
    <structures xmi:id="System?type=HwStructure" name="System">
      <modules xsi:type="am:Memory" xmi:id="TestMemory?type=Memory" name="TestMemory"/>
      <modules xsi:type="am:ProcessingUnit" xmi:id="TestCore?type=ProcessingUnit" name="TestCore" definition="TestCoreDef?type=ProcessingUnitDefinition">
        <accessElements name="" destination="TestMemory?type=Memory"/>
      </modules>
    </structures>
  </hwModel>
  <osModel>
    <operatingSystems name="TestOS">
      <taskSchedulers xmi:id="TestScheduler?type=TaskScheduler" name="TestScheduler"/>
      <interruptControllers xmi:id="InterruptController?type=InterruptController" name="InterruptController"/>
    </operatingSystems>
  </osModel>
  <stimuliModel>
    <stimuli xsi:type="am:PeriodicStimulus" xmi:id="periodicStimulus?type=PeriodicStimulus" name="periodicStimulus">
      <recurrence value="10" unit="ms"/>
      <offset value="100" unit="ms"/>
    </stimuli>
  </stimuliModel>
  <mappingModel>
    <schedulerAllocation scheduler="TestScheduler?type=TaskScheduler" responsibility="TestCore?type=ProcessingUnit"/>
    <schedulerAllocation scheduler="InterruptController?type=InterruptController" responsibility="TestCore?type=ProcessingUnit"/>
    <taskAllocation task="Task_valid?type=Task" scheduler="TestScheduler?type=TaskScheduler"/>
    <isrAllocation isr="ISR_valid?type=ISR" controller="InterruptController?type=InterruptController"/>
    <memoryMapping abstractElement="label?type=Label" memory="TestMemory?type=Memory" memoryPositionAddress="0x0"/>
    <memoryMapping abstractElement="modelabel?type=ModeLabel" memory="TestMemory?type=Memory" memoryPositionAddress="0x0"/>
    <memoryMapping abstractElement="channel?type=Channel" memory="TestMemory?type=Memory" memoryPositionAddress="0x0"/>
  </mappingModel>
</am:Amalthea>