diff --git a/build.txt b/build.txt
index 22d3c239350fb664825f283c6c1252b75f617fde..4a807ed922fedcea1113d042406bc0908c8986a1 100644
--- a/build.txt
+++ b/build.txt
@@ -1 +1,5 @@
-12361
\ No newline at end of file
+<<<<<<< HEAD
+12360
+=======
+12357
+>>>>>>> parent of 23b85be... update on build version: build.txt
diff --git a/modeling/SysMLSec/AliceAndBobHW.xml b/modeling/SysMLSec/AliceAndBobHW.xml
new file mode 100644
index 0000000000000000000000000000000000000000..1dd1696e7520fd11198a12401bd18a4348262303
--- /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/readme b/readme
index 2e7b9c347acdac8bc20800111e05229355985436..b70ee541ece526e1167843715033777aae7d1302 100644
--- a/readme
+++ b/readme
@@ -1,3 +1,5 @@
+
+
For users of TTool: (e.g., for users having a read-only access to the git)
-------------------
diff --git a/src/main/java/tmltranslator/toavatar/TML2Avatar.java b/src/main/java/tmltranslator/toavatar/TML2Avatar.java
index 0653a1a880a9843fe4cc5e1b15b257af3b98a04f..18fcac7d0d54856f2c85bba59785bee97d6b4df7 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/ActionPerformer.java b/src/main/java/ui/ActionPerformer.java
index a569776e71cbc7a2a9f9dfb26400baf00fefa44e..3714467acd0159593bfe49ca38a113c2dc087e07 100755
--- a/src/main/java/ui/ActionPerformer.java
+++ b/src/main/java/ui/ActionPerformer.java
@@ -839,6 +839,8 @@ public class ActionPerformer {
mgui.actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_BRIDGENODE);
} else if (command.equals(mgui.actions[TGUIAction.TMLARCHI_HWANODE].getActionCommand())) {
mgui.actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_HWANODE);
+ //} else if (command.equals(mgui.actions[TGUIAction.TMLARCHI_CAMSNODE].getActionCommand())) {
+ //mgui.actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_CAMSNODE);
} else if (command.equals(mgui.actions[TGUIAction.TMLARCHI_MEMORYNODE].getActionCommand())) {
mgui.actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_MEMORYNODE);
} else if (command.equals(mgui.actions[TGUIAction.TMLARCHI_DMANODE].getActionCommand())) {
@@ -892,6 +894,13 @@ public class ActionPerformer {
} else if (command.equals(mgui.actions[TGUIAction.TMLSD_ACTION_STATE].getActionCommand())) {
mgui.actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLSD_ACTION_STATE);
+ //SystemC AMS
+ /*} else if (command.equals(mgui.actions[TGUIAction.CAMS_EDIT].getActionCommand())) {
+ mgui.actionOnButton(TGComponentManager.EDIT, -1);
+ } else if (command.equals(mgui.actions[TGUIAction.CAMS_BLOCK].getActionCommand())) {
+ mgui.actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.CAMS_BLOCK);
+ } else if (command.equals(mgui.actions[TGUIAction.CAMS_CONNECTOR].getActionCommand())) {
+ mgui.actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.CAMS_CONNECTOR);*/
// Attack Tree Diagrams
} else if (command.equals(mgui.actions[TGUIAction.ATD_BLOCK].getActionCommand())) {
diff --git a/src/main/java/ui/GTMLModeling.java b/src/main/java/ui/GTMLModeling.java
index 2962737ca1255d9ea30782dd5279cb99ef6c4d96..f0fddf226c781dab2f7fbb51b0395382e2c79241 100755
--- a/src/main/java/ui/GTMLModeling.java
+++ b/src/main/java/ui/GTMLModeling.java
@@ -2518,6 +2518,35 @@ public class GTMLModeling {
return map; // the data structure map is returned to CheckSyntaxTMLMapping in GTURTLEModeling
}
+ // public SystemCAMSPanel<TGComponent> translateToSystemCAMS() { //ajout CD 04/07 FIXME
+ /*tous est a changé et a créé ici*/
+ // tmlm = new TMLModeling<>(true);
+ // archi = new TMLArchitecture(); //filled by makeArchitecture
+ // cams = new TMLSystemCAMS<>(tmlm, archi, false);
+ // cams.tmlscp = tmlscp;
+ // checkingErrors = new LinkedList<CheckingError> ();
+ // warnings = new LinkedList<CheckingError> ();
+
+ // TraceManager.addDev("Making architecture");
+ // makeArchitecture(); //fills archi
+ // TraceManager.addDev("Making TML modeling");
+ // if (!makeTMLModeling()) {
+ // return null;
+ // }
+ // TraceManager.addDev("Making SystemC-AMS");
+ // makeMapping(); //fills cams
+ // cams.listE = listE;
+ // TraceManager.addDev("Making TMLSCPlib");
+ // makeTMLCPLib();
+
+ // removeActionsWithRecords();
+ // cams.setTMLDesignPanel(this.tmlcdp);//a ajouter
+ // if (cams.firewall){ // j'espère pas besoin de tous ca
+ // tmlscp.getMainGUI().gtm.drawFirewall(cams);
+ // }
+ // return cams;
+ // }
+
public void processAttackerScenario(){
//Scan tasks and activity diagrams for attacker read/write channels
for (TMLTask task: tmlm.getTasks()){
diff --git a/src/main/java/ui/GTURTLEModeling.java b/src/main/java/ui/GTURTLEModeling.java
index 02140d94dd873c250f5ae58ddaf4b76e0e77f763..15147592f8316ed826532a9f253d80de90b83377 100755
--- a/src/main/java/ui/GTURTLEModeling.java
+++ b/src/main/java/ui/GTURTLEModeling.java
@@ -120,6 +120,7 @@ import ui.tmlcompd.*;
import ui.tmlcp.TMLCPPanel;
import ui.tmldd.*;
import ui.tmlsd.TMLSDPanel;
+//import ui.het.*;
import ui.tree.GraphTree;
import ui.tree.InvariantDataTree;
import ui.tree.SearchTree;
@@ -6051,6 +6052,37 @@ public class GTURTLEModeling {
makePostLoading(acdp, beginIndex);
}
}
+
+ /*} else if (tdp instanceof CAMSBlockDiagramPanel) { //ajout CD 24.07----mark
+ nl = doc.getElementsByTagName("CAMSBlockDiagramPanelCopy");
+
+ if (nl == null) {
+ return;
+ }
+
+ CAMSBlockDiagramPanel camsp = (CAMSBlockDiagramPanel)tdp;
+
+ for(i=0; i<nl.getLength(); i++) {
+ adn = nl.item(i);
+ if (adn.getNodeType() == Node.ELEMENT_NODE) {
+ elt = (Element) adn;
+
+ if (camsp == null) {
+ throw new MalformedModelingException();
+ }
+
+ decX = _decX;
+ decY = _decY;
+
+ makeXMLComponents(elt.getElementsByTagName("COMPONENT"), camsp);
+ makeXMLConnectors(elt.getElementsByTagName("CONNECTOR"), camsp);
+ makeXMLComponents(elt.getElementsByTagName("SUBCOMPONENT"), camsp);
+ connectConnectorsToRealPoints(camsp);
+ camsp.structureChanged();
+ makePostLoading(camsp, beginIndex);
+ }
+ }*/
+
} else if (tdp instanceof AvatarADPanel) {
nl = doc.getElementsByTagName("AvatarADPanelCopy");
@@ -6251,6 +6283,8 @@ public class GTURTLEModeling {
loadAvatarMethodology(node);
} else if (type.compareTo("Sysmlsec Methodology") == 0) {
loadSysmlsecMethodology(node);
+ /*} else if (type.compareTo("SystemC-AMS") == 0) {
+ loadSystemCAMS(node);*/
} else if (type.compareTo("TML Design") == 0) {
loadTMLDesign(node);
} else if (type.compareTo("TML Component Design") == 0) {
@@ -6755,6 +6789,34 @@ public class GTURTLEModeling {
}
}
+ /*public void loadSystemCAMS(Node node) throws MalformedModelingException, SAXException {
+ Element elt = (Element) node;
+ String nameTab;
+ NodeList diagramNl;
+ int indexDesign;
+
+
+ nameTab = elt.getAttribute("nameTab");
+
+ indexDesign = mgui.createSystemCAMS(nameTab);
+
+ diagramNl = node.getChildNodes();
+
+ for(int j=0; j<diagramNl.getLength(); j++) {
+ //TraceManager.addDev("Design nodes: " + j);
+ node = diagramNl.item(j);
+ if (node.getNodeType() == Node.ELEMENT_NODE) {
+ elt = (Element)node;
+ if (elt.getTagName().compareTo("SystemCAMSDiagramPanel") == 0) {
+ // Class diagram
+ TraceManager.addDev("Loading SystemC-AMS");
+ loadSystemCAMSDiagram(elt, indexDesign);
+ TraceManager.addDev("End loading SystemC-AMS");
+ }
+ }
+ }
+ }*/
+
public void loadTMLDesign(Node node) throws MalformedModelingException, SAXException {
Element elt = (Element) node;
String nameTab;
@@ -7023,6 +7085,11 @@ public class GTURTLEModeling {
//TraceManager.addDev("Connectors...");
((AvatarADPanel)tdp).setConnectorsToFront();
}
+
+ /*if (tdp instanceof CAMSBlockDiagramPanel) {
+ //TraceManager.addDev("Connectors...");
+ ((CAMSBlockDiagramPanel)tdp).setConnectorsToFront();
+ }*/
}
// AVATAR
@@ -7240,6 +7307,22 @@ public class GTURTLEModeling {
loadDiagram(elt, tdp);
}
+ public void loadSystemCAMSDiagram(Element elt, int indexDesign) throws MalformedModelingException, SAXException {
+ //ajout CD
+ String name;
+ TDiagramPanel tdp;
+
+ // class diagram name
+ name = elt.getAttribute("name");
+ mgui.setSystemCAMSDiagramName(indexDesign, name);
+ tdp = mgui.getMainTDiagramPanel(indexDesign);
+ tdp.setName(name);
+
+ //TraceManager.addDev("tdp=" + tdp.getName());
+
+ loadDiagram(elt, tdp);
+ }
+
public void loadTMLTaskDiagram(Element elt, int indexDesign) throws MalformedModelingException, SAXException {
String name;
@@ -8911,6 +8994,39 @@ public class GTURTLEModeling {
}
}
+ //public boolean checkSyntaxSystemCAMS(Vector<TGComponent> blocksToTakeIntoAccount, SystemCAMSPanel scp, boolean optimize) { //ajout CD 04/07 FIXME
+ // List<TMLError> warningsOptimize = new ArrayList<TMLError>();
+ // warnings = new LinkedList<CheckingError> ();
+ // mgui.setMode(MainGUI.VIEW_SUGG_DESIGN_KO);
+ // GTMLModeling gtmlm = new GTMLModeling(scp, true);
+
+ // // gtmlm.setBlocks(blocksToTakeIntoAccount); //simply transforms the parameter from a Vector to LinkedList
+ // nullifyTMLModeling();
+ // tmlm = null;
+ // tm = null;
+ // tmState = 1;
+ // // scp = gtmlm.translateToSystemCAMS();
+
+ // listE = gtmlm.getCorrespondanceTable();
+
+ // checkingErrors = gtmlm.getCheckingErrors();
+ // avatarspec = gtmlm.avspec;
+ // if ((checkingErrors != null) && (checkingErrors.size() > 0)){
+ // analyzeErrors();
+ // warnings = gtmlm.getCheckingWarnings();
+ // return false;
+ // } else {
+ // if (optimize) {
+ // warningsOptimize = tmap.optimize();
+ // }
+ // // warnings.addAll(convertToCheckingErrorTMLErrors(warningsOptimize, scp.scp));
+ // mgui.resetAllDIPLOIDs();
+ // listE.useDIPLOIDs();
+ // mgui.setMode(MainGUI.GEN_DESIGN_OK);
+ //return true;
+ // }
+ //}
+
public boolean checkSyntaxTMLMapping(Vector<TGComponent> nodesToTakeIntoAccount, TMLArchiPanel tmlap, boolean optimize) {
List<TMLError> warningsOptimize = new ArrayList<TMLError>();
warnings = new LinkedList<CheckingError> ();
diff --git a/src/main/java/ui/MainGUI.java b/src/main/java/ui/MainGUI.java
index fe7f83a8485c0dc0d8bb649348d563edf8db4094..eaa11693af513a705aebe0ffebde03eb0912e53a 100644
--- a/src/main/java/ui/MainGUI.java
+++ b/src/main/java/ui/MainGUI.java
@@ -84,6 +84,7 @@ import ui.tmlcompd.TMLComponentTaskDiagramPanel;
import ui.tmlcp.TMLCPPanel;
import ui.tmldd.TMLArchiDiagramPanel;
import ui.tmlsd.TMLSDPanel;
+//import ui.het.*;
import ui.tree.DiagramTreeModel;
import ui.tree.DiagramTreeRenderer;
import ui.tree.JDiagramTree;
@@ -989,6 +990,36 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
return index;
}
+ /*public int addSystemCAMSPanel(String name, int index) { //ajout CD -----Mark
+ if (index == -1) {
+ index = tabs.size();
+ }
+ SystemCAMSPanel scp = new SystemCAMSPanel(this);
+ tabs.add(index, scp);
+ mainTabbedPane.add(scp.tabbedPane, index);
+ mainTabbedPane.setToolTipTextAt(index, "Open System C-AMS diagrams ");
+ mainTabbedPane.setTitleAt(index, name);
+ mainTabbedPane.setIconAt(index, IconManager.imgic60);
+ //mainTabbedPane.addTab(name, IconManager.imgic14, dp.tabbedPane, "Opens design diagrams");
+ scp.init();
+ //ystem.out.println("Design added");
+ return index;
+ }
+
+ public CAMSBlockDiagramPanel addSystemCAMSPanel(String name, int index, TMLArchiCAMSNode parent) {
+ if (index == -1) {
+ index = tabs.size();
+ }
+ SystemCAMSPanel scp = new SystemCAMSPanel(this);
+ tabs.add(index, scp);
+ mainTabbedPane.add(scp.tabbedPane, index);
+ mainTabbedPane.setToolTipTextAt(index, "Open System C-AMS diagrams ");
+ mainTabbedPane.setTitleAt(index, name);
+ mainTabbedPane.setIconAt(index, IconManager.imgic60);
+ scp.init();
+ return scp.getCAMSBlockDiagramPanel();
+ }*/
+
//Return the list of all the TMLArchiDiagramPanels
public Vector<TMLArchiPanel> getTMLArchiDiagramPanels() {
@@ -1364,6 +1395,12 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
return index;
}
+ /*public int createSystemCAMS(String name) { //ajout CD
+ int index = addSystemCAMSPanel(name, -1);
+ mainTabbedPane.setSelectedIndex(index);
+ return index;
+ }*/
+
public int createADD(String name) {
int index = addADDPanel(name, -1);
mainTabbedPane.setSelectedIndex(index);
@@ -1737,6 +1774,15 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
//frame.repaint();
}
+ /*public void newSystemCAMS() {//ajout CD
+ //TraceManager.addDev("NEW DIPLO Architecture");
+ addSystemCAMSPanel("SystemC-AMS", -1);
+ tabs.elementAt(tabs.size()-1).tabbedPane.setSelectedIndex(0);
+ mainTabbedPane.setSelectedIndex(tabs.size()-1);
+ //paneAction(null);
+ //frame.repaint();
+ }*/
+
public void newADD() {
//TraceManager.addDev("NEW Avatar deployment");
addADDPanel("Deployment", -1);
@@ -3286,7 +3332,44 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
}
}
}
- } else if (tp instanceof TMLArchiPanel) {
+ /*} else if (tp instanceof SystemCAMSPanel) { //Ajout CD
+
+ SystemCAMSPanel camsp = (SystemCAMSPanel)tp;
+ JDialogSelectSystemCAMSBlock.validated = camsp.validated;
+ JDialogSelectSystemCAMSBlock.ignored = camsp.ignored;
+ Vector<TGComponent> camsBlocksToValidate = new Vector<TGComponent>();
+ JDialogSelectSystemCAMSBlock jdsscb = new JDialogSelectSystemCAMSBlock(frame, camsBlocksToValidate, camsp.camsbdp.getComponentList(),"Block Parameter");
+ if (!automatic) {
+ GraphicLib.centerOnParent(jdsscb);
+ jdsscb.setVisible(true);
+ } else {
+ jdsscb.closeDialog();
+ }
+
+ if (camsBlocksToValidate.size() > 0) {
+ camsp.validated = JDialogSelectSystemCAMSBlock.validated;
+ camsp.ignored = JDialogSelectSystemCAMSBlock.ignored;
+ if (b) {
+ setMode(MainGUI.GEN_SYSTEMC_OK);
+ setMode(MainGUI.MODEL_OK);
+ ret = true;
+ if (!automatic) {
+ JOptionPane.showMessageDialog(frame,
+ "0 error, " + getCheckingWarnings().size() + " warning(s). You can now perform verifications (safety, security, performance) or generate executable code",
+ "Syntax analysis successful on SystemC-AMS",
+ JOptionPane.INFORMATION_MESSAGE);
+ }
+ } else {
+ if (!automatic) {
+ JOptionPane.showMessageDialog(frame,
+ "The SystemC-AMS contains several errors",
+ "Syntax analysis failed",
+ JOptionPane.INFORMATION_MESSAGE);
+ }
+ }
+ }*/
+
+ } else if (tp instanceof TMLArchiPanel) {
tmlap = (TMLArchiPanel)tp;
JDialogSelectTMLNodes.validated = tmlap.validated;
JDialogSelectTMLNodes.ignored = tmlap.ignored;
@@ -5689,6 +5772,11 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
tp.tabbedPane.setTitleAt(0, name);
}
+ public void setSystemCAMSDiagramName(int indexDesign, String name) {
+ TURTLEPanel tp = tabs.elementAt(indexDesign);
+ tp.tabbedPane.setTitleAt(0, name);
+ }
+
public void setSysmlsecMethodologyDiagramName(int indexDesign, String name) {
TURTLEPanel tp = tabs.elementAt(indexDesign);
tp.tabbedPane.setTitleAt(0, name);
@@ -8044,7 +8132,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
private JPopupMenu menu;
private JMenuItem rename, remove, moveRight, moveLeft, newDesign, newAnalysis, newDeployment, newRequirement/*, newTMLDesign*/, newTMLComponentDesign, newTMLArchi, newProactiveDesign, newTURTLEOSDesign,
- newNCDesign, sort, clone, newAttackTree, newAVATARBD, newAVATARRequirement, newMAD, newTMLCP, newTMLMethodo, newAvatarMethodo, newAVATARDD, newSysmlsecMethodo;
+ newNCDesign, sort, clone, newAttackTree, newAVATARBD, newAVATARRequirement, newMAD, newTMLCP, newTMLMethodo, newAvatarMethodo, newAVATARDD, newSysmlsecMethodo, newSystemCAMS;
private JMenuItem newAVATARAnalysis;
public PopupListener(MainGUI _mgui) {
@@ -8091,6 +8179,7 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
newTMLComponentDesign = createMenuItem("New Partitioning - Functional view");
newTMLArchi = createMenuItem("New Partitioning - Architecture and Mapping");
newTMLCP = createMenuItem("New Partitioning - Communication Pattern");
+ newSystemCAMS = createMenuItem("New SystemC-AMS Block Diagram"); //ajout CD
newProactiveDesign = createMenuItem("New Proactive Design");
newTURTLEOSDesign = createMenuItem("New TURTLE-OS Design");
newNCDesign = createMenuItem("New Network Calculus Design");
@@ -8178,6 +8267,8 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
menu.add(newTMLCP);
menu.add(newTMLArchi);
menu.addSeparator();
+ menu.add(newSystemCAMS);//ajout CD
+ menu.addSeparator();
}
}
@@ -8301,7 +8392,9 @@ public class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
mgui.newAvatarMADs();
} else if (e.getSource() == newAVATARAnalysis) {
mgui.newAvatarAnalysis();
- }
+ } /*else if (e.getSource() == newSystemCAMS) { //ajout CD
+ mgui.newSystemCAMS();
+ }*/
}
};
}
diff --git a/src/main/java/ui/TAttribute.java b/src/main/java/ui/TAttribute.java
index 0e171a89a8384fe0e653b1e08c70cdc3185f89b8..41fd59deb3366b7f44678b414b3c04717d557821 100755
--- a/src/main/java/ui/TAttribute.java
+++ b/src/main/java/ui/TAttribute.java
@@ -74,6 +74,7 @@ public class TAttribute {
public final static int INTEGER = 8;
public final static int TIMER = 9;
public final static int ADDRESS = 10;
+ public final static int DOUBLE = 11;
// Confidentiality verififcation
public final static int NOT_VERIFIED = 0;
@@ -90,7 +91,8 @@ public class TAttribute {
private int confidentialityVerification = NOT_VERIFIED;
- public boolean isAvatar;
+ public boolean isAvatar;
+ public boolean isCAMS;
private boolean set = false;
@@ -302,6 +304,17 @@ public class TAttribute {
}
return -1;
}
+
+ public static int getCAMSType(String s) {
+ if (s.equals("bool")) {
+ return BOOLEAN;
+ } else if (s.equals("double")) {
+ return DOUBLE;
+ } else if (!s.equals("")) {
+ return OTHER;
+ }
+ return -1;
+ }
@@ -348,20 +361,31 @@ public class TAttribute {
}
}
- public static String getStringAvatarType(int type) {
+ public static String getStringAvatarType(int type) {
switch(type) {
- case INTEGER:
- return "int";
- case BOOLEAN:
- return "bool";
- case TIMER:
- return "Timer";
- case NATURAL:
- return "int";
- case ADDRESS:
- return "addr";
- default:
- return "unknown";
+ case INTEGER:
+ return "int";
+ case BOOLEAN:
+ return "bool";
+ case TIMER:
+ return "Timer";
+ case NATURAL:
+ return "int";
+ case ADDRESS:
+ return "addr";
+ default:
+ return "unknown";
+ }
+ }
+
+ public static String getStringCAMSType(int type) {
+ switch(type) {
+ case DOUBLE:
+ return "double";
+ case BOOLEAN:
+ return "bool";
+ default:
+ return "unknown";
}
}
@@ -379,15 +403,15 @@ public class TAttribute {
if ((initialValue == null) || (initialValue.equals(""))) {
return getStringAccess(access) + " " + id + " : " + myType + ";";
} else {
- if (type == ARRAY_NAT) {
- return getStringAccess(access) + " " + id + " [" + getInitialValue() + "] : " + myType + ";";
- } else {
- return getStringAccess(access) + " " + id + " = " + getInitialValue() + " : " + myType + ";";
- }
+ if (type == ARRAY_NAT) {
+ return getStringAccess(access) + " " + id + " [" + getInitialValue() + "] : " + myType + ";";
+ } else {
+ return getStringAccess(access) + " " + id + " = " + getInitialValue() + " : " + myType + ";";
+ }
}
}
- public String toAvatarString() {
+ public String toAvatarString() {
String myType;
if (type == OTHER) {
myType = typeOther;
@@ -398,11 +422,30 @@ public class TAttribute {
if ((initialValue == null) || (initialValue.equals(""))) {
return getStringAccess(access) + " " + id + " : " + myType + ";";
} else {
- if (type == ARRAY_NAT) {
- return getStringAccess(access) + " " + id + " [" + getInitialValue() + "] : " + myType + ";";
- } else {
- return getStringAccess(access) + " " + id + " = " + getInitialValue() + " : " + myType + ";";
- }
+ if (type == ARRAY_NAT) {
+ return getStringAccess(access) + " " + id + " [" + getInitialValue() + "] : " + myType + ";";
+ } else {
+ return getStringAccess(access) + " " + id + " = " + getInitialValue() + " : " + myType + ";";
+ }
+ }
+ }
+
+ public String toCAMSString() {
+ String myType;
+ if (type == OTHER) {
+ myType = typeOther;
+ } else {
+ myType = getStringCAMSType(type);
+ }
+
+ if ((initialValue == null) || (initialValue.equals(""))) {
+ return getStringAccess(access) + " " + id + " : " + myType + ";";
+ } else {
+ if (type == ARRAY_NAT) {
+ return getStringAccess(access) + " " + id + " [" + getInitialValue() + "] : " + myType + ";";
+ } else {
+ return getStringAccess(access) + " " + id + " = " + getInitialValue() + " : " + myType + ";";
+ }
}
}
diff --git a/src/main/java/ui/TDiagramPanel.java b/src/main/java/ui/TDiagramPanel.java
index 6243f0997d1d861c684930dec30c32831dd7f4d3..229956373154ffd499f6bb7391daf8910b5d5254 100755
--- a/src/main/java/ui/TDiagramPanel.java
+++ b/src/main/java/ui/TDiagramPanel.java
@@ -62,6 +62,7 @@ import ui.tmlcd.TMLTaskOperator;
import ui.tmlcompd.TMLCCompositeComponent;
import ui.tmlcompd.TMLCPrimitiveComponent;
import ui.tmlcompd.TMLCRecordComponent;
+//import ui.het.*;
import ui.window.JDialogCode;
import ui.window.JDialogNote;
import ui.window.JDialogSearchBox;
@@ -108,6 +109,7 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
protected List<TGComponent> componentList;
protected TGConnectingPoint selectedConnectingPoint;
+ //protected CAMSConnectingPoint selectedCAMSConnectingPoints;
protected TGComponent componentPointed;
protected TGComponent componentPopup;
protected TToolBar ttb;
@@ -176,6 +178,7 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
protected int y2;
protected Vector<Point> listPoint;
protected TGConnectingPoint p1, p2;
+ //protected CAMSConnectingPoint cp1, cp2;
protected int type;
// For component selection
@@ -471,6 +474,9 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
if (this.javaVisible && (tgc.hasPostJavaCode () || tgc.hasPreJavaCode ()))
tgc.drawJavaCode (g);
+
+ //if (this instanceof CAMSBlockDiagramPanel) //Connecting points should always be visible in System-C AMS panels
+ //tgc.drawTGConnectingPoint (g, this.type);
}
// Draw name of component selected
@@ -901,6 +907,10 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
return selectedConnectingPoint;
}
+ //public CAMSConnectingPoint getSelectedCAMSConnectingPoint(){
+ //return selectedCAMSConnectingPoints;
+ //}
+
// Adding component
public TGComponent addComponent(int x, int y, boolean swallow) {
//TraceManager.addDev("Add component");
@@ -1040,6 +1050,47 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
listPoint = null;
}
+ /*public void addingCAMSConnector() {
+ listPoint = new Vector<Point>();
+ cp1 = getSelectedCAMSConnectingPoint();
+ x1 = cp1.getX(); y1 = cp1.getY();
+ selectedConnectingPoint.setFree(false);
+ }
+
+ public void setAddingCAMSConnector(int _x2, int _y2) {
+ x2 = _x2; y2 = _y2;
+ }
+
+ public void addPointToCAMSConnector(int x, int y) {
+ listPoint.addElement(new Point(x, y));
+ x1 = x;
+ y1 = y;
+ }
+
+ public void finishAddingConnector(CAMSConnectingPoint cp2) {
+ CAMSBlockConnector camsco = TGComponentManager.addCAMSConnector(cp1.getX(), cp1.getY(), mgui.getIdButtonSelected(), this, cp1, cp2, listPoint);
+ if (camsco != null) {
+ TraceManager.addDev("Adding connector");
+ cp2.setFree(false);
+ this.componentList.add(0, camsco);
+ if (camsco instanceof SpecificActionAfterAdd) {
+ ((SpecificActionAfterAdd)camsco).specificActionAfterAdd();
+ }
+ stopAddingConnector(false);
+ cp1.setFree(false);
+ cp1 = null;
+ cp2 = null;
+ } else {
+ TraceManager.addDev("Cancel adding connector");
+ cp2.setFree(true);
+ stopAddingConnector(true);
+ cp1.setFree(true);
+ }
+ }*/
+
+// -------------mark
+
+
public void setMovingHead(int _x1, int _y1, int _x2, int _y2) {
x1 = _x1; y1 = _y1;
x2 = _x2; y2 = _y2;
@@ -2563,6 +2614,16 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
});
}
+ /*public String findCAMSBlockName(String name) {
+ return this.findGoodName (name, new NameChecker () {
+ public boolean checkCAMSBlock (CAMSBlock o, String name) {
+ if (o.getValue ().equals (name))
+ return true;
+ return o.hasBlockWithName();
+ }
+ });
+ }*/
+
public String findAvatarSMDStateName(String name) {
return this.findGoodName (name, new NameChecker () {
public boolean checkAvatarSMDState (AvatarSMDState o, String name) {
@@ -3297,4 +3358,8 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
for (TGComponent tgc: this.componentList)
tgc.searchForText(text, elements);
}
+
+ public MainGUI getMainGUI(){ //Ajout CD pour creation d'un panel depuis un block
+ return mgui;
+ }
}
diff --git a/src/main/java/ui/TGComponentManager.java b/src/main/java/ui/TGComponentManager.java
index 843c5c1fbe9904177670949a533b4a841eaa97fe..8c2843d656eb5f6740984b60834d9a674510df65 100755
--- a/src/main/java/ui/TGComponentManager.java
+++ b/src/main/java/ui/TGComponentManager.java
@@ -75,6 +75,7 @@ import ui.tmlcompd.*;
import ui.tmlcp.*;
import ui.tmldd.*;
import ui.tmlsd.*;
+//import ui.het.*;
import ui.ucd.*;
import java.awt.*;
@@ -261,6 +262,7 @@ public class TGComponentManager {
public static final int TMLARCHI_BUSNODE = 1102;
public static final int TMLARCHI_COMMUNICATION_ARTIFACT = 1103;
public static final int TMLARCHI_HWANODE = 1104;
+ //public static final int TMLARCHI_CAMSNODE = 1115;
public static final int TMLARCHI_MEMORYNODE = 1105;
public static final int TMLARCHI_BRIDGENODE = 1106;
public static final int TMLARCHI_DMANODE = 1107;
@@ -320,6 +322,10 @@ public class TGComponentManager {
public static final int CONNECTOR_MESSAGE_ASYNC_TMLSD = 1523;
public static final int TMLSD_ACTION_STATE = 1524;
+ // SystemC-AMS
+ //public static final int CAMS_CONNECTOR = 1601;
+ //public static final int CAMS_BLOCK = 1602 ;
+
// SMD diagram
public static final int PROSMD_START_STATE = 2000;
public static final int PROSMD_STOP_STATE = 2001;
@@ -1172,6 +1178,9 @@ public class TGComponentManager {
case TMLARCHI_HWANODE:
tgc = new TMLArchiHWANode(x, y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp);
break;
+ /*case TMLARCHI_CAMSNODE:
+ tgc = new TMLArchiCAMSNode(x, y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp);
+ break;*/
case TMLARCHI_MEMORYNODE:
tgc = new TMLArchiMemoryNode(x, y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp);
break;
@@ -1193,6 +1202,9 @@ public class TGComponentManager {
case TMLARCHI_KEY:
tgc = new TMLArchiKey(x, y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp);
break;
+ //case CAMS_BLOCK:
+ //tgc = new CAMSBlock(x,y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp);
+ //break;
// Communication patterns + SD
case TMLCP_CHOICE:
@@ -1575,6 +1587,10 @@ public class TGComponentManager {
} else if (tgc instanceof AvatarADAssociationConnector) {
return AAD_ASSOCIATION_CONNECTOR;
+ //SystemC-AMS -----mark
+ //} else if (tgc instanceof CAMSBlockConnector) {
+ //return CAMS_CONNECTOR;
+
// Others
} else if (tgc instanceof TADDeterministicDelay) {
return TAD_DETERMINISTIC_DELAY;
@@ -1889,6 +1905,8 @@ public class TGComponentManager {
// return AVATAR_FIREWALL;
} else if (tgc instanceof TMLArchiHWANode) {
return TMLARCHI_HWANODE;
+ /*} else if (tgc instanceof TMLArchiCAMSNode) {
+ return TMLARCHI_CAMSNODE;*/
} else if (tgc instanceof TMLArchiMemoryNode) {
return TMLARCHI_MEMORYNODE;
} else if (tgc instanceof TMLArchiDMANode) {
@@ -2067,6 +2085,11 @@ public class TGComponentManager {
tgc = new SysmlsecMethodologyConnector(x, y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp, p1, p2, listPoint);
break;
+ // // System C-AMS
+ // case CAMS_CONNECTOR:
+ // tgc = new CAMSBlockConnector(x, y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp, p1, p2, listPoint);
+ // break;
+
// AVATAR MAD
case AVATARMAD_COMPOSITION_CONNECTOR:
tgc = new AvatarMADCompositionConnector(x, y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp, p1, p2, listPoint);
@@ -2289,4 +2312,10 @@ public class TGComponentManager {
}
+ /*public final static CAMSBlockConnector addCAMSConnector(int x, int y, int id, TDiagramPanel tdp, CAMSConnectingPoint p1, CAMSConnectingPoint p2, Vector<Point> listPoint) {
+ CAMSBlockConnector cbc = null;
+ cbc = new CAMSBlockConnector(x, y, tdp.getMinX(), tdp.getMaxX(), tdp.getMinY(), tdp.getMaxY(), false, null, tdp, p1, p2, listPoint);
+ return cbc;
+ }*/
+
} // Class
diff --git a/src/main/java/ui/TGUIAction.java b/src/main/java/ui/TGUIAction.java
index c6cd59ee3bcf0314ba660850d492e1c8a24fe530..e8ac2e3d5093eb6a63b944db96d1d7f1c82b42d2 100755
--- a/src/main/java/ui/TGUIAction.java
+++ b/src/main/java/ui/TGUIAction.java
@@ -856,7 +856,7 @@ public class TGUIAction extends AbstractAction {
actions[ADD_ROMNODE] = new TAction("add-add-romnode", "Add a ROM", IconManager.imgic1108, IconManager.imgic1108, "ROM", "Add a memory node to the currently opened AVATAR deployment diagram", 0);
actions[ADD_DMANODE] = new TAction("add-add-dmanode", "Add a DMA", IconManager.imgic1110, IconManager.imgic1110, "DMA", "Add a DMA node to the currently opened AVATAR deployment diagram", 0);
actions[ADD_ICUNODE] = new TAction("add-add-icunode", "Add an ICU", IconManager.imgic1112, IconManager.imgic1112, "ICU", "Add a ICU node to the currently opened AVATAR deployment diagram", 0);
- actions[ADD_COPROMWMRNODE] = new TAction("add-add-copromwmrnode", "Add a MWMR Copro", IconManager.imgic1114, IconManager.imgic1114, "MWMR Copro", "Add a DMA node to the currently opened AVATAR deployment diagram", 0);
+ actions[ADD_COPROMWMRNODE] = new TAction("add-add-copromwmrnode", "Add a MWMR Copro", IconManager.imgic1114, IconManager.imgic1114, "MWMR Copro", "Add a MWMR Coprocessor node to the currently opened AVATAR deployment diagram", 0);
actions[ADD_TIMERNODE] = new TAction("add-add-timernode", "Add a Timer", IconManager.imgic1116, IconManager.imgic1116, "Timer", "Add a timer node to the currently opened AVATAR deployment diagram", 0);
diff --git a/src/main/java/ui/tmlcompd/TMLCPrimitiveComponent.java b/src/main/java/ui/tmlcompd/TMLCPrimitiveComponent.java
index 2ad6c2408ebea30c19867518afe0efbd90d76046..2c7dd572598e570c8e7f1cb37e1145f14c1f34a3 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/java/ui/util/DefaultText.java b/src/main/java/ui/util/DefaultText.java
index 50f4bea1fd013a2aeaa370c57d17b314e4c54dfd..723b2e9a1f19eeae0ae5ff7bde642c71f977e508 100755
--- a/src/main/java/ui/util/DefaultText.java
+++ b/src/main/java/ui/util/DefaultText.java
@@ -51,9 +51,8 @@ package ui.util;
*/
public class DefaultText {
- public static String BUILD = "12360";
- public static String DATE = "2017/09/11 02:01:25 CET";
-
+ public static String BUILD = "12359";
+ public static String DATE = "2017/09/10 02:01:25 CET";
public static StringBuffer sbAbout = makeAbout();
diff --git a/src/main/java/ui/window/JDialogSelectSystemCAMSBlock.java b/src/main/java/ui/window/JDialogSelectSystemCAMSBlock.java
new file mode 100755
index 0000000000000000000000000000000000000000..dc13279e3a4fcd0b9ecafd99746abfdf254a60be
--- /dev/null
+++ b/src/main/java/ui/window/JDialogSelectSystemCAMSBlock.java
@@ -0,0 +1,421 @@
+/* Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille, Andrea Enrici
+ *
+ * ludovic.apvrille AT telecom-paristech.fr
+ * andrea.enrici AT telecom-paristech.fr
+ *
+ * This software is a computer program whose purpose is to allow the
+ * edition of TURTLE analysis, design and deployment diagrams, to
+ * allow the generation of RT-LOTOS or Java code from this diagram,
+ * and at last to allow the analysis of formal validation traces
+ * obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
+ * from INRIA Rhone-Alpes.
+ *
+ * This software is governed by the CeCILL license under French law and
+ * abiding by the rules of distribution of free software. You can use,
+ * modify and/ or redistribute the software under the terms of the CeCILL
+ * license as circulated by CEA, CNRS and INRIA at the following URL
+ * "http://www.cecill.info".
+ *
+ * As a counterpart to the access to the source code and rights to copy,
+ * modify and redistribute granted by the license, users are provided only
+ * with a limited warranty and the software's author, the holder of the
+ * economic rights, and the successive licensors have only limited
+ * liability.
+ *
+ * In this respect, the user's attention is drawn to the risks associated
+ * with loading, using, modifying and/or developing or reproducing the
+ * software by the user in light of its specific status of free software,
+ * that may mean that it is complicated to manipulate, and that also
+ * therefore means that it is reserved for developers and experienced
+ * professionals having in-depth computer knowledge. Users are therefore
+ * encouraged to load and test the software's suitability as regards their
+ * requirements in conditions enabling the security of their systems and/or
+ * data to be ensured and, more generally, to use and operate it in the
+ * same conditions as regards security.
+ *
+ * The fact that you are presently reading this means that you have had
+ * knowledge of the CeCILL license and that you accept its terms.
+ */
+
+
+
+
+package ui.window;
+
+import myutil.TraceManager;
+import ui.util.IconManager;
+import ui.TGComponent;
+//import ui.het.*;
+
+import javax.swing.*;
+import javax.swing.event.ListSelectionEvent;
+import javax.swing.event.ListSelectionListener;
+import java.awt.*;
+import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
+import java.util.Arrays;
+import java.util.List;
+import java.util.Vector;
+
+
+/**
+ * Class JDialogSelectSystemCAMSBlock
+ * Dialog for selecting systemC-AMS blocks
+ * Creation: 04/07/2017
+ * @version 1.0 04/07/2017
+ * @author Côme Demarigny
+ */
+public class JDialogSelectSystemCAMSBlock extends javax.swing.JDialog implements ActionListener, ListSelectionListener {
+
+ public static Vector<TGComponent> validated, ignored;
+ private static boolean optimized = true;
+
+ private Vector<TGComponent> val, ign, back; //val for validated, ign for ignored
+
+ //subpanels
+ private JPanel panel1, panel2, panel3, panel4, panel5, panel6;
+ private JList<TGComponent> listIgnored;
+ private JList<TGComponent> listValidated;
+ private JButton allValidated;
+ private JButton addOneValidated;
+ private JButton addOneIgnored;
+ private JButton allIgnored;
+ protected JCheckBox optimize;
+ // protected JTextField clockField;
+
+ // Main Panel
+ private JButton closeButton;
+ private JButton cancelButton;
+
+ /* Creates new form */
+ public JDialogSelectSystemCAMSBlock( Frame f, Vector<TGComponent> _back, List<TGComponent> componentList, String title ) {
+ super(f, title, true);
+
+ TraceManager.addDev( "Printing list of components: " + Arrays.toString( componentList.toArray()) );
+
+ back = _back;
+ if( ( validated == null ) || ( ignored == null ) ) {
+ val = makeNewVal( componentList ); //componentList must already contain something.
+ //originally contained in componentList
+ ign = new Vector<TGComponent>(); //empty
+ //val and ign are the lists that are printed in the Syntax Analysis window
+ }
+ else {
+ val = validated; //validated and ignored, the public vectors come from the instance of SystemCAMSPanel
+ ign = ignored;
+ checkBlock( val, componentList );
+ checkBlock( ign, componentList );
+ addNewBlock( val, componentList, ign );
+ }
+
+ initComponents();
+ myInitComponents();
+ pack();
+ }
+
+ //From componentList, filter out all the elements which are not TMLArchiNode
+ private Vector<TGComponent> makeNewVal( List<TGComponent> list ) {
+
+ Vector<TGComponent> v = new Vector<TGComponent>();
+ TGComponent tgc;
+
+ for( int i = 0; i < list.size(); i++ ) {
+ tgc = list.get(i);
+ // System.out.println(tgc);
+ //if (tgc instanceof CAMSBlock) {
+ // v.addElement( tgc );
+ //}
+ }
+ return v;
+ }
+
+ private void checkBlock( Vector<TGComponent> tobeChecked, List<TGComponent> source ) {
+
+ /*CAMSBlock block;
+
+ for(int i = 0; i < tobeChecked.size(); i++ ) {
+ if( tobeChecked.elementAt(i) instanceof CAMSBlock ){
+ block = (CAMSBlock) tobeChecked.elementAt(i);
+ if( !source.contains(block) ) {
+ tobeChecked.removeElementAt(i);
+ i--;
+ }
+ }
+ }*/
+ }
+
+ public void addNewBlock( Vector<TGComponent> added, List<TGComponent> source, Vector<TGComponent> notSource ) {
+
+ /*TGComponent tgc;
+
+ for( int i = 0; i < source.size(); i++ ) {
+ tgc = source.get(i);
+ if( ( tgc instanceof CAMSBlock ) && ( !added.contains(tgc) ) && ( !notSource.contains(tgc) ) ) {
+ added.addElement( tgc );
+ System.out.println("New element");
+ }
+ }*/
+ }
+
+ private void myInitComponents() {
+ setButtons();
+ }
+
+ private void initComponents() {
+
+ Container c = getContentPane();
+ GridBagLayout gridbag1 = new GridBagLayout();
+ GridBagConstraints c1 = new GridBagConstraints();
+ GridBagLayout gridbag2 = new GridBagLayout();
+ GridBagConstraints c2 = new GridBagConstraints();
+ setFont( new Font( "Helvetica", Font.PLAIN, 14) );
+ c.setLayout( new BorderLayout() );
+ setDefaultCloseOperation( JFrame.DISPOSE_ON_CLOSE );
+
+ c.setLayout(gridbag2);
+ c2.weighty = 1.0;
+ c2.weightx = 1.0;
+ c2.gridwidth = 1;
+ c2.fill = GridBagConstraints.HORIZONTAL;
+ c2.gridheight = 1;
+
+ // ignored list
+ panel1 = new JPanel();
+ panel1.setLayout( new BorderLayout() );
+ panel1.setBorder( new javax.swing.border.TitledBorder( "Diagrams ignored" ) );
+ listIgnored = new JList<TGComponent>( ign );
+ //listIgnored.setPreferredSize(new Dimension(200, 250));
+ listIgnored.setSelectionMode( ListSelectionModel.MULTIPLE_INTERVAL_SELECTION );
+ listIgnored.addListSelectionListener( this );
+ JScrollPane scrollPane1 = new JScrollPane( listIgnored );
+ panel1.add( scrollPane1, BorderLayout.CENTER );
+ panel1.setPreferredSize( new Dimension( 200, 250) );
+ c.add( panel1, c2);
+
+
+
+ // central buttons
+ panel3 = new JPanel();
+ panel3.setLayout(gridbag1);
+
+ c1.weighty = 1.0;
+ c1.weightx = 1.0;
+ c1.gridwidth = GridBagConstraints.REMAINDER; //end row
+ c1.fill = GridBagConstraints.HORIZONTAL;
+ c1.gridheight = 1;
+
+ allValidated = new JButton(IconManager.imgic50);
+ allValidated.setPreferredSize(new Dimension(50, 25));
+ allValidated.addActionListener(this);
+ allValidated.setActionCommand("allValidated");
+ panel3.add(allValidated, c1);
+
+ addOneValidated = new JButton(IconManager.imgic48);
+ addOneValidated.setPreferredSize(new Dimension(50, 25));
+ addOneValidated.addActionListener(this);
+ addOneValidated.setActionCommand("addOneValidated");
+ panel3.add(addOneValidated, c1);
+
+ panel3.add(new JLabel(" "), c1);
+
+ addOneIgnored = new JButton(IconManager.imgic46);
+ addOneIgnored.addActionListener(this);
+ addOneIgnored.setPreferredSize(new Dimension(50, 25));
+ addOneIgnored.setActionCommand("addOneIgnored");
+ panel3.add(addOneIgnored, c1);
+
+ allIgnored = new JButton(IconManager.imgic44);
+ allIgnored.addActionListener(this);
+ allIgnored.setPreferredSize(new Dimension(50, 25));
+ allIgnored.setActionCommand("allIgnored");
+ panel3.add(allIgnored, c1);
+
+ c.add(panel3, c2);
+
+ // validated list
+ panel2 = new JPanel();
+ panel2.setLayout( new BorderLayout() );
+ panel2.setBorder( new javax.swing.border.TitledBorder( "Diagrams taken into account" ) );
+ listValidated = new JList<TGComponent>( val );
+ //listValidated.setPreferredSize(new Dimension(200, 250));
+ listValidated.setSelectionMode( ListSelectionModel.MULTIPLE_INTERVAL_SELECTION );
+ listValidated.addListSelectionListener( this );
+ JScrollPane scrollPane2 = new JScrollPane( listValidated );
+ panel2.add( scrollPane2, BorderLayout.CENTER );
+ panel2.setPreferredSize( new Dimension(200, 250) );
+ c2.gridwidth = GridBagConstraints.REMAINDER; //end row
+ c.add( panel2, c2 );
+
+ // main panel;
+ panel6 = new JPanel();
+ panel6.setLayout(new BorderLayout());
+
+ panel5 = new JPanel();
+ /*GridBagLayout gridbag3 = new GridBagLayout();
+ GridBagConstraints c3 = new GridBagConstraints();
+ panel5.setLayout(gridbag3);
+
+ c3.weighty = 1.0;
+ c3.weightx = 1.0;
+ c3.fill = GridBagConstraints.HORIZONTAL;
+ c3.gridheight = 1;
+
+ c3.gridwidth = GridBagConstraints.REMAINDER; //end row
+ // optimize = new JCheckBox("Optimize TML specification");
+ // optimize.setSelected(optimized);
+ // panel5.add(optimize, c2);
+
+ c3.gridwidth = 1; //end row
+ // panel5.add(new JLabel("Master clock (in MHz)"), c2);
+ // c2.gridwidth = GridBagConstraints.REMAINDER; //end row
+ // clockField = new JTextField("" + clock);
+ // panel5.add(clockField, c2);*/
+
+ panel4 = new JPanel();
+ panel4.setLayout(new FlowLayout());
+
+ closeButton = new JButton("Start Syntax Analysis", IconManager.imgic37);
+ //closeButton.setPreferredSize(new Dimension(600, 50));
+ closeButton.addActionListener(this);
+ closeButton.setPreferredSize(new Dimension(200, 30));
+
+ cancelButton = new JButton("Cancel", IconManager.imgic27);
+ cancelButton.addActionListener(this);
+ cancelButton.setPreferredSize(new Dimension(200, 30));
+ panel4.add(cancelButton);
+ panel4.add(closeButton);
+
+ panel6.add(panel5, BorderLayout.NORTH);
+ panel6.add(panel4, BorderLayout.SOUTH);
+
+ c.add(panel6, c2);
+
+ }
+
+ public void actionPerformed( ActionEvent evt ) {
+ String command = evt.getActionCommand();
+
+ // Compare the action command to the known actions.
+ if (command.equals("Start Syntax Analysis")) {
+ closeDialog();
+ } else if (command.equals("Cancel")) {
+ cancelDialog();
+ } else if (command.equals("addOneIgnored")) {
+ addOneIgnored();
+ } else if (command.equals("addOneValidated")) {
+ addOneValidated();
+ } else if (command.equals("allValidated")) {
+ allValidated();
+ } else if (command.equals("allIgnored")) {
+ allIgnored();
+ }
+ }
+
+
+ private void addOneIgnored() {
+ int [] list = listValidated.getSelectedIndices();
+ Vector<TGComponent> v = new Vector<TGComponent>();
+ TGComponent o;
+ for (int i=0; i<list.length; i++){
+ o = val.elementAt(list[i]);
+ ign.addElement(o);
+ v.addElement(o);
+ }
+
+ val.removeAll(v);
+ listIgnored.setListData(ign);
+ listValidated.setListData(val);
+ setButtons();
+ }
+
+ private void addOneValidated() {
+ int [] list = listIgnored.getSelectedIndices();
+ Vector<TGComponent> v = new Vector<TGComponent>();
+ TGComponent o;
+
+ for (int i=0; i<list.length; i++){
+ o = ign.elementAt(list[i]);
+ val.addElement(o);
+ v.addElement(o);
+ }
+
+ ign.removeAll(v);
+ listIgnored.setListData(ign);
+ listValidated.setListData(val);
+ setButtons();
+ }
+
+ private void allValidated() {
+ val.addAll(ign);
+ ign.removeAllElements();
+ listIgnored.setListData(ign);
+ listValidated.setListData(val);
+ setButtons();
+ }
+
+ private void allIgnored() {
+ ign.addAll(val);
+ val.removeAllElements();
+ listIgnored.setListData(ign);
+ listValidated.setListData(val);
+ setButtons();
+ }
+
+
+ public void closeDialog() {
+
+ back.removeAllElements();
+
+ for( int i = 0; i < val.size(); i++ ) {
+ back.addElement( val.elementAt(i) );
+ }
+ validated = val;
+ ignored = ign;
+ dispose();
+ }
+
+ public void cancelDialog() {
+ dispose();
+ }
+
+ private void setButtons() {
+ int i1 = listIgnored.getSelectedIndex();
+ int i2 = listValidated.getSelectedIndex();
+
+ if (i1 == -1) {
+ addOneValidated.setEnabled(false);
+ } else {
+ addOneValidated.setEnabled(true);
+ //listValidated.clearSelection();
+ }
+
+ if (i2 == -1) {
+ addOneIgnored.setEnabled(false);
+ } else {
+ addOneIgnored.setEnabled(true);
+ //listIgnored.clearSelection();
+ }
+
+ if (ign.size() ==0) {
+ allValidated.setEnabled(false);
+ } else {
+ allValidated.setEnabled(true);
+ }
+
+ if (val.size() ==0) {
+ allIgnored.setEnabled(false);
+ closeButton.setEnabled(false);
+ } else {
+ allIgnored.setEnabled(true);
+ closeButton.setEnabled(true);
+ }
+ }
+
+ public void valueChanged(ListSelectionEvent e) {
+ setButtons();
+ }
+
+ public boolean getOptimize() {
+ return optimized;
+ }
+}
diff --git a/src/main/resources/ui/util/attacker.gif b/src/main/resources/ui/util/attacker.gif
index 63df12723915609815223e04b0f5e4fd0d53ed04..af420ccb8f058942276c9aee8c55c16d0ba73546 100755
Binary files a/src/main/resources/ui/util/attacker.gif and b/src/main/resources/ui/util/attacker.gif differ