diff --git a/org.fortiss.af3.platform.raspberry/test-data/model/SCA-SingleUnit-Test.af3_23 b/org.fortiss.af3.platform.raspberry/test-data/model/SCA-SingleUnit-Test.af3_23 index df5232002b545f67906bcff7f20028881d7e61a1..83f380f63debdc03d934eca740f3d66dfd4263d0 100644 --- a/org.fortiss.af3.platform.raspberry/test-data/model/SCA-SingleUnit-Test.af3_23 +++ b/org.fortiss.af3.platform.raspberry/test-data/model/SCA-SingleUnit-Test.af3_23 @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-annotation="http://www.fortiss.org/af3/component/annotation" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-deployment="http://www.fortiss.org/af3/deployment" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-platform="http://www.fortiss.org/af3/platform" xmlns:org-fortiss-af3-platform-annotation="http://www.fortiss.org/af3/platform/annotation" xmlns:org-fortiss-af3-platform-raspberry="http://www.fortiss.org/af3/platform/raspberry" xmlns:org-fortiss-af3-platform-raspberry-gamepad="http://www.fortiss.org/af3/platform/raspberry/gamepad" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-af3-safety-annotation="http://www.fortiss.org/af3/safety/annotation" xmlns:org-fortiss-af3-timing-annotation="http://www.fortiss.org/af3/timing/annotation" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmi:id="172" id="172" name="SCA-Single Unit Test" af3Version="2.11.0.qualifier"> +<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-annotation="http://www.fortiss.org/af3/component/annotation" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-deployment="http://www.fortiss.org/af3/deployment" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-platform="http://www.fortiss.org/af3/platform" xmlns:org-fortiss-af3-platform-annotation="http://www.fortiss.org/af3/platform/annotation" xmlns:org-fortiss-af3-platform-raspberry="http://www.fortiss.org/af3/platform/raspberry" xmlns:org-fortiss-af3-platform-raspberry-camera-controlcenter="http://www.fortiss.org/af3/platform/raspberry/controlcenter" xmlns:org-fortiss-af3-platform-raspberry-gamepad="http://www.fortiss.org/af3/platform/raspberry/gamepad" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-af3-safety-annotation="http://www.fortiss.org/af3/safety/annotation" xmlns:org-fortiss-af3-timing-annotation="http://www.fortiss.org/af3/timing/annotation" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmi:id="172" id="172" name="SCA-Single Unit Test" af3Version="2.11.0.qualifier"> <rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" xmi:id="1" id="1"> <configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" xmi:id="2" id="2"> <typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/> @@ -18,163 +18,213 @@ </rootElements> <rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" xmi:id="6" id="6" name="Component Architecture" referencedBy="//@rootElements.5/@componentArchitectureReference"> <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="7" id="7" name="SCATest" comment=""> - <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="12" id="12" name="Gamepad_Input" comment=""> - <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="13" id="13" stronglyCausal="true"/> - <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="14" id="14"/> - <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="15" id="15"/> - <specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="16" id="16"/> - <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="60" id="60"> - <body> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:IfThenElse"> - <guard xsi:type="org-fortiss-af3-expression-terms:FunctionCall"> - <function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="GreaterThan"/> - <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="Button_1"/> - <arguments xsi:type="org-fortiss-af3-expression-terms:IntConst"/> - </guard> - <thenBlock> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> - <variable identifier="sensorInput"/> - <value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/> - </statements> - </thenBlock> - <elseBlock> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> - <variable identifier="sensorInput"/> - <value xsi:type="org-fortiss-af3-expression-terms:IntConst"/> - </statements> - </elseBlock> - </statements> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return"/> - </body> - </specifications> - <connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="36" id="36" name="sensorInput" comment="" outgoing="40"> - <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="37" id="37"> - <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0"/> - <initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/> + <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="184" id="184" name="System" comment=""> + <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="22" id="22" name="Coordinator" comment=""> + <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="23" id="23" stronglyCausal="true"/> + <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="24" id="24"/> + <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="25" id="25"/> + <specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="26" id="26"/> + <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="61" id="61"> + <body> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:IfThenElse"> + <guard xsi:type="org-fortiss-af3-expression-terms:FunctionCall"> + <function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/> + <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="sensorInput"/> + <arguments xsi:type="org-fortiss-af3-expression-terms:IntConst"/> + </guard> + <thenBlock> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> + <variable identifier="actuatorOutput"/> + <value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="6000"/> + </statements> + </thenBlock> + <elseBlock> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> + <variable identifier="actuatorOutput"/> + <value xsi:type="org-fortiss-af3-expression-terms:IntConst"/> + </statements> + </elseBlock> + </statements> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return"/> + </body> </specifications> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="EAST"/> - </connectors> - <connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="41" id="41" name="Button_1" comment=""> - <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="42" id="42" NoValAllowed="false"> - <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="1"/> - <initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/> + <connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="38" id="38" name="sensorInput" comment="" incoming="210"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="39" id="39"> + <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0"/> + <initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/> + </specifications> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/> + </connectors> + <connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="195" id="195" name="actuatorOutput" comment="" outgoing="211 199"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="196" id="196"> + <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="6000"/> + <initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/> + </specifications> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="EAST"/> + </connectors> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="420" y="144"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="121"/> + </containedElements> + <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="12" id="12" name="Gamepad_Input" comment=""> + <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="13" id="13" stronglyCausal="true"/> + <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="14" id="14"/> + <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="15" id="15"/> + <specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="16" id="16"/> + <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="60" id="60"> + <body> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:IfThenElse"> + <guard xsi:type="org-fortiss-af3-expression-terms:FunctionCall"> + <function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="GreaterThan"/> + <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="Button_1"/> + <arguments xsi:type="org-fortiss-af3-expression-terms:IntConst"/> + </guard> + <thenBlock> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> + <variable identifier="sensorInput"/> + <value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/> + </statements> + </thenBlock> + <elseBlock> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> + <variable identifier="sensorInput"/> + <value xsi:type="org-fortiss-af3-expression-terms:IntConst"/> + </statements> + </elseBlock> + </statements> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return"/> + </body> </specifications> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/> - </connectors> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="24" y="144"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="121"/> - </containedElements> - <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="22" id="22" name="Coordinator" comment=""> - <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="23" id="23" stronglyCausal="true"/> - <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="24" id="24"/> - <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="25" id="25"/> - <specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="26" id="26"/> - <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="61" id="61"> - <body> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:IfThenElse"> - <guard xsi:type="org-fortiss-af3-expression-terms:FunctionCall"> - <function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/> - <arguments xsi:type="org-fortiss-af3-expression-terms:Var" identifier="sensorInput"/> - <arguments xsi:type="org-fortiss-af3-expression-terms:IntConst"/> - </guard> - <thenBlock> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> - <variable identifier="actuatorOutput"/> - <value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="6000"/> - </statements> - </thenBlock> - <elseBlock> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> - <variable identifier="actuatorOutput"/> - <value xsi:type="org-fortiss-af3-expression-terms:IntConst"/> - </statements> - </elseBlock> - </statements> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return"/> - </body> - </specifications> - <connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="38" id="38" name="sensorInput" comment="" incoming="40"> - <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="39" id="39"> - <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0"/> - <initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/> + <connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="36" id="36" name="sensorInput" comment="" outgoing="210"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="37" id="37"> + <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0"/> + <initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/> + </specifications> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="EAST"/> + </connectors> + <connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="207" id="207" name="Button_1" comment="" incoming="209"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="208" id="208" NoValAllowed="false"> + <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="1"/> + <initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/> + </specifications> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/> + </connectors> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="168" y="144"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="121"/> + </containedElements> + <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="27" id="27" name="PWM Output" comment=""> + <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="28" id="28" stronglyCausal="true"/> + <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="29" id="29"/> + <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="30" id="30"/> + <specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="31" id="31"/> + <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="62" id="62"> + <body> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> + <variable identifier="PWM"/> + <value xsi:type="org-fortiss-af3-expression-terms:Var" identifier="actuatorOutput"/> + </statements> + <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return"/> + </body> </specifications> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/> - </connectors> - <connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="53" id="53" name="actuatorOutput" comment="" outgoing="57"> - <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="54" id="54"> - <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="6000"/> + <connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="55" id="55" name="actuatorOutput" comment="" incoming="211"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="56" id="56"> + <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="6000"/> + <initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/> + </specifications> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/> + </connectors> + <connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="200" id="200" name="PWM" comment="" outgoing="204"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="201" id="201" NoValAllowed="false"> + <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="6000"/> + <initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/> + </specifications> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="EAST"/> + </connectors> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="684" y="144"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="121"/> + </containedElements> + <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="185" id="185"/> + <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="186" id="186"/> + <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="187" id="187"/> + <specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="188" id="188"/> + <connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="210" id="210" name="sensorInput" comment="" source="36" target="38"> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> + </connections> + <connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="211" id="211" name="actuatorOutput" comment="" source="195" target="55"> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> + </connections> + <connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="199" id="199" name="" comment="" source="195" target="197"> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> + </connections> + <connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="204" id="204" name="PWM" comment="" source="200" target="202"> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> + </connections> + <connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="209" id="209" name="Button_1" comment="" source="205" target="207"> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> + </connections> + <connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="205" id="205" name="Button_1" comment="" outgoing="209"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="206" id="206" NoValAllowed="false"> + <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="1"/> <initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/> </specifications> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="36" y="168"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="EAST"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/> </connectors> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="420" y="144"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="121"/> - </containedElements> - <containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="27" id="27" name="PWM Output" comment=""> - <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="28" id="28" stronglyCausal="true"/> - <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="29" id="29"/> - <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="30" id="30"/> - <specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="31" id="31"/> - <specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="62" id="62"> - <body> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment"> - <variable identifier="PWM"/> - <value xsi:type="org-fortiss-af3-expression-terms:Var" identifier="actuatorOutput"/> - </statements> - <statements xsi:type="org-fortiss-af3-expression-terms-imperative:Return"/> - </body> - </specifications> - <connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="55" id="55" name="actuatorOutput" comment="" incoming="57"> - <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="56" id="56"> + <connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="202" id="202" name="PWM" comment="" incoming="204"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="203" id="203" NoValAllowed="false"> <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="6000"/> <initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/> </specifications> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="912" y="252"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="12" orientation="EAST"/> </connectors> - <connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="58" id="58" name="PWM" comment=""> - <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="59" id="59" NoValAllowed="false"> + <connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="197" id="197" name="actuatorOutput" comment="" incoming="199"> + <specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="198" id="198"> <type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="0" upperBound="6000"/> <initialValue xsi:type="org-fortiss-af3-expression-terms:DefinedConst" value="NoVal"/> </specifications> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="648" y="252"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="EAST"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="36" orientation="EAST"/> </connectors> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="912" y="144"/> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="121"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="156" y="276"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="733" height="97"/> </containedElements> <specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="8" id="8"/> <specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="9" id="9"/> <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="43" id="43"/> <specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="44" id="44"/> - <connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="40" id="40" name="sensorInput" comment="" source="36" target="38"> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> - </connections> - <connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="57" id="57" name="actuatorOutput" comment="" source="53" target="55"> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> - </connections> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="216" height="72"/> </containedElements> @@ -183,6 +233,7 @@ <rootElements xsi:type="org-fortiss-af3-project-execution:ExecutionConfigurationStore" xmi:id="114" id="114"> <configurations xmi:id="115" id="115" name="Execonf" comment="" idReference="11"/> <configurations xmi:id="182" id="182" name="Deployment" comment="" idReference="171"/> + <configurations xmi:id="222" id="222" name="Deployment" comment="" idReference="212"/> </rootElements> <rootElements xsi:type="org-fortiss-af3-platform:PlatformArchitecture" xmi:id="116" id="116" name="Platform Architecture" comment="" referencedBy="//@rootElements.5/@platformArchitectureReference"> <containedElements xsi:type="org-fortiss-af3-platform-raspberry:RaspberryPi" xmi:id="117" id="117" name="SCAUnit" canCoordinationID="250" ipAddress="192.168.21.241" cycleTime="100"> @@ -211,42 +262,58 @@ <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="60" orientation="EAST"/> </connectors> + <connectors xsi:type="org-fortiss-af3-platform-raspberry-camera-controlcenter:ControlCenterUpstreamOutput" xmi:id="225" id="225" name="ControlCenterOutputPWM"> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="156" orientation="EAST"/> + </connectors> + <connectors xsi:type="org-fortiss-af3-platform-raspberry-camera-controlcenter:ControlCenterUpstreamOutput" xmi:id="226" id="226" name="ControlCenterOutputConsole"> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/> + <layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="180" orientation="EAST"/> + </connectors> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="84" y="72"/> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="241" height="277"/> </containedElements> <specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="127" id="127"/> </rootElements> - <rootElements xsi:type="org-fortiss-af3-deployment:Deployment" xmi:id="171" id="171" name="Deployment"> + <rootElements xsi:type="org-fortiss-af3-deployment:Deployment" xmi:id="212" id="212" name="Deployment"> <componentArchitectureReference reference="6"/> <platformArchitectureReference reference="116"/> - <componentAllocations xmi:id="173" id="173" component="12" executionUnit="117"> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> - </componentAllocations> - <componentAllocations xmi:id="174" id="174" component="22" executionUnit="117"> - <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> - </componentAllocations> - <componentAllocations xmi:id="175" id="175" component="27" executionUnit="117"> + <componentAllocations xmi:id="213" id="213" component="184" executionUnit="117"> <layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/> </componentAllocations> - <portAllocations xsi:type="org-fortiss-af3-deployment:InputPortAllocation" inputPort="41" receiver="146"/> - <portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="58" transmitter="170"/> - <portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="53" transmitter="183"/> + <portAllocations xsi:type="org-fortiss-af3-deployment:InputPortAllocation" inputPort="205" receiver="146"/> + <portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="202" transmitter="170"/> + <portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="197" transmitter="183"/> + <portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="202" transmitter="225"/> + <portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="197" transmitter="226"/> + <deploymentParameterMap> + <key/> + <value xmi:id="214" id="214" component="184" executionUnit="117"> + <specifications xsi:type="org-fortiss-af3-timing-annotation:Wcet" xmi:id="215" id="215"/> + </value> + </deploymentParameterMap> <deploymentParameterMap> <key/> - <value xmi:id="176" id="176" component="12" executionUnit="117"> - <specifications xsi:type="org-fortiss-af3-timing-annotation:Wcet" xmi:id="177" id="177"/> + <value xmi:id="216" id="216" component="22" executionUnit="117"> + <specifications xsi:type="org-fortiss-af3-timing-annotation:Wcet" xmi:id="217" id="217"/> </value> </deploymentParameterMap> <deploymentParameterMap> <key/> - <value xmi:id="178" id="178" component="22" executionUnit="117"> - <specifications xsi:type="org-fortiss-af3-timing-annotation:Wcet" xmi:id="179" id="179"/> + <value xmi:id="218" id="218" component="12" executionUnit="117"> + <specifications xsi:type="org-fortiss-af3-timing-annotation:Wcet" xmi:id="219" id="219"/> </value> </deploymentParameterMap> <deploymentParameterMap> <key/> - <value xmi:id="180" id="180" component="27" executionUnit="117"> - <specifications xsi:type="org-fortiss-af3-timing-annotation:Wcet" xmi:id="181" id="181"/> + <value xmi:id="220" id="220" component="27" executionUnit="117"> + <specifications xsi:type="org-fortiss-af3-timing-annotation:Wcet" xmi:id="221" id="221"/> </value> </deploymentParameterMap> </rootElements>