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

Added test-model for Models conference plugin.

parent 0c209abc
No related branches found
No related tags found
No related merge requests found
<?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-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-modelsconference="http://www.fortiss.org/af3/platform/modelsconference" xmlns:org-fortiss-af3-platform-raspberry="http://www.fortiss.org/af3/platform/raspberry" 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-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="75" id="75" name="ModelsConference" af3Version="2.13.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"/>
</configurationElements>
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" xmi:id="3" id="3">
<development xsi:type="org-fortiss-af3-project-development:ConstraintBasedDevelopmentProcess" currentObjective="4" constraintInstanceContainer="3">
<configurations xmi:id="4" id="4" name="Default configuration"/>
</development>
</configurationElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-platform:PlatformArchitecture" xmi:id="9" id="9" name="Platform Architecture" comment="" referencedBy="//@rootElements.4/@platformArchitectureReference">
<containedElements xsi:type="org-fortiss-af3-platform-raspberry:RaspberryPi" xmi:id="25" id="25" name="Models Conference Board" canCoordinationID="255" ipAddress="192.168.21.241" coordinatorUnit="true" cycleTime="100">
<specifications xsi:type="org-fortiss-af3-platform-annotation:HardwareCost" xmi:id="39" id="39"/>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:Button" xmi:id="26" id="26" name="ButtonLeft" uid="BTN_LFT">
<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="36" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:Button" xmi:id="27" id="27" name="ButtonRight" uid="BTN_RGHT">
<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="36" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:Button" xmi:id="28" id="28" name="ButtonA" uid="BTN_A">
<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="120" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:Button" xmi:id="29" id="29" name="ButtonB" uid="BTN_B">
<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-modelsconference:Button" xmi:id="30" id="30" name="ButtonC" uid="BTN_C">
<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="192" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:Button" xmi:id="31" id="31" name="ButtonD" uid="BTN_D">
<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="228" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:LCD" xmi:id="32" id="32" name="LCD" uid="LCD">
<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="132"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:LED" xmi:id="33" id="33" name="LEDLeft" uid="LED_LFT">
<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="54" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:LED" xmi:id="34" id="34" name="LEDRight" uid="LED_RGHT">
<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="54" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:LED" xmi:id="35" id="35" name="LEDRed" uid="LED_RED">
<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="36" orientation="SOUTH"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:LED" xmi:id="36" id="36" name="LEDWhite" uid="LED_WHT">
<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="192" orientation="SOUTH"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:Poti" xmi:id="37" id="37" name="PotiLeft" uid="POTI_LFT">
<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="324" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-platform-modelsconference:Poti" xmi:id="38" id="38" name="PotiRight" uid="POTI_RGHT">
<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="324" orientation="EAST"/>
</connectors>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="372" y="132"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="320" height="400"/>
</containedElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" xmi:id="40" id="40"/>
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" xmi:id="41" id="41" name="Component Architecture" referencedBy="//@rootElements.4/@componentArchitectureReference">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="42" id="42" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="45" id="45" name="System" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="46" id="46"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="47" id="47"/>
<specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="48" id="48"/>
<specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="49" id="49"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="74" id="74">
<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="BtnLft"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
</guard>
<thenBlock>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="LghtLft"/>
<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="LghtLft"/>
<value xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</statements>
</elseBlock>
</statements>
<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="BtnRght"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
</guard>
<thenBlock>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="LghtRght"/>
<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="LghtRght"/>
<value xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</statements>
</elseBlock>
</statements>
<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="And"/>
<arguments 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="BtnA"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
</arguments>
<arguments 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="BtnB"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
</arguments>
</guard>
<thenBlock>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="LghtRd"/>
<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="LghtRd"/>
<value xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</statements>
</elseBlock>
</statements>
<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="And"/>
<arguments 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="BtnC"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
</arguments>
<arguments 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="BtnD"/>
<arguments xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
</arguments>
</guard>
<thenBlock>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="LghtWht"/>
<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="LghtWht"/>
<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="50" id="50" name="BtnLft" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="51" id="51">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="52" id="52" name="LghtLft" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="53" id="53">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="48" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="54" id="54" name="BtnRght" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="55" id="55">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="56" id="56" name="LghtRght" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="57" id="57">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="48" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="58" id="58" name="BtnA" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="59" id="59">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="132" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="60" id="60" name="BtnB" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="61" id="61">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="156" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="62" id="62" name="BtnC" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="63" id="63">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="180" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="64" id="64" name="BtnD" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="65" id="65">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="204" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="66" id="66" name="PtRght" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="67" id="67">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="312" orientation="EAST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="68" id="68" name="PtLft" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="69" id="69">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="312" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="70" id="70" name="LghtRd" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="71" id="71">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="36" orientation="SOUTH"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="72" id="72" name="LghtWht" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="73" id="73">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<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="132" orientation="SOUTH"/>
</connectors>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="312" y="168"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="385"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="43" id="43"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="44" id="44"/>
<specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="76" id="76"/>
<specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="77" id="77"/>
<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>
<specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="78" id="78"/>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-deployment:Deployment" xmi:id="79" id="79" name="Deployment">
<componentArchitectureReference reference="41"/>
<platformArchitectureReference reference="9"/>
<componentAllocations xmi:id="80" id="80" component="45" executionUnit="25">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</componentAllocations>
<portAllocations xsi:type="org-fortiss-af3-deployment:InputPortAllocation" inputPort="50" receiver="26"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:InputPortAllocation" inputPort="54" receiver="27"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:InputPortAllocation" inputPort="58" receiver="28"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:InputPortAllocation" inputPort="60" receiver="29"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:InputPortAllocation" inputPort="62" receiver="30"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:InputPortAllocation" inputPort="64" receiver="31"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="52" transmitter="33"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="56" transmitter="34"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="70" transmitter="35"/>
<portAllocations xsi:type="org-fortiss-af3-deployment:OutputPortAllocation" outputPort="72" transmitter="36"/>
<deploymentParameterMap>
<key/>
<value xmi:id="81" id="81" component="45" executionUnit="25">
<specifications xsi:type="org-fortiss-af3-timing-annotation:Wcet" xmi:id="82" id="82"/>
</value>
</deploymentParameterMap>
</rootElements>
</org-fortiss-af3-project:FileProject>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment