| <?xml version="1.0" encoding="UTF-8"?> | |
| <am:Amalthea xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:am="http://app4mc.eclipse.org/amalthea/1.2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> | |
| <osModel> | |
| <operatingSystems name="OperatingSystem"> | |
| <taskSchedulers xmi:id="Task_Scheduler_Core_1?type=TaskScheduler" name="Task_Scheduler_Core_1"> | |
| <schedulingAlgorithm xsi:type="am:OSEK"/> | |
| </taskSchedulers> | |
| </operatingSystems> | |
| </osModel> | |
| </am:Amalthea> |