Skip to content
Snippets Groups Projects
Commit 396b2555 authored by Florian Hölzl's avatar Florian Hölzl
Browse files

Updated test model for RasPi deployment. 


Signed-off-by: default avatarFlorian Hoelzl <hoelzl@fortiss.org>
parent 2e619cb1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
org.fortiss.af3.platform.raspberry/test-data/model/SCA-SingleUnit-Test.af3_23
+ 214
− 147
View file @ 396b2555
<?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>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment