| <?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/2.0.0"> |
| <osModel> |
| <schedulerDefinitions xmi:id="OSEK?type=SchedulerDefinition" name="OSEK" processParameters="priority?type=SchedulingParameterDefinition taskGroup?type=SchedulingParameterDefinition preemptible?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="FixedPriorityPreemptive?type=SchedulerDefinition" name="FixedPriorityPreemptive" processParameters="priority?type=SchedulingParameterDefinition preemptible?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="FixedPriorityPreemptiveWithBudgetEnforcement?type=SchedulerDefinition" name="FixedPriorityPreemptiveWithBudgetEnforcement" processParameters="priority?type=SchedulingParameterDefinition preemptible?type=SchedulingParameterDefinition minBudget?type=SchedulingParameterDefinition maxBudget?type=SchedulingParameterDefinition replenishment?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="DeadlineMonotonic?type=SchedulerDefinition" name="DeadlineMonotonic" processParameters="preemptible?type=SchedulingParameterDefinition deadline?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="RateMonotonic?type=SchedulerDefinition" name="RateMonotonic" processParameters="preemptible?type=SchedulingParameterDefinition period?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="PFairPD2?type=SchedulerDefinition" name="PFairPD2" algorithmParameters="quantSizeNs?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="PartlyPFairPD2?type=SchedulerDefinition" name="PartlyPFairPD2" algorithmParameters="quantSizeNs?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="EarlyReleaseFairPD2?type=SchedulerDefinition" name="EarlyReleaseFairPD2" algorithmParameters="quantSizeNs?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="PartlyEarlyReleaseFairPD2?type=SchedulerDefinition" name="PartlyEarlyReleaseFairPD2" algorithmParameters="quantSizeNs?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="LeastLocalRemainingExecutionTimeFirst?type=SchedulerDefinition" name="LeastLocalRemainingExecutionTimeFirst"/> |
| <schedulerDefinitions xmi:id="EarliestDeadlineFirst?type=SchedulerDefinition" name="EarliestDeadlineFirst" processParameters="deadline?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="PriorityBasedRoundRobin?type=SchedulerDefinition" name="PriorityBasedRoundRobin" processParameters="priority?type=SchedulingParameterDefinition" algorithmParameters="timeSliceLength?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="DeferrableServer?type=SchedulerDefinition" name="DeferrableServer" algorithmParameters="capacity?type=SchedulingParameterDefinition period?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="PollingPeriodicServer?type=SchedulerDefinition" name="PollingPeriodicServer" algorithmParameters="capacity?type=SchedulingParameterDefinition period?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="SporadicServer?type=SchedulerDefinition" name="SporadicServer" algorithmParameters="capacity?type=SchedulingParameterDefinition replenishmentDelay?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="ConstantBandwidthServer?type=SchedulerDefinition" name="ConstantBandwidthServer" algorithmParameters="capacity?type=SchedulingParameterDefinition period?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="ConstantBandwidthServerWithCapacitySharing?type=SchedulerDefinition" name="ConstantBandwidthServerWithCapacitySharing" algorithmParameters="capacity?type=SchedulingParameterDefinition period?type=SchedulingParameterDefinition"/> |
| <schedulerDefinitions xmi:id="Grouping?type=SchedulerDefinition" name="Grouping"/> |
| <schedulerDefinitions xmi:id="PriorityBased?type=SchedulerDefinition" name="PriorityBased" processParameters="priority?type=SchedulingParameterDefinition preemptible?type=SchedulingParameterDefinition"/> |
| <schedulingParameterDefinitions xmi:id="priority?type=SchedulingParameterDefinition" name="priority" type="Integer" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="taskGroup?type=SchedulingParameterDefinition" name="taskGroup" type="Integer" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="preemptible?type=SchedulingParameterDefinition" name="preemptible" type="Bool" many="false" mandatory="true"> |
| <defaultValue xsi:type="am:BooleanObject" value="false"/> |
| </schedulingParameterDefinitions> |
| <schedulingParameterDefinitions xmi:id="minBudget?type=SchedulingParameterDefinition" name="minBudget" type="Time" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="maxBudget?type=SchedulingParameterDefinition" name="maxBudget" type="Time" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="replenishment?type=SchedulingParameterDefinition" name="replenishment" type="Time" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="deadline?type=SchedulingParameterDefinition" name="deadline" type="Time" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="period?type=SchedulingParameterDefinition" name="period" type="Time" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="quantSizeNs?type=SchedulingParameterDefinition" name="quantSizeNs" type="Integer" many="false" mandatory="true"> |
| <defaultValue xsi:type="am:IntegerObject" value="0"/> |
| </schedulingParameterDefinitions> |
| <schedulingParameterDefinitions xmi:id="timeSliceLength?type=SchedulingParameterDefinition" name="timeSliceLength" type="Time" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="capacity?type=SchedulingParameterDefinition" name="capacity" type="Time" many="false" mandatory="true"/> |
| <schedulingParameterDefinitions xmi:id="replenishmentDelay?type=SchedulingParameterDefinition" name="replenishmentDelay" type="Time" many="false" mandatory="true"/> |
| </osModel> |
| </am:Amalthea> |