| <?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/0.9.5" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> |
| <swModel> |
| <tasks name="OS_10ms" multipleTaskActivationLimit="0"> |
| <callGraph> |
| <items xsi:type="am:ModeSwitch"> |
| <entries name=""> |
| <condition> |
| <entries xsi:type="am:ModeCondition" label="Sensor?type=ModeLabel" value="Enable" relation="EQUAL"/> |
| </condition> |
| </entries> |
| <entries name="case2"> |
| <condition> |
| <entries xsi:type="am:ModeConditionConjunction"> |
| <entries label="Sensor?type=ModeLabel" value="Enable" relation="EQUAL"/> |
| <entries label="Lab_Offset?type=ModeLabel" value="0" relation="NOT_EQUAL"/> |
| </entries> |
| </condition> |
| </entries> |
| </items> |
| </callGraph> |
| </tasks> |
| <runnables name="R1" callback="false" service="false"> |
| <executionCondition> |
| <entries xsi:type="am:ModeCondition" label="MainLight?type=ModeLabel" value="ON" relation="EQUAL"/> |
| </executionCondition> |
| <callGraph> |
| <items xsi:type="am:ModeSwitch"> |
| <entries name="Waiting"/> |
| <entries name="Running"/> |
| </items> |
| <items xsi:type="am:ModeLabelAccess" data="MainLight?type=ModeLabel" access="read" value="ON" step="1"/> |
| <items xsi:type="am:ModeSwitch"> |
| <entries name=""> |
| <condition> |
| <entries xsi:type="am:ModeCondition" label="MainLight?type=ModeLabel" value="ON" relation="NOT_EQUAL"/> |
| </condition> |
| </entries> |
| </items> |
| </callGraph> |
| </runnables> |
| <runnables name="R2" callback="false" service="false"> |
| <callGraph> |
| <items xsi:type="am:Group" name="Seq" ordered="true"> |
| <items xsi:type="am:ModeSwitch"> |
| <entries name="1"> |
| <condition> |
| <entries xsi:type="am:ModeCondition" label="Lab_Offset?type=ModeLabel" value="4" relation="LESS_THAN"/> |
| </condition> |
| </entries> |
| <entries name="2"/> |
| </items> |
| <items xsi:type="am:ModeLabelAccess" data="Lab_Offset?type=ModeLabel" access="read" value="" step="1"/> |
| <items xsi:type="am:RunnableCall" runnable="R1?type=Runnable"/> |
| <items xsi:type="am:ProbabilitySwitch"> |
| <entries probability="0.0"> |
| <items xsi:type="am:ModeLabelAccess" data="MainLight?type=ModeLabel" access="read" value="OFF" step="1"/> |
| </entries> |
| <entries probability="0.0"> |
| <items xsi:type="am:ModeSwitch"> |
| <entries name=""> |
| <condition> |
| <entries xsi:type="am:ModeCondition" label="MainLight?type=ModeLabel" value="OFF" relation="EQUAL"/> |
| </condition> |
| </entries> |
| </items> |
| </entries> |
| </items> |
| </items> |
| </callGraph> |
| </runnables> |
| <modes xsi:type="am:EnumMode" name="Switch"> |
| <literals name="ON"/> |
| <literals name="OFF"/> |
| </modes> |
| <modes xsi:type="am:NumericMode" name="OFFSET"/> |
| <modes xsi:type="am:EnumMode" name="Status"> |
| <literals name="Enable"/> |
| <literals name="Disable"/> |
| </modes> |
| <modeLabels name="MainLight" displayName="" mode="Switch?type=EnumMode" initialValue="OFF"/> |
| <modeLabels name="Sensor" mode="Status?type=EnumMode" initialValue="Enable"/> |
| <modeLabels name="Lab_Offset" mode="OFFSET?type=NumericMode" initialValue="1"/> |
| </swModel> |
| <stimuliModel> |
| <stimuli xsi:type="am:PeriodicStimulus" name="EVery_100ms"> |
| <setModeValueList> |
| <entries label="MainLight?type=ModeLabel" value="OFF"/> |
| </setModeValueList> |
| <executionCondition> |
| <entries xsi:type="am:ModeCondition" label="Sensor?type=ModeLabel" value="Disable" relation="NOT_EQUAL"/> |
| </executionCondition> |
| </stimuli> |
| <stimuli xsi:type="am:SingleStimulus" name="Startup"> |
| <executionCondition> |
| <entries xsi:type="am:ModeCondition" label="MainLight?type=ModeLabel" value="ON"/> |
| <entries xsi:type="am:ModeConditionConjunction"> |
| <entries label="MainLight?type=ModeLabel" value="ON" relation="EQUAL"/> |
| <entries label="Lab_Offset?type=ModeLabel" value="1" relation="GREATER_THAN"/> |
| </entries> |
| <entries xsi:type="am:ModeCondition" label="Lab_Offset?type=ModeLabel" value="2" relation="EQUAL"/> |
| </executionCondition> |
| </stimuli> |
| </stimuliModel> |
| </am:Amalthea> |