tests/org.eclipse.app4mc.amalthea.converters.200.tests/TestModels/input/schedulers/model2.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/1.2.0">
  <customProperties key="task scheduler">
    <value xsi:type="am:ReferenceObject">
      <value xsi:type="am:TaskScheduler" href="amlt:/#TS+sporadic+server?type=TaskScheduler"/>
    </value>
  </customProperties>
  <customProperties key="interrupt controller">
    <value xsi:type="am:ReferenceObject">
      <value xsi:type="am:InterruptController" href="amlt:/#IC_user?type=InterruptController"/>
    </value>
  </customProperties>
  <swModel>
    <tasks xmi:id="task+A?type=Task" name="task A" multipleTaskActivationLimit="0"/>
    <tasks xmi:id="task+B?type=Task" name="task B" multipleTaskActivationLimit="0"/>
  </swModel>
  <mappingModel>
    <taskAllocation task="task+A?type=Task">
      <scheduler href="amlt:/#TS+rate+monotonic?type=TaskScheduler"/>
      <schedulingParameters priority="123">
        <minBudget value="3" unit="ms"/>
        <maxBudget value="5" unit="ms"/>
        <replenishment value="100" unit="ms"/>
      </schedulingParameters>
      <parameterExtensions key="strangeness" value="1000"/>
    </taskAllocation>
    <taskAllocation task="task+B?type=Task">
      <scheduler href="amlt:/#TS+sporadic+server?type=TaskScheduler"/>
      <schedulingParameters priority="11"/>
      <parameterExtensions key="deadline" value="75 ms"/>
    </taskAllocation>
  </mappingModel>
</am:Amalthea>