From f35771a55538b3d103c921ba5b7ba1464f6f9e48 Mon Sep 17 00:00:00 2001
From: Letitia Li <letitia.li@telecom-paristech.fr>
Date: Tue, 12 Sep 2017 15:45:33 +0200
Subject: [PATCH] Added new tutorial model
---
modeling/SysMLSec/AliceAndBobHW.xml | 4125 +++++++++++++++++
.../tmltranslator/toavatar/TML2Avatar.java | 7 +-
.../ui/tmlcompd/TMLCPrimitiveComponent.java | 2 +-
src/main/resources/ui/util/attacker.gif | Bin 94 -> 151 bytes
4 files changed, 4131 insertions(+), 3 deletions(-)
create mode 100644 modeling/SysMLSec/AliceAndBobHW.xml
diff --git a/modeling/SysMLSec/AliceAndBobHW.xml b/modeling/SysMLSec/AliceAndBobHW.xml
new file mode 100644
index 0000000000..1dd1696e75
--- /dev/null
+++ b/modeling/SysMLSec/AliceAndBobHW.xml
@@ -0,0 +1,4125 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+
+<TURTLEGMODELING version="0.99-beta4">
+
+<Modeling type="TML Component Design" nameTab="SymmetricExchange" >
+<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="10" maxX="2500" minY="10" maxY="1500" channels="true" events="true" requests="true" zoom="1.0" >
+<CONNECTOR type="126" id="1" >
+<cdparam x="392" y="173" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="Connector between ports" />
+<P1 x="412" y="188" id="13" />
+<P2 x="466" y="188" id="2" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1202" id="12" >
+<cdparam x="479" y="119" />
+<sizeparam width="133" height="134" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Bob" />
+<TGConnectingPoint num="0" id="4" />
+<TGConnectingPoint num="1" id="5" />
+<TGConnectingPoint num="2" id="6" />
+<TGConnectingPoint num="3" id="7" />
+<TGConnectingPoint num="4" id="8" />
+<TGConnectingPoint num="5" id="9" />
+<TGConnectingPoint num="6" id="10" />
+<TGConnectingPoint num="7" id="11" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="3" >
+<father id="12" num="0" />
+<cdparam x="466" y="175" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="120" minY="-13" maxY="121" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="2" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="2" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1202" id="23" >
+<cdparam x="243" y="121" />
+<sizeparam width="156" height="129" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Alice" />
+<TGConnectingPoint num="0" id="15" />
+<TGConnectingPoint num="1" id="16" />
+<TGConnectingPoint num="2" id="17" />
+<TGConnectingPoint num="3" id="18" />
+<TGConnectingPoint num="4" id="19" />
+<TGConnectingPoint num="5" id="20" />
+<TGConnectingPoint num="6" id="21" />
+<TGConnectingPoint num="7" id="22" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="14" >
+<father id="23" num="0" />
+<cdparam x="386" y="175" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="143" minY="-13" maxY="116" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="13" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="2" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+
+</TMLComponentTaskDiagramPanel>
+
+<TMLActivityDiagramPanel name="Bob" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="1001" id="25" >
+<cdparam x="398" y="199" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="24" />
+</COMPONENT>
+
+<COMPONENT type="1036" id="28" >
+<cdparam x="401" y="148" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="decrypt" value="null" />
+<TGConnectingPoint num="0" id="26" />
+<TGConnectingPoint num="1" id="27" />
+<extraparam>
+<Data secPattern="sym" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1009" id="31" >
+<cdparam x="373" y="99" />
+<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm(1) " />
+<TGConnectingPoint num="0" id="29" />
+<TGConnectingPoint num="1" id="30" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="sym" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1000" id="33" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="32" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="34" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="32" />
+<P2 x="407" y="94" id="29" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="35" >
+<cdparam x="407" y="124" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="124" id="30" />
+<P2 x="408" y="143" id="26" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="36" >
+<cdparam x="408" y="193" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="408" y="193" id="27" />
+<P2 x="408" y="194" id="24" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+<TMLActivityDiagramPanel name="Alice" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="1035" id="39" >
+<cdparam x="400" y="100" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="encrypt" value="null" />
+<TGConnectingPoint num="0" id="37" />
+<TGConnectingPoint num="1" id="38" />
+<extraparam>
+<Data secContext="sym" type="Symmetric Encryption" overhead="" size="" encTime="100" decTime="100" nonce="" key="" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1006" id="42" >
+<cdparam x="375" y="174" />
+<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm(1)" />
+<TGConnectingPoint num="0" id="40" />
+<TGConnectingPoint num="1" id="41" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="sym" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="44" >
+<cdparam x="397" y="223" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="43" />
+</COMPONENT>
+
+<COMPONENT type="1000" id="46" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="45" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="47" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="45" />
+<P2 x="407" y="95" id="37" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="48" >
+<cdparam x="407" y="140" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="145" id="38" />
+<P2 x="407" y="169" id="40" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="49" >
+<cdparam x="401" y="201" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="199" id="41" />
+<P2 x="407" y="218" id="43" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Architecture" nameTab="SymExchangeArch" >
+<TMLArchiDiagramPanel name="DIPLODOCUS architecture and mapping Diagram" minX="10" maxX="2500" minY="10" maxY="1500" attributes="0" masterClockFrequency="200" >
+<COMPONENT type="1105" id="83" >
+<cdparam x="838" y="169" />
+<sizeparam width="120" height="96" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory1" value="name" />
+<TGConnectingPoint num="0" id="59" />
+<TGConnectingPoint num="1" id="60" />
+<TGConnectingPoint num="2" id="61" />
+<TGConnectingPoint num="3" id="62" />
+<TGConnectingPoint num="4" id="63" />
+<TGConnectingPoint num="5" id="64" />
+<TGConnectingPoint num="6" id="65" />
+<TGConnectingPoint num="7" id="66" />
+<TGConnectingPoint num="8" id="67" />
+<TGConnectingPoint num="9" id="68" />
+<TGConnectingPoint num="10" id="69" />
+<TGConnectingPoint num="11" id="70" />
+<TGConnectingPoint num="12" id="71" />
+<TGConnectingPoint num="13" id="72" />
+<TGConnectingPoint num="14" id="73" />
+<TGConnectingPoint num="15" id="74" />
+<TGConnectingPoint num="16" id="75" />
+<TGConnectingPoint num="17" id="76" />
+<TGConnectingPoint num="18" id="77" />
+<TGConnectingPoint num="19" id="78" />
+<TGConnectingPoint num="20" id="79" />
+<TGConnectingPoint num="21" id="80" />
+<TGConnectingPoint num="22" id="81" />
+<TGConnectingPoint num="23" id="82" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory1" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="58" >
+<father id="83" num="0" />
+<cdparam x="854" y="212" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="45" minY="0" maxY="56" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="50" />
+<TGConnectingPoint num="1" id="51" />
+<TGConnectingPoint num="2" id="52" />
+<TGConnectingPoint num="3" id="53" />
+<TGConnectingPoint num="4" id="54" />
+<TGConnectingPoint num="5" id="55" />
+<TGConnectingPoint num="6" id="56" />
+<TGConnectingPoint num="7" id="57" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="0" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1105" id="117" >
+<cdparam x="207" y="248" />
+<sizeparam width="109" height="97" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory0" value="name" />
+<TGConnectingPoint num="0" id="93" />
+<TGConnectingPoint num="1" id="94" />
+<TGConnectingPoint num="2" id="95" />
+<TGConnectingPoint num="3" id="96" />
+<TGConnectingPoint num="4" id="97" />
+<TGConnectingPoint num="5" id="98" />
+<TGConnectingPoint num="6" id="99" />
+<TGConnectingPoint num="7" id="100" />
+<TGConnectingPoint num="8" id="101" />
+<TGConnectingPoint num="9" id="102" />
+<TGConnectingPoint num="10" id="103" />
+<TGConnectingPoint num="11" id="104" />
+<TGConnectingPoint num="12" id="105" />
+<TGConnectingPoint num="13" id="106" />
+<TGConnectingPoint num="14" id="107" />
+<TGConnectingPoint num="15" id="108" />
+<TGConnectingPoint num="16" id="109" />
+<TGConnectingPoint num="17" id="110" />
+<TGConnectingPoint num="18" id="111" />
+<TGConnectingPoint num="19" id="112" />
+<TGConnectingPoint num="20" id="113" />
+<TGConnectingPoint num="21" id="114" />
+<TGConnectingPoint num="22" id="115" />
+<TGConnectingPoint num="23" id="116" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory0" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="92" >
+<father id="117" num="0" />
+<cdparam x="221" y="297" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="34" minY="0" maxY="57" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="84" />
+<TGConnectingPoint num="1" id="85" />
+<TGConnectingPoint num="2" id="86" />
+<TGConnectingPoint num="3" id="87" />
+<TGConnectingPoint num="4" id="88" />
+<TGConnectingPoint num="5" id="89" />
+<TGConnectingPoint num="6" id="90" />
+<TGConnectingPoint num="7" id="91" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="5" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1102" id="142" >
+<cdparam x="191" y="182" />
+<sizeparam width="140" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus0" value="name" />
+<TGConnectingPoint num="0" id="118" />
+<TGConnectingPoint num="1" id="119" />
+<TGConnectingPoint num="2" id="120" />
+<TGConnectingPoint num="3" id="121" />
+<TGConnectingPoint num="4" id="122" />
+<TGConnectingPoint num="5" id="123" />
+<TGConnectingPoint num="6" id="124" />
+<TGConnectingPoint num="7" id="125" />
+<TGConnectingPoint num="8" id="126" />
+<TGConnectingPoint num="9" id="127" />
+<TGConnectingPoint num="10" id="128" />
+<TGConnectingPoint num="11" id="129" />
+<TGConnectingPoint num="12" id="130" />
+<TGConnectingPoint num="13" id="131" />
+<TGConnectingPoint num="14" id="132" />
+<TGConnectingPoint num="15" id="133" />
+<TGConnectingPoint num="16" id="134" />
+<TGConnectingPoint num="17" id="135" />
+<TGConnectingPoint num="18" id="136" />
+<TGConnectingPoint num="19" id="137" />
+<TGConnectingPoint num="20" id="138" />
+<TGConnectingPoint num="21" id="139" />
+<TGConnectingPoint num="22" id="140" />
+<TGConnectingPoint num="23" id="141" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus0" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="167" >
+<cdparam x="760" y="287" />
+<sizeparam width="165" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus1" value="name" />
+<TGConnectingPoint num="0" id="143" />
+<TGConnectingPoint num="1" id="144" />
+<TGConnectingPoint num="2" id="145" />
+<TGConnectingPoint num="3" id="146" />
+<TGConnectingPoint num="4" id="147" />
+<TGConnectingPoint num="5" id="148" />
+<TGConnectingPoint num="6" id="149" />
+<TGConnectingPoint num="7" id="150" />
+<TGConnectingPoint num="8" id="151" />
+<TGConnectingPoint num="9" id="152" />
+<TGConnectingPoint num="10" id="153" />
+<TGConnectingPoint num="11" id="154" />
+<TGConnectingPoint num="12" id="155" />
+<TGConnectingPoint num="13" id="156" />
+<TGConnectingPoint num="14" id="157" />
+<TGConnectingPoint num="15" id="158" />
+<TGConnectingPoint num="16" id="159" />
+<TGConnectingPoint num="17" id="160" />
+<TGConnectingPoint num="18" id="161" />
+<TGConnectingPoint num="19" id="162" />
+<TGConnectingPoint num="20" id="163" />
+<TGConnectingPoint num="21" id="164" />
+<TGConnectingPoint num="22" id="165" />
+<TGConnectingPoint num="23" id="166" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus1" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="192" >
+<cdparam x="488" y="302" />
+<sizeparam width="170" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="ExternalBus" value="name" />
+<TGConnectingPoint num="0" id="168" />
+<TGConnectingPoint num="1" id="169" />
+<TGConnectingPoint num="2" id="170" />
+<TGConnectingPoint num="3" id="171" />
+<TGConnectingPoint num="4" id="172" />
+<TGConnectingPoint num="5" id="173" />
+<TGConnectingPoint num="6" id="174" />
+<TGConnectingPoint num="7" id="175" />
+<TGConnectingPoint num="8" id="176" />
+<TGConnectingPoint num="9" id="177" />
+<TGConnectingPoint num="10" id="178" />
+<TGConnectingPoint num="11" id="179" />
+<TGConnectingPoint num="12" id="180" />
+<TGConnectingPoint num="13" id="181" />
+<TGConnectingPoint num="14" id="182" />
+<TGConnectingPoint num="15" id="183" />
+<TGConnectingPoint num="16" id="184" />
+<TGConnectingPoint num="17" id="185" />
+<TGConnectingPoint num="18" id="186" />
+<TGConnectingPoint num="19" id="187" />
+<TGConnectingPoint num="20" id="188" />
+<TGConnectingPoint num="21" id="189" />
+<TGConnectingPoint num="22" id="190" />
+<TGConnectingPoint num="23" id="191" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="ExternalBus" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="0" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1100" id="226" >
+<cdparam x="612" y="169" />
+<sizeparam width="208" height="101" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUAlice" value="name" />
+<TGConnectingPoint num="0" id="202" />
+<TGConnectingPoint num="1" id="203" />
+<TGConnectingPoint num="2" id="204" />
+<TGConnectingPoint num="3" id="205" />
+<TGConnectingPoint num="4" id="206" />
+<TGConnectingPoint num="5" id="207" />
+<TGConnectingPoint num="6" id="208" />
+<TGConnectingPoint num="7" id="209" />
+<TGConnectingPoint num="8" id="210" />
+<TGConnectingPoint num="9" id="211" />
+<TGConnectingPoint num="10" id="212" />
+<TGConnectingPoint num="11" id="213" />
+<TGConnectingPoint num="12" id="214" />
+<TGConnectingPoint num="13" id="215" />
+<TGConnectingPoint num="14" id="216" />
+<TGConnectingPoint num="15" id="217" />
+<TGConnectingPoint num="16" id="218" />
+<TGConnectingPoint num="17" id="219" />
+<TGConnectingPoint num="18" id="220" />
+<TGConnectingPoint num="19" id="221" />
+<TGConnectingPoint num="20" id="222" />
+<TGConnectingPoint num="21" id="223" />
+<TGConnectingPoint num="22" id="224" />
+<TGConnectingPoint num="23" id="225" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUAlice" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="201" >
+<father id="226" num="0" />
+<cdparam x="618" y="211" />
+<sizeparam width="197" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="11" minY="0" maxY="61" />
+<infoparam name="TGComponent" value="SymmetricExchange::Alice" />
+<TGConnectingPoint num="0" id="193" />
+<TGConnectingPoint num="1" id="194" />
+<TGConnectingPoint num="2" id="195" />
+<TGConnectingPoint num="3" id="196" />
+<TGConnectingPoint num="4" id="197" />
+<TGConnectingPoint num="5" id="198" />
+<TGConnectingPoint num="6" id="199" />
+<TGConnectingPoint num="7" id="200" />
+<extraparam>
+<info value="SymmetricExchange::Alice" taskName="Alice" referenceTaskName="SymmetricExchange" priority="0" operation="A" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1100" id="260" >
+<cdparam x="376" y="176" />
+<sizeparam width="212" height="102" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUBob" value="name" />
+<TGConnectingPoint num="0" id="236" />
+<TGConnectingPoint num="1" id="237" />
+<TGConnectingPoint num="2" id="238" />
+<TGConnectingPoint num="3" id="239" />
+<TGConnectingPoint num="4" id="240" />
+<TGConnectingPoint num="5" id="241" />
+<TGConnectingPoint num="6" id="242" />
+<TGConnectingPoint num="7" id="243" />
+<TGConnectingPoint num="8" id="244" />
+<TGConnectingPoint num="9" id="245" />
+<TGConnectingPoint num="10" id="246" />
+<TGConnectingPoint num="11" id="247" />
+<TGConnectingPoint num="12" id="248" />
+<TGConnectingPoint num="13" id="249" />
+<TGConnectingPoint num="14" id="250" />
+<TGConnectingPoint num="15" id="251" />
+<TGConnectingPoint num="16" id="252" />
+<TGConnectingPoint num="17" id="253" />
+<TGConnectingPoint num="18" id="254" />
+<TGConnectingPoint num="19" id="255" />
+<TGConnectingPoint num="20" id="256" />
+<TGConnectingPoint num="21" id="257" />
+<TGConnectingPoint num="22" id="258" />
+<TGConnectingPoint num="23" id="259" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUBob" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="235" >
+<father id="260" num="0" />
+<cdparam x="388" y="228" />
+<sizeparam width="192" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="20" minY="0" maxY="62" />
+<infoparam name="TGComponent" value="SymmetricExchange::Bob" />
+<TGConnectingPoint num="0" id="227" />
+<TGConnectingPoint num="1" id="228" />
+<TGConnectingPoint num="2" id="229" />
+<TGConnectingPoint num="3" id="230" />
+<TGConnectingPoint num="4" id="231" />
+<TGConnectingPoint num="5" id="232" />
+<TGConnectingPoint num="6" id="233" />
+<TGConnectingPoint num="7" id="234" />
+<extraparam>
+<info value="SymmetricExchange::Bob" taskName="Bob" referenceTaskName="SymmetricExchange" priority="0" operation="B" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="125" id="261" >
+<cdparam x="700" y="273" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="664" y="270" id="216" />
+<P2 x="615" y="302" id="177" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="262" >
+<cdparam x="348" y="226" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="376" y="227" id="239" />
+<P2 x="331" y="207" id="122" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="263" >
+<cdparam x="879" y="288" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="768" y="270" id="217" />
+<P2 x="760" y="312" id="146" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="264" >
+<cdparam x="1218" y="258" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="898" y="265" id="65" />
+<P2 x="883" y="287" id="152" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="265" >
+<cdparam x="17" y="248" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="261" y="248" id="94" />
+<P2 x="261" y="232" id="124" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="266" >
+<cdparam x="525" y="278" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="429" y="278" id="250" />
+<P2 x="530" y="302" id="176" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+
+</TMLArchiDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Component Design" nameTab="nonce" >
+<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="10" maxX="2500" minY="10" maxY="1500" channels="true" events="true" requests="true" zoom="1.0" >
+<CONNECTOR type="126" id="267" >
+<cdparam x="405" y="223" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="Connector between ports" />
+<P1 x="405" y="223" id="282" />
+<P2 x="466" y="223" id="269" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="126" id="268" >
+<cdparam x="405" y="166" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="Connector between ports" />
+<P1 x="405" y="166" id="284" />
+<P2 x="466" y="166" id="271" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1202" id="281" >
+<cdparam x="479" y="103" />
+<sizeparam width="200" height="150" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Bob" />
+<TGConnectingPoint num="0" id="273" />
+<TGConnectingPoint num="1" id="274" />
+<TGConnectingPoint num="2" id="275" />
+<TGConnectingPoint num="3" id="276" />
+<TGConnectingPoint num="4" id="277" />
+<TGConnectingPoint num="5" id="278" />
+<TGConnectingPoint num="6" id="279" />
+<TGConnectingPoint num="7" id="280" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="270" >
+<father id="281" num="0" />
+<cdparam x="466" y="210" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="137" />
+<infoparam name="Primitive port" value="Channel comm2" />
+<TGConnectingPoint num="0" id="269" />
+<extraparam>
+<Prop commName="comm2" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+<SUBCOMPONENT type="1203" id="272" >
+<father id="281" num="1" />
+<cdparam x="466" y="153" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="137" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="271" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="2" checkAuth="true" checkWeakAuthStatus="2" checkStrongAuthStatus="2" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1202" id="294" >
+<cdparam x="192" y="92" />
+<sizeparam width="200" height="150" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Alice" />
+<TGConnectingPoint num="0" id="286" />
+<TGConnectingPoint num="1" id="287" />
+<TGConnectingPoint num="2" id="288" />
+<TGConnectingPoint num="3" id="289" />
+<TGConnectingPoint num="4" id="290" />
+<TGConnectingPoint num="5" id="291" />
+<TGConnectingPoint num="6" id="292" />
+<TGConnectingPoint num="7" id="293" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="283" >
+<father id="294" num="0" />
+<cdparam x="379" y="210" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="137" />
+<infoparam name="Primitive port" value="Channel comm2" />
+<TGConnectingPoint num="0" id="282" />
+<extraparam>
+<Prop commName="comm2" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+<SUBCOMPONENT type="1203" id="285" >
+<father id="294" num="1" />
+<cdparam x="379" y="153" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="137" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="284" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="2" checkStrongAuthStatus="2" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+
+</TMLComponentTaskDiagramPanel>
+
+<TMLActivityDiagramPanel name="Bob" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="1035" id="297" >
+<cdparam x="399" y="313" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="encrypt" value="null" />
+<TGConnectingPoint num="0" id="295" />
+<TGConnectingPoint num="1" id="296" />
+<extraparam>
+<Data secContext="sym" type="Symmetric Encryption" overhead="" size="" encTime="100" decTime="100" nonce="n" key="" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1009" id="300" >
+<cdparam x="368" y="251" />
+<sizeparam width="77" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm2(1) " />
+<TGConnectingPoint num="0" id="298" />
+<TGConnectingPoint num="1" id="299" />
+<extraparam>
+<Data channelName="comm2" nbOfSamples="1" secPattern="n" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="302" >
+<cdparam x="396" y="456" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="301" />
+</COMPONENT>
+
+<COMPONENT type="1006" id="305" >
+<cdparam x="374" y="391" />
+<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm(1)" />
+<TGConnectingPoint num="0" id="303" />
+<TGConnectingPoint num="1" id="304" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="sym" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1000" id="307" >
+<cdparam x="399" y="169" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="306" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="308" >
+<cdparam x="406" y="358" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="406" y="358" id="296" />
+<P2 x="406" y="386" id="303" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="309" >
+<cdparam x="406" y="276" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="406" y="276" id="299" />
+<P2 x="406" y="308" id="295" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="310" >
+<cdparam x="406" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="406" y="189" id="306" />
+<P2 x="406" y="246" id="298" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="311" >
+<cdparam x="406" y="416" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="406" y="416" id="304" />
+<P2 x="406" y="451" id="301" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+<TMLActivityDiagramPanel name="Alice" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="1036" id="314" >
+<cdparam x="396" y="441" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="decrypt" value="null" />
+<TGConnectingPoint num="0" id="312" />
+<TGConnectingPoint num="1" id="313" />
+<extraparam>
+<Data secPattern="sym" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1035" id="317" >
+<cdparam x="396" y="244" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="encrypt" value="null" />
+<TGConnectingPoint num="0" id="315" />
+<TGConnectingPoint num="1" id="316" />
+<extraparam>
+<Data secContext="n" type="Nonce" overhead="" size="11" encTime="100" decTime="100" nonce="" key="" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1006" id="320" >
+<cdparam x="367" y="313" />
+<sizeparam width="73" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm2(1)" />
+<TGConnectingPoint num="0" id="318" />
+<TGConnectingPoint num="1" id="319" />
+<extraparam>
+<Data channelName="comm2" nbOfSamples="1" secPattern="n" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="322" >
+<cdparam x="393" y="509" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="321" />
+</COMPONENT>
+
+<COMPONENT type="1009" id="325" >
+<cdparam x="369" y="387" />
+<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm(1) " />
+<TGConnectingPoint num="0" id="323" />
+<TGConnectingPoint num="1" id="324" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="sym" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1000" id="327" >
+<cdparam x="396" y="184" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="326" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="328" >
+<cdparam x="403" y="486" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="403" y="486" id="313" />
+<P2 x="403" y="504" id="321" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="329" >
+<cdparam x="403" y="412" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="403" y="412" id="324" />
+<P2 x="403" y="436" id="312" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="330" >
+<cdparam x="403" y="289" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="403" y="289" id="316" />
+<P2 x="403" y="308" id="318" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="331" >
+<cdparam x="403" y="204" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="403" y="204" id="326" />
+<P2 x="403" y="239" id="315" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="332" >
+<cdparam x="407" y="338" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="403" y="338" id="319" />
+<P2 x="403" y="382" id="323" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Architecture" nameTab="NonceArch" >
+<TMLArchiDiagramPanel name="DIPLODOCUS architecture and mapping Diagram" minX="10" maxX="2500" minY="10" maxY="1500" attributes="0" masterClockFrequency="200" >
+<COMPONENT type="1105" id="366" >
+<cdparam x="583" y="388" />
+<sizeparam width="200" height="116" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory1" value="name" />
+<TGConnectingPoint num="0" id="342" />
+<TGConnectingPoint num="1" id="343" />
+<TGConnectingPoint num="2" id="344" />
+<TGConnectingPoint num="3" id="345" />
+<TGConnectingPoint num="4" id="346" />
+<TGConnectingPoint num="5" id="347" />
+<TGConnectingPoint num="6" id="348" />
+<TGConnectingPoint num="7" id="349" />
+<TGConnectingPoint num="8" id="350" />
+<TGConnectingPoint num="9" id="351" />
+<TGConnectingPoint num="10" id="352" />
+<TGConnectingPoint num="11" id="353" />
+<TGConnectingPoint num="12" id="354" />
+<TGConnectingPoint num="13" id="355" />
+<TGConnectingPoint num="14" id="356" />
+<TGConnectingPoint num="15" id="357" />
+<TGConnectingPoint num="16" id="358" />
+<TGConnectingPoint num="17" id="359" />
+<TGConnectingPoint num="18" id="360" />
+<TGConnectingPoint num="19" id="361" />
+<TGConnectingPoint num="20" id="362" />
+<TGConnectingPoint num="21" id="363" />
+<TGConnectingPoint num="22" id="364" />
+<TGConnectingPoint num="23" id="365" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory1" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="341" >
+<father id="366" num="0" />
+<cdparam x="644" y="432" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="125" minY="0" maxY="76" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="333" />
+<TGConnectingPoint num="1" id="334" />
+<TGConnectingPoint num="2" id="335" />
+<TGConnectingPoint num="3" id="336" />
+<TGConnectingPoint num="4" id="337" />
+<TGConnectingPoint num="5" id="338" />
+<TGConnectingPoint num="6" id="339" />
+<TGConnectingPoint num="7" id="340" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="0" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1105" id="400" >
+<cdparam x="235" y="361" />
+<sizeparam width="200" height="146" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory0" value="name" />
+<TGConnectingPoint num="0" id="376" />
+<TGConnectingPoint num="1" id="377" />
+<TGConnectingPoint num="2" id="378" />
+<TGConnectingPoint num="3" id="379" />
+<TGConnectingPoint num="4" id="380" />
+<TGConnectingPoint num="5" id="381" />
+<TGConnectingPoint num="6" id="382" />
+<TGConnectingPoint num="7" id="383" />
+<TGConnectingPoint num="8" id="384" />
+<TGConnectingPoint num="9" id="385" />
+<TGConnectingPoint num="10" id="386" />
+<TGConnectingPoint num="11" id="387" />
+<TGConnectingPoint num="12" id="388" />
+<TGConnectingPoint num="13" id="389" />
+<TGConnectingPoint num="14" id="390" />
+<TGConnectingPoint num="15" id="391" />
+<TGConnectingPoint num="16" id="392" />
+<TGConnectingPoint num="17" id="393" />
+<TGConnectingPoint num="18" id="394" />
+<TGConnectingPoint num="19" id="395" />
+<TGConnectingPoint num="20" id="396" />
+<TGConnectingPoint num="21" id="397" />
+<TGConnectingPoint num="22" id="398" />
+<TGConnectingPoint num="23" id="399" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory0" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="375" >
+<father id="400" num="0" />
+<cdparam x="295" y="431" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="125" minY="0" maxY="106" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="367" />
+<TGConnectingPoint num="1" id="368" />
+<TGConnectingPoint num="2" id="369" />
+<TGConnectingPoint num="3" id="370" />
+<TGConnectingPoint num="4" id="371" />
+<TGConnectingPoint num="5" id="372" />
+<TGConnectingPoint num="6" id="373" />
+<TGConnectingPoint num="7" id="374" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="5" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1102" id="425" >
+<cdparam x="234" y="296" />
+<sizeparam width="163" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus0" value="name" />
+<TGConnectingPoint num="0" id="401" />
+<TGConnectingPoint num="1" id="402" />
+<TGConnectingPoint num="2" id="403" />
+<TGConnectingPoint num="3" id="404" />
+<TGConnectingPoint num="4" id="405" />
+<TGConnectingPoint num="5" id="406" />
+<TGConnectingPoint num="6" id="407" />
+<TGConnectingPoint num="7" id="408" />
+<TGConnectingPoint num="8" id="409" />
+<TGConnectingPoint num="9" id="410" />
+<TGConnectingPoint num="10" id="411" />
+<TGConnectingPoint num="11" id="412" />
+<TGConnectingPoint num="12" id="413" />
+<TGConnectingPoint num="13" id="414" />
+<TGConnectingPoint num="14" id="415" />
+<TGConnectingPoint num="15" id="416" />
+<TGConnectingPoint num="16" id="417" />
+<TGConnectingPoint num="17" id="418" />
+<TGConnectingPoint num="18" id="419" />
+<TGConnectingPoint num="19" id="420" />
+<TGConnectingPoint num="20" id="421" />
+<TGConnectingPoint num="21" id="422" />
+<TGConnectingPoint num="22" id="423" />
+<TGConnectingPoint num="23" id="424" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus0" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="450" >
+<cdparam x="633" y="295" />
+<sizeparam width="150" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus1" value="name" />
+<TGConnectingPoint num="0" id="426" />
+<TGConnectingPoint num="1" id="427" />
+<TGConnectingPoint num="2" id="428" />
+<TGConnectingPoint num="3" id="429" />
+<TGConnectingPoint num="4" id="430" />
+<TGConnectingPoint num="5" id="431" />
+<TGConnectingPoint num="6" id="432" />
+<TGConnectingPoint num="7" id="433" />
+<TGConnectingPoint num="8" id="434" />
+<TGConnectingPoint num="9" id="435" />
+<TGConnectingPoint num="10" id="436" />
+<TGConnectingPoint num="11" id="437" />
+<TGConnectingPoint num="12" id="438" />
+<TGConnectingPoint num="13" id="439" />
+<TGConnectingPoint num="14" id="440" />
+<TGConnectingPoint num="15" id="441" />
+<TGConnectingPoint num="16" id="442" />
+<TGConnectingPoint num="17" id="443" />
+<TGConnectingPoint num="18" id="444" />
+<TGConnectingPoint num="19" id="445" />
+<TGConnectingPoint num="20" id="446" />
+<TGConnectingPoint num="21" id="447" />
+<TGConnectingPoint num="22" id="448" />
+<TGConnectingPoint num="23" id="449" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus1" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="475" >
+<cdparam x="407" y="295" />
+<sizeparam width="214" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="ExternalBus" value="name" />
+<TGConnectingPoint num="0" id="451" />
+<TGConnectingPoint num="1" id="452" />
+<TGConnectingPoint num="2" id="453" />
+<TGConnectingPoint num="3" id="454" />
+<TGConnectingPoint num="4" id="455" />
+<TGConnectingPoint num="5" id="456" />
+<TGConnectingPoint num="6" id="457" />
+<TGConnectingPoint num="7" id="458" />
+<TGConnectingPoint num="8" id="459" />
+<TGConnectingPoint num="9" id="460" />
+<TGConnectingPoint num="10" id="461" />
+<TGConnectingPoint num="11" id="462" />
+<TGConnectingPoint num="12" id="463" />
+<TGConnectingPoint num="13" id="464" />
+<TGConnectingPoint num="14" id="465" />
+<TGConnectingPoint num="15" id="466" />
+<TGConnectingPoint num="16" id="467" />
+<TGConnectingPoint num="17" id="468" />
+<TGConnectingPoint num="18" id="469" />
+<TGConnectingPoint num="19" id="470" />
+<TGConnectingPoint num="20" id="471" />
+<TGConnectingPoint num="21" id="472" />
+<TGConnectingPoint num="22" id="473" />
+<TGConnectingPoint num="23" id="474" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="ExternalBus" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="0" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1100" id="509" >
+<cdparam x="527" y="179" />
+<sizeparam width="150" height="100" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUAlice" value="name" />
+<TGConnectingPoint num="0" id="485" />
+<TGConnectingPoint num="1" id="486" />
+<TGConnectingPoint num="2" id="487" />
+<TGConnectingPoint num="3" id="488" />
+<TGConnectingPoint num="4" id="489" />
+<TGConnectingPoint num="5" id="490" />
+<TGConnectingPoint num="6" id="491" />
+<TGConnectingPoint num="7" id="492" />
+<TGConnectingPoint num="8" id="493" />
+<TGConnectingPoint num="9" id="494" />
+<TGConnectingPoint num="10" id="495" />
+<TGConnectingPoint num="11" id="496" />
+<TGConnectingPoint num="12" id="497" />
+<TGConnectingPoint num="13" id="498" />
+<TGConnectingPoint num="14" id="499" />
+<TGConnectingPoint num="15" id="500" />
+<TGConnectingPoint num="16" id="501" />
+<TGConnectingPoint num="17" id="502" />
+<TGConnectingPoint num="18" id="503" />
+<TGConnectingPoint num="19" id="504" />
+<TGConnectingPoint num="20" id="505" />
+<TGConnectingPoint num="21" id="506" />
+<TGConnectingPoint num="22" id="507" />
+<TGConnectingPoint num="23" id="508" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUAlice" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="484" >
+<father id="509" num="0" />
+<cdparam x="555" y="222" />
+<sizeparam width="106" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="44" minY="0" maxY="60" />
+<infoparam name="TGComponent" value="nonce::Bob" />
+<TGConnectingPoint num="0" id="476" />
+<TGConnectingPoint num="1" id="477" />
+<TGConnectingPoint num="2" id="478" />
+<TGConnectingPoint num="3" id="479" />
+<TGConnectingPoint num="4" id="480" />
+<TGConnectingPoint num="5" id="481" />
+<TGConnectingPoint num="6" id="482" />
+<TGConnectingPoint num="7" id="483" />
+<extraparam>
+<info value="nonce::Bob" taskName="Bob" referenceTaskName="nonce" priority="0" operation="comp3" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1100" id="543" >
+<cdparam x="326" y="177" />
+<sizeparam width="173" height="100" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUBob" value="name" />
+<TGConnectingPoint num="0" id="519" />
+<TGConnectingPoint num="1" id="520" />
+<TGConnectingPoint num="2" id="521" />
+<TGConnectingPoint num="3" id="522" />
+<TGConnectingPoint num="4" id="523" />
+<TGConnectingPoint num="5" id="524" />
+<TGConnectingPoint num="6" id="525" />
+<TGConnectingPoint num="7" id="526" />
+<TGConnectingPoint num="8" id="527" />
+<TGConnectingPoint num="9" id="528" />
+<TGConnectingPoint num="10" id="529" />
+<TGConnectingPoint num="11" id="530" />
+<TGConnectingPoint num="12" id="531" />
+<TGConnectingPoint num="13" id="532" />
+<TGConnectingPoint num="14" id="533" />
+<TGConnectingPoint num="15" id="534" />
+<TGConnectingPoint num="16" id="535" />
+<TGConnectingPoint num="17" id="536" />
+<TGConnectingPoint num="18" id="537" />
+<TGConnectingPoint num="19" id="538" />
+<TGConnectingPoint num="20" id="539" />
+<TGConnectingPoint num="21" id="540" />
+<TGConnectingPoint num="22" id="541" />
+<TGConnectingPoint num="23" id="542" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUBob" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="518" >
+<father id="543" num="0" />
+<cdparam x="372" y="225" />
+<sizeparam width="111" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="62" minY="0" maxY="60" />
+<infoparam name="TGComponent" value="nonce::Alice" />
+<TGConnectingPoint num="0" id="510" />
+<TGConnectingPoint num="1" id="511" />
+<TGConnectingPoint num="2" id="512" />
+<TGConnectingPoint num="3" id="513" />
+<TGConnectingPoint num="4" id="514" />
+<TGConnectingPoint num="5" id="515" />
+<TGConnectingPoint num="6" id="516" />
+<TGConnectingPoint num="7" id="517" />
+<extraparam>
+<info value="nonce::Alice" taskName="Alice" referenceTaskName="nonce" priority="0" operation="comp3" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="125" id="544" >
+<cdparam x="714" y="279" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="639" y="279" id="500" />
+<P2 x="670" y="295" id="434" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="545" >
+<cdparam x="871" y="425" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="683" y="388" id="343" />
+<P2 x="708" y="345" id="432" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="546" >
+<cdparam x="254" y="418" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="335" y="361" id="377" />
+<P2 x="315" y="346" id="407" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="547" >
+<cdparam x="388" y="277" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="369" y="277" id="533" />
+<P2 x="356" y="296" id="410" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="548" >
+<cdparam x="576" y="274" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="564" y="279" id="499" />
+<P2 x="567" y="295" id="460" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="549" >
+<cdparam x="513" y="277" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="455" y="277" id="534" />
+<P2 x="460" y="295" id="459" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+
+</TMLArchiDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Component Design" nameTab="KeyExchange" >
+<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="10" maxX="2500" minY="10" maxY="1500" channels="true" events="true" requests="true" zoom="1.0" >
+<CONNECTOR type="126" id="550" >
+<cdparam x="404" y="206" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="Connector between ports" />
+<P1 x="404" y="206" id="562" />
+<P2 x="480" y="206" id="551" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1202" id="561" >
+<cdparam x="493" y="137" />
+<sizeparam width="200" height="150" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Bob" />
+<TGConnectingPoint num="0" id="553" />
+<TGConnectingPoint num="1" id="554" />
+<TGConnectingPoint num="2" id="555" />
+<TGConnectingPoint num="3" id="556" />
+<TGConnectingPoint num="4" id="557" />
+<TGConnectingPoint num="5" id="558" />
+<TGConnectingPoint num="6" id="559" />
+<TGConnectingPoint num="7" id="560" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="552" >
+<father id="561" num="0" />
+<cdparam x="480" y="193" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="137" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="551" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1202" id="572" >
+<cdparam x="191" y="134" />
+<sizeparam width="200" height="150" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Alice" />
+<TGConnectingPoint num="0" id="564" />
+<TGConnectingPoint num="1" id="565" />
+<TGConnectingPoint num="2" id="566" />
+<TGConnectingPoint num="3" id="567" />
+<TGConnectingPoint num="4" id="568" />
+<TGConnectingPoint num="5" id="569" />
+<TGConnectingPoint num="6" id="570" />
+<TGConnectingPoint num="7" id="571" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="563" >
+<father id="572" num="0" />
+<cdparam x="378" y="193" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="187" minY="-13" maxY="137" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="562" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+
+</TMLComponentTaskDiagramPanel>
+
+<TMLActivityDiagramPanel name="Bob" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="1036" id="575" >
+<cdparam x="400" y="333" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="decrypt" value="null" />
+<TGConnectingPoint num="0" id="573" />
+<TGConnectingPoint num="1" id="574" />
+<extraparam>
+<Data secPattern="sym" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1036" id="578" >
+<cdparam x="400" y="187" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="decrypt" value="null" />
+<TGConnectingPoint num="0" id="576" />
+<TGConnectingPoint num="1" id="577" />
+<extraparam>
+<Data secPattern="aenc" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1009" id="581" >
+<cdparam x="373" y="402" />
+<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm(1) " />
+<TGConnectingPoint num="0" id="579" />
+<TGConnectingPoint num="1" id="580" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1009" id="584" >
+<cdparam x="373" y="267" />
+<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm(1) " />
+<TGConnectingPoint num="0" id="582" />
+<TGConnectingPoint num="1" id="583" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="sym" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="586" >
+<cdparam x="396" y="459" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="585" />
+</COMPONENT>
+
+<COMPONENT type="1009" id="589" >
+<cdparam x="373" y="133" />
+<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm(1) " />
+<TGConnectingPoint num="0" id="587" />
+<TGConnectingPoint num="1" id="588" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="aenc" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1000" id="591" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="590" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="592" >
+<cdparam x="407" y="378" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="378" id="574" />
+<P2 x="407" y="397" id="579" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="593" >
+<cdparam x="407" y="292" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="292" id="583" />
+<P2 x="407" y="328" id="573" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="594" >
+<cdparam x="407" y="232" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="232" id="577" />
+<P2 x="407" y="262" id="582" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="595" >
+<cdparam x="407" y="158" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="158" id="588" />
+<P2 x="407" y="182" id="576" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="596" >
+<cdparam x="407" y="427" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="427" id="580" />
+<P2 x="406" y="454" id="585" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="597" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="590" />
+<P2 x="407" y="128" id="587" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+<TMLActivityDiagramPanel name="Alice" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="1035" id="600" >
+<cdparam x="400" y="248" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="encrypt" value="null" />
+<TGConnectingPoint num="0" id="598" />
+<TGConnectingPoint num="1" id="599" />
+<extraparam>
+<Data secContext="sym" type="Symmetric Encryption" overhead="" size="" encTime="100" decTime="100" nonce="" key="" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1035" id="603" >
+<cdparam x="399" y="96" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="encrypt" value="null" />
+<TGConnectingPoint num="0" id="601" />
+<TGConnectingPoint num="1" id="602" />
+<extraparam>
+<Data secContext="aenc" type="Asymmetric Encryption" overhead="" size="" encTime="100" decTime="100" nonce="" key="sym" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1006" id="606" >
+<cdparam x="375" y="383" />
+<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm(1)" />
+<TGConnectingPoint num="0" id="604" />
+<TGConnectingPoint num="1" id="605" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1006" id="609" >
+<cdparam x="375" y="323" />
+<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm(1)" />
+<TGConnectingPoint num="0" id="607" />
+<TGConnectingPoint num="1" id="608" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="sym" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="611" >
+<cdparam x="396" y="431" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="610" />
+</COMPONENT>
+
+<COMPONENT type="1006" id="614" >
+<cdparam x="375" y="190" />
+<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm(1)" />
+<TGConnectingPoint num="0" id="612" />
+<TGConnectingPoint num="1" id="613" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="aenc" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1000" id="616" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="615" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="617" >
+<cdparam x="407" y="293" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="293" id="599" />
+<P2 x="407" y="318" id="607" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="618" >
+<cdparam x="407" y="215" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="215" id="613" />
+<P2 x="407" y="243" id="598" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="619" >
+<cdparam x="406" y="141" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="406" y="141" id="602" />
+<P2 x="407" y="185" id="612" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="620" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="615" />
+<P2 x="406" y="91" id="601" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="621" >
+<cdparam x="407" y="408" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="408" id="605" />
+<P2 x="406" y="426" id="610" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="622" >
+<cdparam x="402" y="331" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="348" id="608" />
+<P2 x="407" y="378" id="604" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Architecture" nameTab="KeyExchangeArch" >
+<TMLArchiDiagramPanel name="DIPLODOCUS architecture and mapping Diagram" minX="10" maxX="2500" minY="10" maxY="1500" attributes="0" masterClockFrequency="200" >
+<COMPONENT type="1105" id="656" >
+<cdparam x="764" y="238" />
+<sizeparam width="152" height="87" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory1" value="name" />
+<TGConnectingPoint num="0" id="632" />
+<TGConnectingPoint num="1" id="633" />
+<TGConnectingPoint num="2" id="634" />
+<TGConnectingPoint num="3" id="635" />
+<TGConnectingPoint num="4" id="636" />
+<TGConnectingPoint num="5" id="637" />
+<TGConnectingPoint num="6" id="638" />
+<TGConnectingPoint num="7" id="639" />
+<TGConnectingPoint num="8" id="640" />
+<TGConnectingPoint num="9" id="641" />
+<TGConnectingPoint num="10" id="642" />
+<TGConnectingPoint num="11" id="643" />
+<TGConnectingPoint num="12" id="644" />
+<TGConnectingPoint num="13" id="645" />
+<TGConnectingPoint num="14" id="646" />
+<TGConnectingPoint num="15" id="647" />
+<TGConnectingPoint num="16" id="648" />
+<TGConnectingPoint num="17" id="649" />
+<TGConnectingPoint num="18" id="650" />
+<TGConnectingPoint num="19" id="651" />
+<TGConnectingPoint num="20" id="652" />
+<TGConnectingPoint num="21" id="653" />
+<TGConnectingPoint num="22" id="654" />
+<TGConnectingPoint num="23" id="655" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory1" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="631" >
+<father id="656" num="0" />
+<cdparam x="801" y="277" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="77" minY="0" maxY="47" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="623" />
+<TGConnectingPoint num="1" id="624" />
+<TGConnectingPoint num="2" id="625" />
+<TGConnectingPoint num="3" id="626" />
+<TGConnectingPoint num="4" id="627" />
+<TGConnectingPoint num="5" id="628" />
+<TGConnectingPoint num="6" id="629" />
+<TGConnectingPoint num="7" id="630" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="0" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1105" id="690" >
+<cdparam x="265" y="235" />
+<sizeparam width="143" height="93" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory0" value="name" />
+<TGConnectingPoint num="0" id="666" />
+<TGConnectingPoint num="1" id="667" />
+<TGConnectingPoint num="2" id="668" />
+<TGConnectingPoint num="3" id="669" />
+<TGConnectingPoint num="4" id="670" />
+<TGConnectingPoint num="5" id="671" />
+<TGConnectingPoint num="6" id="672" />
+<TGConnectingPoint num="7" id="673" />
+<TGConnectingPoint num="8" id="674" />
+<TGConnectingPoint num="9" id="675" />
+<TGConnectingPoint num="10" id="676" />
+<TGConnectingPoint num="11" id="677" />
+<TGConnectingPoint num="12" id="678" />
+<TGConnectingPoint num="13" id="679" />
+<TGConnectingPoint num="14" id="680" />
+<TGConnectingPoint num="15" id="681" />
+<TGConnectingPoint num="16" id="682" />
+<TGConnectingPoint num="17" id="683" />
+<TGConnectingPoint num="18" id="684" />
+<TGConnectingPoint num="19" id="685" />
+<TGConnectingPoint num="20" id="686" />
+<TGConnectingPoint num="21" id="687" />
+<TGConnectingPoint num="22" id="688" />
+<TGConnectingPoint num="23" id="689" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory0" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="665" >
+<father id="690" num="0" />
+<cdparam x="294" y="276" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="68" minY="0" maxY="53" />
+<infoparam name="TGComponent" value="aenc" />
+<TGConnectingPoint num="0" id="657" />
+<TGConnectingPoint num="1" id="658" />
+<TGConnectingPoint num="2" id="659" />
+<TGConnectingPoint num="3" id="660" />
+<TGConnectingPoint num="4" id="661" />
+<TGConnectingPoint num="5" id="662" />
+<TGConnectingPoint num="6" id="663" />
+<TGConnectingPoint num="7" id="664" />
+<extraparam>
+<info value="aenc" referenceKeyName="aenc" priority="5" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1102" id="715" >
+<cdparam x="262" y="168" />
+<sizeparam width="148" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus0" value="name" />
+<TGConnectingPoint num="0" id="691" />
+<TGConnectingPoint num="1" id="692" />
+<TGConnectingPoint num="2" id="693" />
+<TGConnectingPoint num="3" id="694" />
+<TGConnectingPoint num="4" id="695" />
+<TGConnectingPoint num="5" id="696" />
+<TGConnectingPoint num="6" id="697" />
+<TGConnectingPoint num="7" id="698" />
+<TGConnectingPoint num="8" id="699" />
+<TGConnectingPoint num="9" id="700" />
+<TGConnectingPoint num="10" id="701" />
+<TGConnectingPoint num="11" id="702" />
+<TGConnectingPoint num="12" id="703" />
+<TGConnectingPoint num="13" id="704" />
+<TGConnectingPoint num="14" id="705" />
+<TGConnectingPoint num="15" id="706" />
+<TGConnectingPoint num="16" id="707" />
+<TGConnectingPoint num="17" id="708" />
+<TGConnectingPoint num="18" id="709" />
+<TGConnectingPoint num="19" id="710" />
+<TGConnectingPoint num="20" id="711" />
+<TGConnectingPoint num="21" id="712" />
+<TGConnectingPoint num="22" id="713" />
+<TGConnectingPoint num="23" id="714" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus0" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="740" >
+<cdparam x="764" y="170" />
+<sizeparam width="153" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus1" value="name" />
+<TGConnectingPoint num="0" id="716" />
+<TGConnectingPoint num="1" id="717" />
+<TGConnectingPoint num="2" id="718" />
+<TGConnectingPoint num="3" id="719" />
+<TGConnectingPoint num="4" id="720" />
+<TGConnectingPoint num="5" id="721" />
+<TGConnectingPoint num="6" id="722" />
+<TGConnectingPoint num="7" id="723" />
+<TGConnectingPoint num="8" id="724" />
+<TGConnectingPoint num="9" id="725" />
+<TGConnectingPoint num="10" id="726" />
+<TGConnectingPoint num="11" id="727" />
+<TGConnectingPoint num="12" id="728" />
+<TGConnectingPoint num="13" id="729" />
+<TGConnectingPoint num="14" id="730" />
+<TGConnectingPoint num="15" id="731" />
+<TGConnectingPoint num="16" id="732" />
+<TGConnectingPoint num="17" id="733" />
+<TGConnectingPoint num="18" id="734" />
+<TGConnectingPoint num="19" id="735" />
+<TGConnectingPoint num="20" id="736" />
+<TGConnectingPoint num="21" id="737" />
+<TGConnectingPoint num="22" id="738" />
+<TGConnectingPoint num="23" id="739" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus1" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="765" >
+<cdparam x="485" y="286" />
+<sizeparam width="200" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="ExternalBus" value="name" />
+<TGConnectingPoint num="0" id="741" />
+<TGConnectingPoint num="1" id="742" />
+<TGConnectingPoint num="2" id="743" />
+<TGConnectingPoint num="3" id="744" />
+<TGConnectingPoint num="4" id="745" />
+<TGConnectingPoint num="5" id="746" />
+<TGConnectingPoint num="6" id="747" />
+<TGConnectingPoint num="7" id="748" />
+<TGConnectingPoint num="8" id="749" />
+<TGConnectingPoint num="9" id="750" />
+<TGConnectingPoint num="10" id="751" />
+<TGConnectingPoint num="11" id="752" />
+<TGConnectingPoint num="12" id="753" />
+<TGConnectingPoint num="13" id="754" />
+<TGConnectingPoint num="14" id="755" />
+<TGConnectingPoint num="15" id="756" />
+<TGConnectingPoint num="16" id="757" />
+<TGConnectingPoint num="17" id="758" />
+<TGConnectingPoint num="18" id="759" />
+<TGConnectingPoint num="19" id="760" />
+<TGConnectingPoint num="20" id="761" />
+<TGConnectingPoint num="21" id="762" />
+<TGConnectingPoint num="22" id="763" />
+<TGConnectingPoint num="23" id="764" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="ExternalBus" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="0" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1100" id="799" >
+<cdparam x="597" y="170" />
+<sizeparam width="154" height="100" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUAlice" value="name" />
+<TGConnectingPoint num="0" id="775" />
+<TGConnectingPoint num="1" id="776" />
+<TGConnectingPoint num="2" id="777" />
+<TGConnectingPoint num="3" id="778" />
+<TGConnectingPoint num="4" id="779" />
+<TGConnectingPoint num="5" id="780" />
+<TGConnectingPoint num="6" id="781" />
+<TGConnectingPoint num="7" id="782" />
+<TGConnectingPoint num="8" id="783" />
+<TGConnectingPoint num="9" id="784" />
+<TGConnectingPoint num="10" id="785" />
+<TGConnectingPoint num="11" id="786" />
+<TGConnectingPoint num="12" id="787" />
+<TGConnectingPoint num="13" id="788" />
+<TGConnectingPoint num="14" id="789" />
+<TGConnectingPoint num="15" id="790" />
+<TGConnectingPoint num="16" id="791" />
+<TGConnectingPoint num="17" id="792" />
+<TGConnectingPoint num="18" id="793" />
+<TGConnectingPoint num="19" id="794" />
+<TGConnectingPoint num="20" id="795" />
+<TGConnectingPoint num="21" id="796" />
+<TGConnectingPoint num="22" id="797" />
+<TGConnectingPoint num="23" id="798" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUAlice" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="774" >
+<father id="799" num="0" />
+<cdparam x="597" y="216" />
+<sizeparam width="154" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="0" minY="0" maxY="60" />
+<infoparam name="TGComponent" value="KeyExchange::Alice" />
+<TGConnectingPoint num="0" id="766" />
+<TGConnectingPoint num="1" id="767" />
+<TGConnectingPoint num="2" id="768" />
+<TGConnectingPoint num="3" id="769" />
+<TGConnectingPoint num="4" id="770" />
+<TGConnectingPoint num="5" id="771" />
+<TGConnectingPoint num="6" id="772" />
+<TGConnectingPoint num="7" id="773" />
+<extraparam>
+<info value="KeyExchange::Alice" taskName="Alice" referenceTaskName="KeyExchange" priority="0" operation="B" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1100" id="833" >
+<cdparam x="423" y="168" />
+<sizeparam width="150" height="100" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUBob" value="name" />
+<TGConnectingPoint num="0" id="809" />
+<TGConnectingPoint num="1" id="810" />
+<TGConnectingPoint num="2" id="811" />
+<TGConnectingPoint num="3" id="812" />
+<TGConnectingPoint num="4" id="813" />
+<TGConnectingPoint num="5" id="814" />
+<TGConnectingPoint num="6" id="815" />
+<TGConnectingPoint num="7" id="816" />
+<TGConnectingPoint num="8" id="817" />
+<TGConnectingPoint num="9" id="818" />
+<TGConnectingPoint num="10" id="819" />
+<TGConnectingPoint num="11" id="820" />
+<TGConnectingPoint num="12" id="821" />
+<TGConnectingPoint num="13" id="822" />
+<TGConnectingPoint num="14" id="823" />
+<TGConnectingPoint num="15" id="824" />
+<TGConnectingPoint num="16" id="825" />
+<TGConnectingPoint num="17" id="826" />
+<TGConnectingPoint num="18" id="827" />
+<TGConnectingPoint num="19" id="828" />
+<TGConnectingPoint num="20" id="829" />
+<TGConnectingPoint num="21" id="830" />
+<TGConnectingPoint num="22" id="831" />
+<TGConnectingPoint num="23" id="832" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUBob" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="808" >
+<father id="833" num="0" />
+<cdparam x="424" y="212" />
+<sizeparam width="149" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="1" minY="0" maxY="60" />
+<infoparam name="TGComponent" value="KeyExchange::Bob" />
+<TGConnectingPoint num="0" id="800" />
+<TGConnectingPoint num="1" id="801" />
+<TGConnectingPoint num="2" id="802" />
+<TGConnectingPoint num="3" id="803" />
+<TGConnectingPoint num="4" id="804" />
+<TGConnectingPoint num="5" id="805" />
+<TGConnectingPoint num="6" id="806" />
+<TGConnectingPoint num="7" id="807" />
+<extraparam>
+<info value="KeyExchange::Bob" taskName="Bob" referenceTaskName="KeyExchange" priority="0" operation="A" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="125" id="834" >
+<cdparam x="751" y="195" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="751" y="195" id="786" />
+<P2 x="764" y="195" id="719" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="835" >
+<cdparam x="423" y="193" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="423" y="193" id="819" />
+<P2 x="410" y="193" id="695" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="836" >
+<cdparam x="1104" y="240" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="840" y="238" id="633" />
+<P2 x="840" y="220" id="722" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="837" >
+<cdparam x="167" y="233" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="336" y="235" id="667" />
+<P2 x="336" y="218" id="697" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="838" >
+<cdparam x="719" y="276" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="635" y="270" id="789" />
+<P2 x="635" y="286" id="750" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="839" >
+<cdparam x="513" y="277" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="535" y="268" id="824" />
+<P2 x="535" y="286" id="749" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+
+</TMLArchiDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Component Design" nameTab="MAC" >
+<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="10" maxX="2500" minY="10" maxY="1500" channels="true" events="true" requests="true" zoom="1.0" >
+<CONNECTOR type="126" id="840" >
+<cdparam x="260" y="145" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="Connector between ports" />
+<P1 x="267" y="147" id="852" />
+<P2 x="347" y="147" id="841" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1202" id="851" >
+<cdparam x="347" y="91" />
+<sizeparam width="133" height="134" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Bob" />
+<TGConnectingPoint num="0" id="843" />
+<TGConnectingPoint num="1" id="844" />
+<TGConnectingPoint num="2" id="845" />
+<TGConnectingPoint num="3" id="846" />
+<TGConnectingPoint num="4" id="847" />
+<TGConnectingPoint num="5" id="848" />
+<TGConnectingPoint num="6" id="849" />
+<TGConnectingPoint num="7" id="850" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="842" >
+<father id="851" num="0" />
+<cdparam x="334" y="147" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="120" minY="-13" maxY="121" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="841" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1202" id="862" >
+<cdparam x="111" y="93" />
+<sizeparam width="156" height="129" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Alice" />
+<TGConnectingPoint num="0" id="854" />
+<TGConnectingPoint num="1" id="855" />
+<TGConnectingPoint num="2" id="856" />
+<TGConnectingPoint num="3" id="857" />
+<TGConnectingPoint num="4" id="858" />
+<TGConnectingPoint num="5" id="859" />
+<TGConnectingPoint num="6" id="860" />
+<TGConnectingPoint num="7" id="861" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="853" >
+<father id="862" num="0" />
+<cdparam x="254" y="147" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="143" minY="-13" maxY="116" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="852" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+
+</TMLComponentTaskDiagramPanel>
+
+<TMLActivityDiagramPanel name="Bob" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="1001" id="864" >
+<cdparam x="398" y="199" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="863" />
+</COMPONENT>
+
+<COMPONENT type="1036" id="867" >
+<cdparam x="401" y="148" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="decrypt" value="null" />
+<TGConnectingPoint num="0" id="865" />
+<TGConnectingPoint num="1" id="866" />
+<extraparam>
+<Data secPattern="mac" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1009" id="870" >
+<cdparam x="373" y="99" />
+<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm(1) " />
+<TGConnectingPoint num="0" id="868" />
+<TGConnectingPoint num="1" id="869" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="mac" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1000" id="872" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="871" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="873" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="871" />
+<P2 x="407" y="94" id="868" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="874" >
+<cdparam x="407" y="124" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="124" id="869" />
+<P2 x="408" y="143" id="865" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="875" >
+<cdparam x="408" y="193" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="408" y="193" id="866" />
+<P2 x="408" y="194" id="863" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+<TMLActivityDiagramPanel name="Alice" minX="10" maxX="2500" minY="10" maxY="1500" >
+<COMPONENT type="1035" id="878" >
+<cdparam x="400" y="100" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="encrypt" value="null" />
+<TGConnectingPoint num="0" id="876" />
+<TGConnectingPoint num="1" id="877" />
+<extraparam>
+<Data secContext="mac" type="MAC" overhead="" size="" encTime="100" decTime="100" nonce="" key="" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1006" id="881" >
+<cdparam x="375" y="174" />
+<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm(1)" />
+<TGConnectingPoint num="0" id="879" />
+<TGConnectingPoint num="1" id="880" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="mac" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="883" >
+<cdparam x="397" y="223" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="882" />
+</COMPONENT>
+
+<COMPONENT type="1000" id="885" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="884" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="886" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="884" />
+<P2 x="407" y="95" id="876" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="887" >
+<cdparam x="407" y="140" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="145" id="877" />
+<P2 x="407" y="169" id="879" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="888" >
+<cdparam x="401" y="201" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="199" id="880" />
+<P2 x="407" y="218" id="882" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Architecture" nameTab="MACArch" >
+<TMLArchiDiagramPanel name="DIPLODOCUS architecture and mapping Diagram" minX="10" maxX="2500" minY="10" maxY="1500" attributes="0" masterClockFrequency="200" >
+<COMPONENT type="1105" id="922" >
+<cdparam x="750" y="82" />
+<sizeparam width="120" height="96" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory1" value="name" />
+<TGConnectingPoint num="0" id="898" />
+<TGConnectingPoint num="1" id="899" />
+<TGConnectingPoint num="2" id="900" />
+<TGConnectingPoint num="3" id="901" />
+<TGConnectingPoint num="4" id="902" />
+<TGConnectingPoint num="5" id="903" />
+<TGConnectingPoint num="6" id="904" />
+<TGConnectingPoint num="7" id="905" />
+<TGConnectingPoint num="8" id="906" />
+<TGConnectingPoint num="9" id="907" />
+<TGConnectingPoint num="10" id="908" />
+<TGConnectingPoint num="11" id="909" />
+<TGConnectingPoint num="12" id="910" />
+<TGConnectingPoint num="13" id="911" />
+<TGConnectingPoint num="14" id="912" />
+<TGConnectingPoint num="15" id="913" />
+<TGConnectingPoint num="16" id="914" />
+<TGConnectingPoint num="17" id="915" />
+<TGConnectingPoint num="18" id="916" />
+<TGConnectingPoint num="19" id="917" />
+<TGConnectingPoint num="20" id="918" />
+<TGConnectingPoint num="21" id="919" />
+<TGConnectingPoint num="22" id="920" />
+<TGConnectingPoint num="23" id="921" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory1" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="897" >
+<father id="922" num="0" />
+<cdparam x="766" y="125" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="45" minY="0" maxY="56" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="889" />
+<TGConnectingPoint num="1" id="890" />
+<TGConnectingPoint num="2" id="891" />
+<TGConnectingPoint num="3" id="892" />
+<TGConnectingPoint num="4" id="893" />
+<TGConnectingPoint num="5" id="894" />
+<TGConnectingPoint num="6" id="895" />
+<TGConnectingPoint num="7" id="896" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="0" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1105" id="956" >
+<cdparam x="119" y="161" />
+<sizeparam width="109" height="97" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory0" value="name" />
+<TGConnectingPoint num="0" id="932" />
+<TGConnectingPoint num="1" id="933" />
+<TGConnectingPoint num="2" id="934" />
+<TGConnectingPoint num="3" id="935" />
+<TGConnectingPoint num="4" id="936" />
+<TGConnectingPoint num="5" id="937" />
+<TGConnectingPoint num="6" id="938" />
+<TGConnectingPoint num="7" id="939" />
+<TGConnectingPoint num="8" id="940" />
+<TGConnectingPoint num="9" id="941" />
+<TGConnectingPoint num="10" id="942" />
+<TGConnectingPoint num="11" id="943" />
+<TGConnectingPoint num="12" id="944" />
+<TGConnectingPoint num="13" id="945" />
+<TGConnectingPoint num="14" id="946" />
+<TGConnectingPoint num="15" id="947" />
+<TGConnectingPoint num="16" id="948" />
+<TGConnectingPoint num="17" id="949" />
+<TGConnectingPoint num="18" id="950" />
+<TGConnectingPoint num="19" id="951" />
+<TGConnectingPoint num="20" id="952" />
+<TGConnectingPoint num="21" id="953" />
+<TGConnectingPoint num="22" id="954" />
+<TGConnectingPoint num="23" id="955" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory0" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="931" >
+<father id="956" num="0" />
+<cdparam x="133" y="210" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="34" minY="0" maxY="57" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="923" />
+<TGConnectingPoint num="1" id="924" />
+<TGConnectingPoint num="2" id="925" />
+<TGConnectingPoint num="3" id="926" />
+<TGConnectingPoint num="4" id="927" />
+<TGConnectingPoint num="5" id="928" />
+<TGConnectingPoint num="6" id="929" />
+<TGConnectingPoint num="7" id="930" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="5" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1102" id="981" >
+<cdparam x="103" y="95" />
+<sizeparam width="140" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus0" value="name" />
+<TGConnectingPoint num="0" id="957" />
+<TGConnectingPoint num="1" id="958" />
+<TGConnectingPoint num="2" id="959" />
+<TGConnectingPoint num="3" id="960" />
+<TGConnectingPoint num="4" id="961" />
+<TGConnectingPoint num="5" id="962" />
+<TGConnectingPoint num="6" id="963" />
+<TGConnectingPoint num="7" id="964" />
+<TGConnectingPoint num="8" id="965" />
+<TGConnectingPoint num="9" id="966" />
+<TGConnectingPoint num="10" id="967" />
+<TGConnectingPoint num="11" id="968" />
+<TGConnectingPoint num="12" id="969" />
+<TGConnectingPoint num="13" id="970" />
+<TGConnectingPoint num="14" id="971" />
+<TGConnectingPoint num="15" id="972" />
+<TGConnectingPoint num="16" id="973" />
+<TGConnectingPoint num="17" id="974" />
+<TGConnectingPoint num="18" id="975" />
+<TGConnectingPoint num="19" id="976" />
+<TGConnectingPoint num="20" id="977" />
+<TGConnectingPoint num="21" id="978" />
+<TGConnectingPoint num="22" id="979" />
+<TGConnectingPoint num="23" id="980" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus0" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="1006" >
+<cdparam x="672" y="200" />
+<sizeparam width="165" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus1" value="name" />
+<TGConnectingPoint num="0" id="982" />
+<TGConnectingPoint num="1" id="983" />
+<TGConnectingPoint num="2" id="984" />
+<TGConnectingPoint num="3" id="985" />
+<TGConnectingPoint num="4" id="986" />
+<TGConnectingPoint num="5" id="987" />
+<TGConnectingPoint num="6" id="988" />
+<TGConnectingPoint num="7" id="989" />
+<TGConnectingPoint num="8" id="990" />
+<TGConnectingPoint num="9" id="991" />
+<TGConnectingPoint num="10" id="992" />
+<TGConnectingPoint num="11" id="993" />
+<TGConnectingPoint num="12" id="994" />
+<TGConnectingPoint num="13" id="995" />
+<TGConnectingPoint num="14" id="996" />
+<TGConnectingPoint num="15" id="997" />
+<TGConnectingPoint num="16" id="998" />
+<TGConnectingPoint num="17" id="999" />
+<TGConnectingPoint num="18" id="1000" />
+<TGConnectingPoint num="19" id="1001" />
+<TGConnectingPoint num="20" id="1002" />
+<TGConnectingPoint num="21" id="1003" />
+<TGConnectingPoint num="22" id="1004" />
+<TGConnectingPoint num="23" id="1005" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus1" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="1031" >
+<cdparam x="400" y="215" />
+<sizeparam width="170" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="ExternalBus" value="name" />
+<TGConnectingPoint num="0" id="1007" />
+<TGConnectingPoint num="1" id="1008" />
+<TGConnectingPoint num="2" id="1009" />
+<TGConnectingPoint num="3" id="1010" />
+<TGConnectingPoint num="4" id="1011" />
+<TGConnectingPoint num="5" id="1012" />
+<TGConnectingPoint num="6" id="1013" />
+<TGConnectingPoint num="7" id="1014" />
+<TGConnectingPoint num="8" id="1015" />
+<TGConnectingPoint num="9" id="1016" />
+<TGConnectingPoint num="10" id="1017" />
+<TGConnectingPoint num="11" id="1018" />
+<TGConnectingPoint num="12" id="1019" />
+<TGConnectingPoint num="13" id="1020" />
+<TGConnectingPoint num="14" id="1021" />
+<TGConnectingPoint num="15" id="1022" />
+<TGConnectingPoint num="16" id="1023" />
+<TGConnectingPoint num="17" id="1024" />
+<TGConnectingPoint num="18" id="1025" />
+<TGConnectingPoint num="19" id="1026" />
+<TGConnectingPoint num="20" id="1027" />
+<TGConnectingPoint num="21" id="1028" />
+<TGConnectingPoint num="22" id="1029" />
+<TGConnectingPoint num="23" id="1030" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="ExternalBus" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="0" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1100" id="1065" >
+<cdparam x="524" y="82" />
+<sizeparam width="208" height="101" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUAlice" value="name" />
+<TGConnectingPoint num="0" id="1041" />
+<TGConnectingPoint num="1" id="1042" />
+<TGConnectingPoint num="2" id="1043" />
+<TGConnectingPoint num="3" id="1044" />
+<TGConnectingPoint num="4" id="1045" />
+<TGConnectingPoint num="5" id="1046" />
+<TGConnectingPoint num="6" id="1047" />
+<TGConnectingPoint num="7" id="1048" />
+<TGConnectingPoint num="8" id="1049" />
+<TGConnectingPoint num="9" id="1050" />
+<TGConnectingPoint num="10" id="1051" />
+<TGConnectingPoint num="11" id="1052" />
+<TGConnectingPoint num="12" id="1053" />
+<TGConnectingPoint num="13" id="1054" />
+<TGConnectingPoint num="14" id="1055" />
+<TGConnectingPoint num="15" id="1056" />
+<TGConnectingPoint num="16" id="1057" />
+<TGConnectingPoint num="17" id="1058" />
+<TGConnectingPoint num="18" id="1059" />
+<TGConnectingPoint num="19" id="1060" />
+<TGConnectingPoint num="20" id="1061" />
+<TGConnectingPoint num="21" id="1062" />
+<TGConnectingPoint num="22" id="1063" />
+<TGConnectingPoint num="23" id="1064" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUAlice" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="1040" >
+<father id="1065" num="0" />
+<cdparam x="530" y="124" />
+<sizeparam width="98" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="110" minY="0" maxY="61" />
+<infoparam name="TGComponent" value="MAC::Alice" />
+<TGConnectingPoint num="0" id="1032" />
+<TGConnectingPoint num="1" id="1033" />
+<TGConnectingPoint num="2" id="1034" />
+<TGConnectingPoint num="3" id="1035" />
+<TGConnectingPoint num="4" id="1036" />
+<TGConnectingPoint num="5" id="1037" />
+<TGConnectingPoint num="6" id="1038" />
+<TGConnectingPoint num="7" id="1039" />
+<extraparam>
+<info value="MAC::Alice" taskName="Alice" referenceTaskName="MAC" priority="0" operation="Alice" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1100" id="1099" >
+<cdparam x="288" y="89" />
+<sizeparam width="212" height="102" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUBob" value="name" />
+<TGConnectingPoint num="0" id="1075" />
+<TGConnectingPoint num="1" id="1076" />
+<TGConnectingPoint num="2" id="1077" />
+<TGConnectingPoint num="3" id="1078" />
+<TGConnectingPoint num="4" id="1079" />
+<TGConnectingPoint num="5" id="1080" />
+<TGConnectingPoint num="6" id="1081" />
+<TGConnectingPoint num="7" id="1082" />
+<TGConnectingPoint num="8" id="1083" />
+<TGConnectingPoint num="9" id="1084" />
+<TGConnectingPoint num="10" id="1085" />
+<TGConnectingPoint num="11" id="1086" />
+<TGConnectingPoint num="12" id="1087" />
+<TGConnectingPoint num="13" id="1088" />
+<TGConnectingPoint num="14" id="1089" />
+<TGConnectingPoint num="15" id="1090" />
+<TGConnectingPoint num="16" id="1091" />
+<TGConnectingPoint num="17" id="1092" />
+<TGConnectingPoint num="18" id="1093" />
+<TGConnectingPoint num="19" id="1094" />
+<TGConnectingPoint num="20" id="1095" />
+<TGConnectingPoint num="21" id="1096" />
+<TGConnectingPoint num="22" id="1097" />
+<TGConnectingPoint num="23" id="1098" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUBob" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="1074" >
+<father id="1099" num="0" />
+<cdparam x="300" y="141" />
+<sizeparam width="93" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="119" minY="0" maxY="62" />
+<infoparam name="TGComponent" value="MAC::Bob" />
+<TGConnectingPoint num="0" id="1066" />
+<TGConnectingPoint num="1" id="1067" />
+<TGConnectingPoint num="2" id="1068" />
+<TGConnectingPoint num="3" id="1069" />
+<TGConnectingPoint num="4" id="1070" />
+<TGConnectingPoint num="5" id="1071" />
+<TGConnectingPoint num="6" id="1072" />
+<TGConnectingPoint num="7" id="1073" />
+<extraparam>
+<info value="MAC::Bob" taskName="Bob" referenceTaskName="MAC" priority="0" operation="Bob" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="125" id="1100" >
+<cdparam x="612" y="186" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="576" y="183" id="1055" />
+<P2 x="527" y="215" id="1016" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1101" >
+<cdparam x="260" y="139" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="288" y="140" id="1078" />
+<P2 x="243" y="120" id="961" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1102" >
+<cdparam x="791" y="201" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="680" y="183" id="1056" />
+<P2 x="672" y="225" id="985" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1103" >
+<cdparam x="1130" y="171" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="810" y="178" id="904" />
+<P2 x="795" y="200" id="991" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1104" >
+<cdparam x="-71" y="161" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="173" y="161" id="933" />
+<P2 x="173" y="145" id="963" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1105" >
+<cdparam x="437" y="191" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="341" y="191" id="1089" />
+<P2 x="442" y="215" id="1015" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+
+</TMLArchiDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Component Design" nameTab="sampleAutoSec" >
+<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="10" maxX="2500" minY="10" maxY="1500" channels="true" events="true" requests="true" zoom="1.0" >
+<COMPONENT type="1202" id="1116" >
+<cdparam x="342" y="67" />
+<sizeparam width="133" height="134" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Bob" />
+<TGConnectingPoint num="0" id="1108" />
+<TGConnectingPoint num="1" id="1109" />
+<TGConnectingPoint num="2" id="1110" />
+<TGConnectingPoint num="3" id="1111" />
+<TGConnectingPoint num="4" id="1112" />
+<TGConnectingPoint num="5" id="1113" />
+<TGConnectingPoint num="6" id="1114" />
+<TGConnectingPoint num="7" id="1115" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="1107" >
+<father id="1116" num="0" />
+<cdparam x="329" y="123" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="120" minY="-13" maxY="121" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="1106" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1202" id="1127" >
+<cdparam x="106" y="69" />
+<sizeparam width="156" height="129" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Alice" />
+<TGConnectingPoint num="0" id="1119" />
+<TGConnectingPoint num="1" id="1120" />
+<TGConnectingPoint num="2" id="1121" />
+<TGConnectingPoint num="3" id="1122" />
+<TGConnectingPoint num="4" id="1123" />
+<TGConnectingPoint num="5" id="1124" />
+<TGConnectingPoint num="6" id="1125" />
+<TGConnectingPoint num="7" id="1126" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="1118" >
+<father id="1127" num="0" />
+<cdparam x="249" y="123" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="143" minY="-13" maxY="116" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="1117" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="126" id="1128" >
+<cdparam x="255" y="121" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="Connector between ports" />
+<P1 x="275" y="136" id="1117" />
+<P2 x="329" y="136" id="1106" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLComponentTaskDiagramPanel>
+
+<TMLActivityDiagramPanel name="Bob" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="115" id="1129" >
+<cdparam x="407" y="124" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="124" id="1133" />
+<P2 x="407" y="163" id="1130" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1001" id="1131" >
+<cdparam x="397" y="168" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="1130" />
+</COMPONENT>
+
+<COMPONENT type="1009" id="1134" >
+<cdparam x="373" y="99" />
+<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm(1) " />
+<TGConnectingPoint num="0" id="1132" />
+<TGConnectingPoint num="1" id="1133" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1000" id="1136" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="1135" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="1137" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="1135" />
+<P2 x="407" y="94" id="1132" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+<TMLActivityDiagramPanel name="Alice" minX="10" maxX="2500" minY="10" maxY="1500" >
+<CONNECTOR type="115" id="1138" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="1144" />
+<P2 x="407" y="94" id="1139" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1006" id="1141" >
+<cdparam x="375" y="99" />
+<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm(1)" />
+<TGConnectingPoint num="0" id="1139" />
+<TGConnectingPoint num="1" id="1140" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="1143" >
+<cdparam x="397" y="148" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="1142" />
+</COMPONENT>
+
+<COMPONENT type="1000" id="1145" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="1144" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="1146" >
+<cdparam x="401" y="126" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="124" id="1140" />
+<P2 x="407" y="143" id="1142" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Architecture" nameTab="Architecture" >
+<TMLArchiDiagramPanel name="DIPLODOCUS architecture and mapping Diagram" minX="10" maxX="2500" minY="10" maxY="1500" attributes="0" masterClockFrequency="200" >
+<COMPONENT type="1105" id="1180" >
+<cdparam x="985" y="212" />
+<sizeparam width="120" height="96" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory1" value="name" />
+<TGConnectingPoint num="0" id="1156" />
+<TGConnectingPoint num="1" id="1157" />
+<TGConnectingPoint num="2" id="1158" />
+<TGConnectingPoint num="3" id="1159" />
+<TGConnectingPoint num="4" id="1160" />
+<TGConnectingPoint num="5" id="1161" />
+<TGConnectingPoint num="6" id="1162" />
+<TGConnectingPoint num="7" id="1163" />
+<TGConnectingPoint num="8" id="1164" />
+<TGConnectingPoint num="9" id="1165" />
+<TGConnectingPoint num="10" id="1166" />
+<TGConnectingPoint num="11" id="1167" />
+<TGConnectingPoint num="12" id="1168" />
+<TGConnectingPoint num="13" id="1169" />
+<TGConnectingPoint num="14" id="1170" />
+<TGConnectingPoint num="15" id="1171" />
+<TGConnectingPoint num="16" id="1172" />
+<TGConnectingPoint num="17" id="1173" />
+<TGConnectingPoint num="18" id="1174" />
+<TGConnectingPoint num="19" id="1175" />
+<TGConnectingPoint num="20" id="1176" />
+<TGConnectingPoint num="21" id="1177" />
+<TGConnectingPoint num="22" id="1178" />
+<TGConnectingPoint num="23" id="1179" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory1" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="1155" >
+<father id="1180" num="0" />
+<cdparam x="1001" y="255" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="45" minY="0" maxY="56" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="1147" />
+<TGConnectingPoint num="1" id="1148" />
+<TGConnectingPoint num="2" id="1149" />
+<TGConnectingPoint num="3" id="1150" />
+<TGConnectingPoint num="4" id="1151" />
+<TGConnectingPoint num="5" id="1152" />
+<TGConnectingPoint num="6" id="1153" />
+<TGConnectingPoint num="7" id="1154" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="0" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1105" id="1205" >
+<cdparam x="354" y="291" />
+<sizeparam width="109" height="97" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory0" value="name" />
+<TGConnectingPoint num="0" id="1181" />
+<TGConnectingPoint num="1" id="1182" />
+<TGConnectingPoint num="2" id="1183" />
+<TGConnectingPoint num="3" id="1184" />
+<TGConnectingPoint num="4" id="1185" />
+<TGConnectingPoint num="5" id="1186" />
+<TGConnectingPoint num="6" id="1187" />
+<TGConnectingPoint num="7" id="1188" />
+<TGConnectingPoint num="8" id="1189" />
+<TGConnectingPoint num="9" id="1190" />
+<TGConnectingPoint num="10" id="1191" />
+<TGConnectingPoint num="11" id="1192" />
+<TGConnectingPoint num="12" id="1193" />
+<TGConnectingPoint num="13" id="1194" />
+<TGConnectingPoint num="14" id="1195" />
+<TGConnectingPoint num="15" id="1196" />
+<TGConnectingPoint num="16" id="1197" />
+<TGConnectingPoint num="17" id="1198" />
+<TGConnectingPoint num="18" id="1199" />
+<TGConnectingPoint num="19" id="1200" />
+<TGConnectingPoint num="20" id="1201" />
+<TGConnectingPoint num="21" id="1202" />
+<TGConnectingPoint num="22" id="1203" />
+<TGConnectingPoint num="23" id="1204" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory0" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="1230" >
+<cdparam x="338" y="225" />
+<sizeparam width="140" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus0" value="name" />
+<TGConnectingPoint num="0" id="1206" />
+<TGConnectingPoint num="1" id="1207" />
+<TGConnectingPoint num="2" id="1208" />
+<TGConnectingPoint num="3" id="1209" />
+<TGConnectingPoint num="4" id="1210" />
+<TGConnectingPoint num="5" id="1211" />
+<TGConnectingPoint num="6" id="1212" />
+<TGConnectingPoint num="7" id="1213" />
+<TGConnectingPoint num="8" id="1214" />
+<TGConnectingPoint num="9" id="1215" />
+<TGConnectingPoint num="10" id="1216" />
+<TGConnectingPoint num="11" id="1217" />
+<TGConnectingPoint num="12" id="1218" />
+<TGConnectingPoint num="13" id="1219" />
+<TGConnectingPoint num="14" id="1220" />
+<TGConnectingPoint num="15" id="1221" />
+<TGConnectingPoint num="16" id="1222" />
+<TGConnectingPoint num="17" id="1223" />
+<TGConnectingPoint num="18" id="1224" />
+<TGConnectingPoint num="19" id="1225" />
+<TGConnectingPoint num="20" id="1226" />
+<TGConnectingPoint num="21" id="1227" />
+<TGConnectingPoint num="22" id="1228" />
+<TGConnectingPoint num="23" id="1229" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus0" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="1255" >
+<cdparam x="907" y="330" />
+<sizeparam width="165" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus1" value="name" />
+<TGConnectingPoint num="0" id="1231" />
+<TGConnectingPoint num="1" id="1232" />
+<TGConnectingPoint num="2" id="1233" />
+<TGConnectingPoint num="3" id="1234" />
+<TGConnectingPoint num="4" id="1235" />
+<TGConnectingPoint num="5" id="1236" />
+<TGConnectingPoint num="6" id="1237" />
+<TGConnectingPoint num="7" id="1238" />
+<TGConnectingPoint num="8" id="1239" />
+<TGConnectingPoint num="9" id="1240" />
+<TGConnectingPoint num="10" id="1241" />
+<TGConnectingPoint num="11" id="1242" />
+<TGConnectingPoint num="12" id="1243" />
+<TGConnectingPoint num="13" id="1244" />
+<TGConnectingPoint num="14" id="1245" />
+<TGConnectingPoint num="15" id="1246" />
+<TGConnectingPoint num="16" id="1247" />
+<TGConnectingPoint num="17" id="1248" />
+<TGConnectingPoint num="18" id="1249" />
+<TGConnectingPoint num="19" id="1250" />
+<TGConnectingPoint num="20" id="1251" />
+<TGConnectingPoint num="21" id="1252" />
+<TGConnectingPoint num="22" id="1253" />
+<TGConnectingPoint num="23" id="1254" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus1" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="1280" >
+<cdparam x="635" y="345" />
+<sizeparam width="170" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="ExternalBus" value="name" />
+<TGConnectingPoint num="0" id="1256" />
+<TGConnectingPoint num="1" id="1257" />
+<TGConnectingPoint num="2" id="1258" />
+<TGConnectingPoint num="3" id="1259" />
+<TGConnectingPoint num="4" id="1260" />
+<TGConnectingPoint num="5" id="1261" />
+<TGConnectingPoint num="6" id="1262" />
+<TGConnectingPoint num="7" id="1263" />
+<TGConnectingPoint num="8" id="1264" />
+<TGConnectingPoint num="9" id="1265" />
+<TGConnectingPoint num="10" id="1266" />
+<TGConnectingPoint num="11" id="1267" />
+<TGConnectingPoint num="12" id="1268" />
+<TGConnectingPoint num="13" id="1269" />
+<TGConnectingPoint num="14" id="1270" />
+<TGConnectingPoint num="15" id="1271" />
+<TGConnectingPoint num="16" id="1272" />
+<TGConnectingPoint num="17" id="1273" />
+<TGConnectingPoint num="18" id="1274" />
+<TGConnectingPoint num="19" id="1275" />
+<TGConnectingPoint num="20" id="1276" />
+<TGConnectingPoint num="21" id="1277" />
+<TGConnectingPoint num="22" id="1278" />
+<TGConnectingPoint num="23" id="1279" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="ExternalBus" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="0" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1100" id="1314" >
+<cdparam x="759" y="212" />
+<sizeparam width="208" height="101" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUAlice" value="name" />
+<TGConnectingPoint num="0" id="1290" />
+<TGConnectingPoint num="1" id="1291" />
+<TGConnectingPoint num="2" id="1292" />
+<TGConnectingPoint num="3" id="1293" />
+<TGConnectingPoint num="4" id="1294" />
+<TGConnectingPoint num="5" id="1295" />
+<TGConnectingPoint num="6" id="1296" />
+<TGConnectingPoint num="7" id="1297" />
+<TGConnectingPoint num="8" id="1298" />
+<TGConnectingPoint num="9" id="1299" />
+<TGConnectingPoint num="10" id="1300" />
+<TGConnectingPoint num="11" id="1301" />
+<TGConnectingPoint num="12" id="1302" />
+<TGConnectingPoint num="13" id="1303" />
+<TGConnectingPoint num="14" id="1304" />
+<TGConnectingPoint num="15" id="1305" />
+<TGConnectingPoint num="16" id="1306" />
+<TGConnectingPoint num="17" id="1307" />
+<TGConnectingPoint num="18" id="1308" />
+<TGConnectingPoint num="19" id="1309" />
+<TGConnectingPoint num="20" id="1310" />
+<TGConnectingPoint num="21" id="1311" />
+<TGConnectingPoint num="22" id="1312" />
+<TGConnectingPoint num="23" id="1313" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUAlice" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="1289" >
+<father id="1314" num="0" />
+<cdparam x="765" y="254" />
+<sizeparam width="169" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="39" minY="0" maxY="61" />
+<infoparam name="TGComponent" value="sampleAutoSec::Alice" />
+<TGConnectingPoint num="0" id="1281" />
+<TGConnectingPoint num="1" id="1282" />
+<TGConnectingPoint num="2" id="1283" />
+<TGConnectingPoint num="3" id="1284" />
+<TGConnectingPoint num="4" id="1285" />
+<TGConnectingPoint num="5" id="1286" />
+<TGConnectingPoint num="6" id="1287" />
+<TGConnectingPoint num="7" id="1288" />
+<extraparam>
+<info value="sampleAutoSec::Alice" taskName="Alice" referenceTaskName="sampleAutoSec" priority="0" operation="Alice" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1100" id="1348" >
+<cdparam x="523" y="219" />
+<sizeparam width="212" height="102" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUBob" value="name" />
+<TGConnectingPoint num="0" id="1324" />
+<TGConnectingPoint num="1" id="1325" />
+<TGConnectingPoint num="2" id="1326" />
+<TGConnectingPoint num="3" id="1327" />
+<TGConnectingPoint num="4" id="1328" />
+<TGConnectingPoint num="5" id="1329" />
+<TGConnectingPoint num="6" id="1330" />
+<TGConnectingPoint num="7" id="1331" />
+<TGConnectingPoint num="8" id="1332" />
+<TGConnectingPoint num="9" id="1333" />
+<TGConnectingPoint num="10" id="1334" />
+<TGConnectingPoint num="11" id="1335" />
+<TGConnectingPoint num="12" id="1336" />
+<TGConnectingPoint num="13" id="1337" />
+<TGConnectingPoint num="14" id="1338" />
+<TGConnectingPoint num="15" id="1339" />
+<TGConnectingPoint num="16" id="1340" />
+<TGConnectingPoint num="17" id="1341" />
+<TGConnectingPoint num="18" id="1342" />
+<TGConnectingPoint num="19" id="1343" />
+<TGConnectingPoint num="20" id="1344" />
+<TGConnectingPoint num="21" id="1345" />
+<TGConnectingPoint num="22" id="1346" />
+<TGConnectingPoint num="23" id="1347" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUBob" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="1323" >
+<father id="1348" num="0" />
+<cdparam x="535" y="271" />
+<sizeparam width="164" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="48" minY="0" maxY="62" />
+<infoparam name="TGComponent" value="sampleAutoSec::Bob" />
+<TGConnectingPoint num="0" id="1315" />
+<TGConnectingPoint num="1" id="1316" />
+<TGConnectingPoint num="2" id="1317" />
+<TGConnectingPoint num="3" id="1318" />
+<TGConnectingPoint num="4" id="1319" />
+<TGConnectingPoint num="5" id="1320" />
+<TGConnectingPoint num="6" id="1321" />
+<TGConnectingPoint num="7" id="1322" />
+<extraparam>
+<info value="sampleAutoSec::Bob" taskName="Bob" referenceTaskName="sampleAutoSec" priority="0" operation="Bob" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="125" id="1349" >
+<cdparam x="847" y="316" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="811" y="313" id="1304" />
+<P2 x="762" y="345" id="1265" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1350" >
+<cdparam x="495" y="269" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="523" y="270" id="1327" />
+<P2 x="478" y="250" id="1210" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1351" >
+<cdparam x="1026" y="331" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="915" y="313" id="1305" />
+<P2 x="907" y="355" id="1234" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1352" >
+<cdparam x="1365" y="301" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="1045" y="308" id="1162" />
+<P2 x="1030" y="330" id="1240" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1353" >
+<cdparam x="164" y="291" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="408" y="291" id="1182" />
+<P2 x="408" y="275" id="1212" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1354" >
+<cdparam x="672" y="321" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="576" y="321" id="1338" />
+<P2 x="677" y="345" id="1264" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+
+</TMLArchiDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Architecture" nameTab="Architecture_enc" >
+<TMLArchiDiagramPanel name="DIPLODOCUS architecture and mapping Diagram" minX="10" maxX="2500" minY="10" maxY="1500" attributes="0" masterClockFrequency="200" >
+<COMPONENT type="1105" id="1388" >
+<cdparam x="985" y="212" />
+<sizeparam width="120" height="96" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory1" value="name" />
+<TGConnectingPoint num="0" id="1364" />
+<TGConnectingPoint num="1" id="1365" />
+<TGConnectingPoint num="2" id="1366" />
+<TGConnectingPoint num="3" id="1367" />
+<TGConnectingPoint num="4" id="1368" />
+<TGConnectingPoint num="5" id="1369" />
+<TGConnectingPoint num="6" id="1370" />
+<TGConnectingPoint num="7" id="1371" />
+<TGConnectingPoint num="8" id="1372" />
+<TGConnectingPoint num="9" id="1373" />
+<TGConnectingPoint num="10" id="1374" />
+<TGConnectingPoint num="11" id="1375" />
+<TGConnectingPoint num="12" id="1376" />
+<TGConnectingPoint num="13" id="1377" />
+<TGConnectingPoint num="14" id="1378" />
+<TGConnectingPoint num="15" id="1379" />
+<TGConnectingPoint num="16" id="1380" />
+<TGConnectingPoint num="17" id="1381" />
+<TGConnectingPoint num="18" id="1382" />
+<TGConnectingPoint num="19" id="1383" />
+<TGConnectingPoint num="20" id="1384" />
+<TGConnectingPoint num="21" id="1385" />
+<TGConnectingPoint num="22" id="1386" />
+<TGConnectingPoint num="23" id="1387" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory1" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1111" id="1363" >
+<father id="1388" num="0" />
+<cdparam x="1001" y="255" />
+<sizeparam width="75" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="45" minY="0" maxY="56" />
+<infoparam name="TGComponent" value="sym" />
+<TGConnectingPoint num="0" id="1355" />
+<TGConnectingPoint num="1" id="1356" />
+<TGConnectingPoint num="2" id="1357" />
+<TGConnectingPoint num="3" id="1358" />
+<TGConnectingPoint num="4" id="1359" />
+<TGConnectingPoint num="5" id="1360" />
+<TGConnectingPoint num="6" id="1361" />
+<TGConnectingPoint num="7" id="1362" />
+<extraparam>
+<info value="sym" referenceKeyName="sym" priority="0" typeName="key" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1105" id="1413" >
+<cdparam x="354" y="291" />
+<sizeparam width="109" height="97" minWidth="100" minHeight="35" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Memory0" value="name" />
+<TGConnectingPoint num="0" id="1389" />
+<TGConnectingPoint num="1" id="1390" />
+<TGConnectingPoint num="2" id="1391" />
+<TGConnectingPoint num="3" id="1392" />
+<TGConnectingPoint num="4" id="1393" />
+<TGConnectingPoint num="5" id="1394" />
+<TGConnectingPoint num="6" id="1395" />
+<TGConnectingPoint num="7" id="1396" />
+<TGConnectingPoint num="8" id="1397" />
+<TGConnectingPoint num="9" id="1398" />
+<TGConnectingPoint num="10" id="1399" />
+<TGConnectingPoint num="11" id="1400" />
+<TGConnectingPoint num="12" id="1401" />
+<TGConnectingPoint num="13" id="1402" />
+<TGConnectingPoint num="14" id="1403" />
+<TGConnectingPoint num="15" id="1404" />
+<TGConnectingPoint num="16" id="1405" />
+<TGConnectingPoint num="17" id="1406" />
+<TGConnectingPoint num="18" id="1407" />
+<TGConnectingPoint num="19" id="1408" />
+<TGConnectingPoint num="20" id="1409" />
+<TGConnectingPoint num="21" id="1410" />
+<TGConnectingPoint num="22" id="1411" />
+<TGConnectingPoint num="23" id="1412" />
+<extraparam>
+<info stereotype="MEMORY" nodeName="Memory0" />
+<attributes byteDataSize="4" clockRatio="1" bufferType="0" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="1438" >
+<cdparam x="338" y="225" />
+<sizeparam width="140" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus0" value="name" />
+<TGConnectingPoint num="0" id="1414" />
+<TGConnectingPoint num="1" id="1415" />
+<TGConnectingPoint num="2" id="1416" />
+<TGConnectingPoint num="3" id="1417" />
+<TGConnectingPoint num="4" id="1418" />
+<TGConnectingPoint num="5" id="1419" />
+<TGConnectingPoint num="6" id="1420" />
+<TGConnectingPoint num="7" id="1421" />
+<TGConnectingPoint num="8" id="1422" />
+<TGConnectingPoint num="9" id="1423" />
+<TGConnectingPoint num="10" id="1424" />
+<TGConnectingPoint num="11" id="1425" />
+<TGConnectingPoint num="12" id="1426" />
+<TGConnectingPoint num="13" id="1427" />
+<TGConnectingPoint num="14" id="1428" />
+<TGConnectingPoint num="15" id="1429" />
+<TGConnectingPoint num="16" id="1430" />
+<TGConnectingPoint num="17" id="1431" />
+<TGConnectingPoint num="18" id="1432" />
+<TGConnectingPoint num="19" id="1433" />
+<TGConnectingPoint num="20" id="1434" />
+<TGConnectingPoint num="21" id="1435" />
+<TGConnectingPoint num="22" id="1436" />
+<TGConnectingPoint num="23" id="1437" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus0" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="1463" >
+<cdparam x="907" y="330" />
+<sizeparam width="165" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Bus1" value="name" />
+<TGConnectingPoint num="0" id="1439" />
+<TGConnectingPoint num="1" id="1440" />
+<TGConnectingPoint num="2" id="1441" />
+<TGConnectingPoint num="3" id="1442" />
+<TGConnectingPoint num="4" id="1443" />
+<TGConnectingPoint num="5" id="1444" />
+<TGConnectingPoint num="6" id="1445" />
+<TGConnectingPoint num="7" id="1446" />
+<TGConnectingPoint num="8" id="1447" />
+<TGConnectingPoint num="9" id="1448" />
+<TGConnectingPoint num="10" id="1449" />
+<TGConnectingPoint num="11" id="1450" />
+<TGConnectingPoint num="12" id="1451" />
+<TGConnectingPoint num="13" id="1452" />
+<TGConnectingPoint num="14" id="1453" />
+<TGConnectingPoint num="15" id="1454" />
+<TGConnectingPoint num="16" id="1455" />
+<TGConnectingPoint num="17" id="1456" />
+<TGConnectingPoint num="18" id="1457" />
+<TGConnectingPoint num="19" id="1458" />
+<TGConnectingPoint num="20" id="1459" />
+<TGConnectingPoint num="21" id="1460" />
+<TGConnectingPoint num="22" id="1461" />
+<TGConnectingPoint num="23" id="1462" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="Bus1" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="1" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1102" id="1488" >
+<cdparam x="635" y="345" />
+<sizeparam width="170" height="50" minWidth="100" minHeight="50" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="ExternalBus" value="name" />
+<TGConnectingPoint num="0" id="1464" />
+<TGConnectingPoint num="1" id="1465" />
+<TGConnectingPoint num="2" id="1466" />
+<TGConnectingPoint num="3" id="1467" />
+<TGConnectingPoint num="4" id="1468" />
+<TGConnectingPoint num="5" id="1469" />
+<TGConnectingPoint num="6" id="1470" />
+<TGConnectingPoint num="7" id="1471" />
+<TGConnectingPoint num="8" id="1472" />
+<TGConnectingPoint num="9" id="1473" />
+<TGConnectingPoint num="10" id="1474" />
+<TGConnectingPoint num="11" id="1475" />
+<TGConnectingPoint num="12" id="1476" />
+<TGConnectingPoint num="13" id="1477" />
+<TGConnectingPoint num="14" id="1478" />
+<TGConnectingPoint num="15" id="1479" />
+<TGConnectingPoint num="16" id="1480" />
+<TGConnectingPoint num="17" id="1481" />
+<TGConnectingPoint num="18" id="1482" />
+<TGConnectingPoint num="19" id="1483" />
+<TGConnectingPoint num="20" id="1484" />
+<TGConnectingPoint num="21" id="1485" />
+<TGConnectingPoint num="22" id="1486" />
+<TGConnectingPoint num="23" id="1487" />
+<extraparam>
+<info stereotype="BUS-RR" nodeName="ExternalBus" />
+<attributes byteDataSize="4" arbitrationPolicy="0" sliceTime="10000" pipelineSize="1" clockRatio="1" privacy="0" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1100" id="1522" >
+<cdparam x="759" y="212" />
+<sizeparam width="208" height="101" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUAlice" value="name" />
+<TGConnectingPoint num="0" id="1498" />
+<TGConnectingPoint num="1" id="1499" />
+<TGConnectingPoint num="2" id="1500" />
+<TGConnectingPoint num="3" id="1501" />
+<TGConnectingPoint num="4" id="1502" />
+<TGConnectingPoint num="5" id="1503" />
+<TGConnectingPoint num="6" id="1504" />
+<TGConnectingPoint num="7" id="1505" />
+<TGConnectingPoint num="8" id="1506" />
+<TGConnectingPoint num="9" id="1507" />
+<TGConnectingPoint num="10" id="1508" />
+<TGConnectingPoint num="11" id="1509" />
+<TGConnectingPoint num="12" id="1510" />
+<TGConnectingPoint num="13" id="1511" />
+<TGConnectingPoint num="14" id="1512" />
+<TGConnectingPoint num="15" id="1513" />
+<TGConnectingPoint num="16" id="1514" />
+<TGConnectingPoint num="17" id="1515" />
+<TGConnectingPoint num="18" id="1516" />
+<TGConnectingPoint num="19" id="1517" />
+<TGConnectingPoint num="20" id="1518" />
+<TGConnectingPoint num="21" id="1519" />
+<TGConnectingPoint num="22" id="1520" />
+<TGConnectingPoint num="23" id="1521" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUAlice" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="1497" >
+<father id="1522" num="0" />
+<cdparam x="765" y="254" />
+<sizeparam width="169" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="39" minY="0" maxY="61" />
+<infoparam name="TGComponent" value="sampleAutoSec_enc::Alice" />
+<TGConnectingPoint num="0" id="1489" />
+<TGConnectingPoint num="1" id="1490" />
+<TGConnectingPoint num="2" id="1491" />
+<TGConnectingPoint num="3" id="1492" />
+<TGConnectingPoint num="4" id="1493" />
+<TGConnectingPoint num="5" id="1494" />
+<TGConnectingPoint num="6" id="1495" />
+<TGConnectingPoint num="7" id="1496" />
+<extraparam>
+<info value="sampleAutoSec_enc::Alice" taskName="Alice" referenceTaskName="sampleAutoSec_enc" priority="0" operation="Alice" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1100" id="1556" >
+<cdparam x="523" y="219" />
+<sizeparam width="212" height="102" minWidth="150" minHeight="100" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="CPUBob" value="name" />
+<TGConnectingPoint num="0" id="1532" />
+<TGConnectingPoint num="1" id="1533" />
+<TGConnectingPoint num="2" id="1534" />
+<TGConnectingPoint num="3" id="1535" />
+<TGConnectingPoint num="4" id="1536" />
+<TGConnectingPoint num="5" id="1537" />
+<TGConnectingPoint num="6" id="1538" />
+<TGConnectingPoint num="7" id="1539" />
+<TGConnectingPoint num="8" id="1540" />
+<TGConnectingPoint num="9" id="1541" />
+<TGConnectingPoint num="10" id="1542" />
+<TGConnectingPoint num="11" id="1543" />
+<TGConnectingPoint num="12" id="1544" />
+<TGConnectingPoint num="13" id="1545" />
+<TGConnectingPoint num="14" id="1546" />
+<TGConnectingPoint num="15" id="1547" />
+<TGConnectingPoint num="16" id="1548" />
+<TGConnectingPoint num="17" id="1549" />
+<TGConnectingPoint num="18" id="1550" />
+<TGConnectingPoint num="19" id="1551" />
+<TGConnectingPoint num="20" id="1552" />
+<TGConnectingPoint num="21" id="1553" />
+<TGConnectingPoint num="22" id="1554" />
+<TGConnectingPoint num="23" id="1555" />
+<extraparam>
+<info stereotype="CPURR" nodeName="CPUBob" />
+<attributes nbOfCores="1" byteDataSize="4" schedulingPolicy="0" sliceTime="10000" goIdleTime="10" maxConsecutiveIdleCycles="10" pipelineSize="5" taskSwitchingTime="20" branchingPredictionPenalty="2" cacheMiss="5" execiTime="1" execcTime="1" clockRatio="1" MECType="0" encryption="0"/>
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1101" id="1531" >
+<father id="1556" num="0" />
+<cdparam x="535" y="271" />
+<sizeparam width="164" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="0" maxX="48" minY="0" maxY="62" />
+<infoparam name="TGComponent" value="sampleAutoSec_enc::Bob" />
+<TGConnectingPoint num="0" id="1523" />
+<TGConnectingPoint num="1" id="1524" />
+<TGConnectingPoint num="2" id="1525" />
+<TGConnectingPoint num="3" id="1526" />
+<TGConnectingPoint num="4" id="1527" />
+<TGConnectingPoint num="5" id="1528" />
+<TGConnectingPoint num="6" id="1529" />
+<TGConnectingPoint num="7" id="1530" />
+<extraparam>
+<info value="sampleAutoSec_enc::Bob" taskName="Bob" referenceTaskName="sampleAutoSec_enc" priority="0" operation="Bob" fatherComponentMECType="0" />
+</extraparam>
+</SUBCOMPONENT>
+
+<CONNECTOR type="125" id="1557" >
+<cdparam x="847" y="316" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="811" y="313" id="1512" />
+<P2 x="762" y="345" id="1473" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1558" >
+<cdparam x="495" y="269" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="523" y="270" id="1535" />
+<P2 x="478" y="250" id="1418" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1559" >
+<cdparam x="1026" y="331" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="915" y="313" id="1513" />
+<P2 x="907" y="355" id="1442" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1560" >
+<cdparam x="1365" y="301" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="1045" y="308" id="1370" />
+<P2 x="1030" y="330" id="1448" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1561" >
+<cdparam x="164" y="291" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="408" y="291" id="1390" />
+<P2 x="408" y="275" id="1420" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+<CONNECTOR type="125" id="1562" >
+<cdparam x="672" y="321" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="{info}" />
+<P1 x="576" y="321" id="1546" />
+<P2 x="677" y="345" id="1472" />
+<AutomaticDrawing data="true" />
+<extraparam>
+<info priority="0" />
+<spy value="false" />
+</extraparam>
+</CONNECTOR>
+
+</TMLArchiDiagramPanel>
+
+</Modeling>
+
+
+
+
+<Modeling type="TML Component Design" nameTab="sampleAutoSec_enc" >
+<TMLComponentTaskDiagramPanel name="TML Component Task Diagram" minX="10" maxX="2500" minY="10" maxY="1500" channels="true" events="true" requests="true" zoom="1.0" >
+<CONNECTOR type="126" id="1645" >
+<cdparam x="0" y="0" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="Connector between ports" />
+<P1 x="398" y="89" id="1634" />
+<P2 x="275" y="89" id="1644" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="126" id="1563" >
+<cdparam x="255" y="121" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="Connector between ports" />
+<P1 x="275" y="136" id="1575" />
+<P2 x="398" y="136" id="1564" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1202" id="1574" >
+<cdparam x="411" y="58" />
+<sizeparam width="133" height="134" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Bob" />
+<TGConnectingPoint num="0" id="1566" />
+<TGConnectingPoint num="1" id="1567" />
+<TGConnectingPoint num="2" id="1568" />
+<TGConnectingPoint num="3" id="1569" />
+<TGConnectingPoint num="4" id="1570" />
+<TGConnectingPoint num="5" id="1571" />
+<TGConnectingPoint num="6" id="1572" />
+<TGConnectingPoint num="7" id="1573" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="1625" >
+<father id="1574" num="0" />
+<cdparam x="398" y="76" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="120" minY="-13" maxY="121" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="1634" />
+<extraparam>
+<Prop commName="nonceChBob_Alice" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+<SUBCOMPONENT type="1203" id="1565" >
+<father id="1574" num="1" />
+<cdparam x="398" y="123" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="120" minY="-13" maxY="121" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="1564" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="false" checkConfStatus="0" checkAuth="true" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+<COMPONENT type="1202" id="1585" >
+<cdparam x="106" y="69" />
+<sizeparam width="156" height="129" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="Primitive component" value="Alice" />
+<TGConnectingPoint num="0" id="1577" />
+<TGConnectingPoint num="1" id="1578" />
+<TGConnectingPoint num="2" id="1579" />
+<TGConnectingPoint num="3" id="1580" />
+<TGConnectingPoint num="4" id="1581" />
+<TGConnectingPoint num="5" id="1582" />
+<TGConnectingPoint num="6" id="1583" />
+<TGConnectingPoint num="7" id="1584" />
+<extraparam>
+<Data isAttacker="No" />
+</extraparam>
+</COMPONENT>
+<SUBCOMPONENT type="1203" id="1635" >
+<father id="1585" num="0" />
+<cdparam x="249" y="76" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="143" minY="-13" maxY="116" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="1644" />
+<extraparam>
+<Prop commName="nonceChBob_Alice" commType="0" origin="false" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="VOID" associatedEvent="VOID" checkConf="false" checkConfStatus="0" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+<SUBCOMPONENT type="1203" id="1576" >
+<father id="1585" num="1" />
+<cdparam x="249" y="123" />
+<sizeparam width="26" height="26" minWidth="1" minHeight="1" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="-13" maxX="143" minY="-13" maxY="116" />
+<infoparam name="Primitive port" value="Channel comm" />
+<TGConnectingPoint num="0" id="1575" />
+<extraparam>
+<Prop commName="comm" commType="0" origin="true" finite="false" blocking="false" maxSamples="8" widthSamples="4" isLossy="false" isPrex="false" isPostex="false" lossPercentage="0" maxNbOfLoss="0" dataFlowType="uint_16" associatedEvent="" checkConf="true" checkConfStatus="1" checkAuth="false" checkWeakAuthStatus="0" checkStrongAuthStatus="0" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+<Type type="0" typeOther="" />
+</extraparam>
+</SUBCOMPONENT>
+
+
+</TMLComponentTaskDiagramPanel>
+
+<TMLActivityDiagramPanel name="Bob" minX="10" maxX="2500" minY="10" maxY="1640" >
+<CONNECTOR type="115" id="1680" >
+<cdparam x="388" y="468" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="408" y="300" id="1679" />
+<P2 x="408" y="316" id="1586" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1036" id="1677" >
+<cdparam x="401" y="255" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="decrypt" value="null" />
+<TGConnectingPoint num="0" id="1678" />
+<TGConnectingPoint num="1" id="1679" />
+<extraparam>
+<Data secPattern="autoEncrypt_comm" />
+</extraparam>
+</COMPONENT>
+
+<CONNECTOR type="115" id="1676" >
+<cdparam x="392" y="371" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="186" id="1674" />
+<P2 x="407" y="204" id="1588" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="1675" >
+<cdparam x="392" y="441" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="135" id="1671" />
+<P2 x="407" y="156" id="1673" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1006" id="1672" >
+<cdparam x="336" y="161" />
+<sizeparam width="142" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="nonceChBob_Alice(1)" />
+<TGConnectingPoint num="0" id="1673" />
+<TGConnectingPoint num="1" id="1674" />
+<extraparam>
+<Data channelName="nonceChBob_Alice" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1035" id="1669" >
+<cdparam x="400" y="90" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="encrypt" value="null" />
+<TGConnectingPoint num="0" id="1670" />
+<TGConnectingPoint num="1" id="1671" />
+<extraparam>
+<Data secContext="nonce_Bob_Alice" type="Nonce" overhead="0" size="" encTime="100" decTime="100" nonce="" key="" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="1587" >
+<cdparam x="398" y="321" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="1586" />
+</COMPONENT>
+
+<COMPONENT type="1009" id="1590" >
+<cdparam x="373" y="209" />
+<sizeparam width="69" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="comm(1) " />
+<TGConnectingPoint num="0" id="1588" />
+<TGConnectingPoint num="1" id="1589" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="autoEncrypt_comm" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1000" id="1592" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="1591" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="1593" >
+<cdparam x="407" y="374" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="234" id="1589" />
+<P2 x="408" y="250" id="1678" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="1594" >
+<cdparam x="407" y="140" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="1591" />
+<P2 x="407" y="85" id="1670" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+<TMLActivityDiagramPanel name="Alice" minX="10" maxX="2500" minY="10" maxY="1670" >
+<CONNECTOR type="115" id="1658" >
+<cdparam x="375" y="379" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="408" y="186" id="1650" />
+<P2 x="408" y="202" id="1595" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1035" id="1648" >
+<cdparam x="401" y="141" />
+<sizeparam width="15" height="35" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="encrypt" value="null" />
+<TGConnectingPoint num="0" id="1649" />
+<TGConnectingPoint num="1" id="1650" />
+<extraparam>
+<Data secContext="autoEncrypt_comm" type="Symmetric Encryption" overhead="0" size="" encTime="100" decTime="100" nonce="nonce_Bob_Alice" key="" />
+</extraparam>
+</COMPONENT>
+
+<CONNECTOR type="115" id="1657" >
+<cdparam x="375" y="319" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="121" id="1656" />
+<P2 x="408" y="136" id="1649" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<COMPONENT type="1009" id="1654" >
+<cdparam x="334" y="96" />
+<sizeparam width="146" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="read channel" value="nonceChBob_Alice(1) " />
+<TGConnectingPoint num="0" id="1655" />
+<TGConnectingPoint num="1" id="1656" />
+<extraparam>
+<Data channelName="nonceChBob_Alice" nbOfSamples="1" secPattern="nonce_Bob_Alice" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1006" id="1597" >
+<cdparam x="376" y="207" />
+<sizeparam width="65" height="20" minWidth="30" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="write channel" value="comm(1)" />
+<TGConnectingPoint num="0" id="1595" />
+<TGConnectingPoint num="1" id="1596" />
+<extraparam>
+<Data channelName="comm" nbOfSamples="1" secPattern="autoEncrypt_comm" isAttacker="No" />
+</extraparam>
+</COMPONENT>
+
+<COMPONENT type="1001" id="1599" >
+<cdparam x="398" y="265" />
+<sizeparam width="20" height="20" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="stop state" value="null" />
+<TGConnectingPoint num="0" id="1598" />
+</COMPONENT>
+
+<COMPONENT type="1000" id="1601" >
+<cdparam x="400" y="50" />
+<sizeparam width="15" height="15" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<hidden value="false" />
+<cdrectangleparam minX="10" maxX="2500" minY="10" maxY="1500" />
+<infoparam name="start state" value="null" />
+<TGConnectingPoint num="0" id="1600" />
+</COMPONENT>
+
+<CONNECTOR type="115" id="1602" >
+<cdparam x="407" y="70" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="407" y="70" id="1600" />
+<P2 x="407" y="91" id="1655" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+<CONNECTOR type="115" id="1603" >
+<cdparam x="401" y="296" />
+<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
+<infoparam name="connector" value="null" />
+<P1 x="408" y="232" id="1596" />
+<P2 x="408" y="260" id="1598" />
+<AutomaticDrawing data="true" />
+</CONNECTOR>
+
+</TMLActivityDiagramPanel>
+
+</Modeling>
+
+
+
+
+</TURTLEGMODELING>
\ No newline at end of file
diff --git a/src/main/java/tmltranslator/toavatar/TML2Avatar.java b/src/main/java/tmltranslator/toavatar/TML2Avatar.java
index 0653a1a880..18fcac7d0d 100644
--- a/src/main/java/tmltranslator/toavatar/TML2Avatar.java
+++ b/src/main/java/tmltranslator/toavatar/TML2Avatar.java
@@ -666,14 +666,16 @@ public class TML2Avatar {
else if (ae.securityPattern.type.equals("Symmetric Encryption")){
if (!ae.securityPattern.nonce.isEmpty()){
block.addAttribute(new AvatarAttribute(ae.securityPattern.nonce, AvatarType.INTEGER, block, null));
+ block.addAttribute(new AvatarAttribute(ae.securityPattern.name, AvatarType.INTEGER, block,null));
AvatarMethod concat2 = new AvatarMethod("concat2",ae);
concat2.addParameter(block.getAvatarAttributeWithName(ae.securityPattern.name));
concat2.addParameter(block.getAvatarAttributeWithName(ae.securityPattern.nonce));
concat2.addReturnParameter(block.getAvatarAttributeWithName(ae.securityPattern.name));
if (block.getAvatarAttributeWithName(ae.securityPattern.name) !=null && block.getAvatarAttributeWithName(ae.securityPattern.nonce)!=null){
block.addMethod(concat2);
+ System.out.println("Adding concat2");
+ tran.addAction(ae.securityPattern.name+"=concat2("+ae.securityPattern.name + ","+ae.securityPattern.nonce+")");
}
- tran.addAction(ae.securityPattern.name+"=concat2("+ae.securityPattern.name + ","+ae.securityPattern.nonce+")");
}
//Securing a key instead of data
if (!ae.securityPattern.key.isEmpty()){
@@ -820,7 +822,8 @@ public class TML2Avatar {
get2.addParameter(block.getAvatarAttributeWithName(ae.securityPattern.name));
get2.addParameter(block.getAvatarAttributeWithName(ae.securityPattern.name));
get2.addParameter(block.getAvatarAttributeWithName("testnonce_"+ae.securityPattern.nonce));
- if (block.getAvatarAttributeWithName(ae.securityPattern.name)!=null && block.getAvatarAttributeWithName(ae.securityPattern.name)!=null && block.getAvatarAttributeWithName("testnonce_"+ae.securityPattern.nonce)!=null) {
+ if (block.getAvatarAttributeWithName(ae.securityPattern.name)!=null && block.getAvatarAttributeWithName("testnonce_"+ae.securityPattern.nonce)!=null) {
+ System.out.println("adding get2");
block.addMethod(get2);
}
tran.addAction("get2("+ae.securityPattern.name + ","+ae.securityPattern.name+",testnonce_"+ae.securityPattern.nonce+")");
diff --git a/src/main/java/ui/tmlcompd/TMLCPrimitiveComponent.java b/src/main/java/ui/tmlcompd/TMLCPrimitiveComponent.java
index 2ad6c2408e..2c7dd57259 100755
--- a/src/main/java/ui/tmlcompd/TMLCPrimitiveComponent.java
+++ b/src/main/java/ui/tmlcompd/TMLCPrimitiveComponent.java
@@ -201,7 +201,7 @@ public class TMLCPrimitiveComponent extends TGCScalableWithInternalComponent imp
iconIsDrawn = false;
}
if (isAttacker){
- g.drawImage(IconManager.imgic7008.getImage(), x + width - iconSize - textX, y + 2*textX, null);
+ g.drawImage(IconManager.imgic7008.getImage(), x + width - 2*iconSize - textX, y + 2*textX, null);
}
// Attributes
diff --git a/src/main/resources/ui/util/attacker.gif b/src/main/resources/ui/util/attacker.gif
index 63df12723915609815223e04b0f5e4fd0d53ed04..af420ccb8f058942276c9aee8c55c16d0ba73546 100755
GIT binary patch
delta 118
zcma!>&dBNR>1JV>sKg*KkyA5Oi9v#afjOpP*PVX`r#x5h-SJ?x|Iho!8WskzWH^MS
ztm@0#)tAsyb~<zSj(zv}?)xj>d6=+$TF>$t*3{+~3o0i2r3%CcAN`ZC*<N9)`p08l
ba$385te)Lkw4=sv{q6TZ_Sns5V6X-NwVgKw
delta 61
zcmbQv7{}@E>1JV>D9FGwkyBGgkb#GRfmyj?*PVX``<${Zw>>>r1t=c+j9ltz2`7
R#5(V`$e`T&6>}LFtN}R{6y*Q_
--
GitLab