Adding new figures for tutorial

doc/diplodocus_tutorial/build/Tutorial.aux

@@ -390,3 +390,66 @@
 \newlabel{fig:sampleArch}{{118}{93}{Simple secured message exchange architecture}{figure.1.118}{}}
 \@writefile{toc}{\contentsline {subsection}{\numberline {10.1}Symmetric Encryption}{93}{subsection.1.10.1}\protected@file@percent }
 \newlabel{sec:symenc}{{10.1}{93}{Symmetric Encryption}{subsection.1.10.1}{}}
+\@writefile{lof}{\contentsline {figure}{\numberline {119}{\ignorespaces Simple secured message exchange}}{94}{figure.1.119}\protected@file@percent }
+\newlabel{fig:sampleComp}{{119}{94}{Simple secured message exchange}{figure.1.119}{}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {10.2}Nonces}{94}{subsection.1.10.2}\protected@file@percent }
+\@writefile{lof}{\contentsline {figure}{\numberline {120}{\ignorespaces Message exchange with nonce}}{94}{figure.1.120}\protected@file@percent }
+\newlabel{fig:nonce}{{120}{94}{Message exchange with nonce}{figure.1.120}{}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {10.3}Key exchange}{94}{subsection.1.10.3}\protected@file@percent }
+\@writefile{lof}{\contentsline {figure}{\numberline {121}{\ignorespaces Key exchange architecture with mapped keys}}{95}{figure.1.121}\protected@file@percent }
+\newlabel{fig:keyArch}{{121}{95}{Key exchange architecture with mapped keys}{figure.1.121}{}}
+\@writefile{lof}{\contentsline {figure}{\numberline {122}{\ignorespaces Key exchange protocol}}{95}{figure.1.122}\protected@file@percent }
+\newlabel{fig:keyComp}{{122}{95}{Key exchange protocol}{figure.1.122}{}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {10.4}MAC}{95}{subsection.1.10.4}\protected@file@percent }
+\@writefile{toc}{\contentsline {subsection}{\numberline {10.5}Automated Security Generation}{95}{subsection.1.10.5}\protected@file@percent }
+\@writefile{lof}{\contentsline {figure}{\numberline {123}{\ignorespaces MAC verification protocol}}{96}{figure.1.123}\protected@file@percent }
+\newlabel{fig:macComp}{{123}{96}{MAC verification protocol}{figure.1.123}{}}
+\@writefile{lof}{\contentsline {figure}{\numberline {124}{\ignorespaces Button and window for Automatic Security Generation}}{96}{figure.1.124}\protected@file@percent }
+\newlabel{fig:autosec}{{124}{96}{Button and window for Automatic Security Generation}{figure.1.124}{}}
+\@writefile{lof}{\contentsline {figure}{\numberline {125}{\ignorespaces Application model for Security Generation Example}}{97}{figure.1.125}\protected@file@percent }
+\newlabel{fig:autogenexample}{{125}{97}{Application model for Security Generation Example}{figure.1.125}{}}
+\@writefile{lof}{\contentsline {figure}{\numberline {126}{\ignorespaces Unsecured vs Secured Application Models with Automatic Generation}}{97}{figure.1.126}\protected@file@percent }
+\newlabel{fig:autogenres}{{126}{97}{Unsecured vs Secured Application Models with Automatic Generation}{figure.1.126}{}}
+\@writefile{toc}{\contentsline {section}{\numberline {11}Conclusion}{98}{section.1.11}\protected@file@percent }
+\newlabel{sec:Conclusion}{{11}{98}{Conclusion}{section.1.11}{}}
+\@writefile{toc}{\contentsline {section}{\numberline {1.A}Formal description of Communication Patterns}{99}{section.a.1.A}\protected@file@percent }
+\newlabel{app:FormalCP}{{1.A}{99}{Formal description of Communication Patterns}{section.a.1.A}{}}
+\citation{Apvrille06,Apvrille08}
+\citation{Knorreck11}
+\citation{EnriciThesis}
+\citation{Jaber2011}
+\@writefile{toc}{\contentsline {section}{\numberline {1.B}TTool/DIPLODOCUS' simulation semantics}{102}{section.a.1.B}\protected@file@percent }
+\newlabel{app:SimuSemantics}{{1.B}{102}{TTool/DIPLODOCUS' simulation semantics}{section.a.1.B}{}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.B.1}Functionality}{102}{subsection.a.1.B.1}\protected@file@percent }
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.B.2}Platform}{102}{subsection.a.1.B.2}\protected@file@percent }
+\citation{Jaber2011}
+\@writefile{toc}{\contentsline {subsection}{\numberline {1.B.3}Mapping}{103}{subsection.a.1.B.3}\protected@file@percent }
+\bibcite{Schmidt}{1}
+\bibcite{TToolWebSite}{2}
+\bibcite{Knorreck09}{3}
+\bibcite{Knorreck11}{4}
+\bibcite{YChart}{5}
+\bibcite{ZigBee}{6}
+\bibcite{Apvrille06}{7}
+\bibcite{Apvrille08}{8}
+\bibcite{Waseem06}{9}
+\bibcite{Jaber2011}{10}
+\bibcite{Koteng06}{11}
+\bibcite{Zimmermann80}{12}
+\bibcite{Ousterhout96}{13}
+\bibcite{Dabek02}{14}
+\bibcite{Lee06}{15}
+\bibcite{Gonzalez13}{16}
+\bibcite{Embb}{17}
+\bibcite{EnriciThesis}{18}
+\bibcite{SystemCSimulationSemantics}{19}
+\bibcite{gtkwave}{20}
+\bibcite{Graphviz}{21}
+\bibcite{CADP}{22}
+\bibcite{UPPAAL}{23}
+\bibcite{LOTOS}{24}
+\bibcite{Latre06}{25}
+\bibcite{Waseem09}{26}
+\bibcite{Zedboard}{27}
+\bibcite{BlanchetJCS08}{28}
+\gdef \@abspage@last{105}

doc/diplodocus_tutorial/build/Tutorial.out

@@ -36,3 +36,13 @@
 \BOOKMARK [2][-]{subsection.1.9.1}{\376\377\000G\000e\000n\000e\000r\000a\000t\000i\000n\000g\000\040\000t\000h\000e\000\040\000c\000o\000d\000e\000\040\000f\000o\000r\000\040\000t\000h\000e\000\040\000Z\000i\000g\000B\000e\000e\000\040\000t\000r\000a\000n\000s\000m\000i\000t\000t\000e\000r}{section.1.9}% 36
 \BOOKMARK [1][-]{section.1.10}{\376\377\000A\000n\000a\000l\000y\000s\000i\000s\000\040\000o\000f\000\040\000s\000e\000c\000u\000r\000i\000t\000y\000\040\000p\000r\000o\000p\000e\000r\000t\000i\000e\000s}{chapter.1}% 37
 \BOOKMARK [2][-]{subsection.1.10.1}{\376\377\000S\000y\000m\000m\000e\000t\000r\000i\000c\000\040\000E\000n\000c\000r\000y\000p\000t\000i\000o\000n}{section.1.10}% 38
+\BOOKMARK [2][-]{subsection.1.10.2}{\376\377\000N\000o\000n\000c\000e\000s}{section.1.10}% 39
+\BOOKMARK [2][-]{subsection.1.10.3}{\376\377\000K\000e\000y\000\040\000e\000x\000c\000h\000a\000n\000g\000e}{section.1.10}% 40
+\BOOKMARK [2][-]{subsection.1.10.4}{\376\377\000M\000A\000C}{section.1.10}% 41
+\BOOKMARK [2][-]{subsection.1.10.5}{\376\377\000A\000u\000t\000o\000m\000a\000t\000e\000d\000\040\000S\000e\000c\000u\000r\000i\000t\000y\000\040\000G\000e\000n\000e\000r\000a\000t\000i\000o\000n}{section.1.10}% 42
+\BOOKMARK [1][-]{section.1.11}{\376\377\000C\000o\000n\000c\000l\000u\000s\000i\000o\000n}{chapter.1}% 43
+\BOOKMARK [1][-]{section.a.1.A}{\376\377\000F\000o\000r\000m\000a\000l\000\040\000d\000e\000s\000c\000r\000i\000p\000t\000i\000o\000n\000\040\000o\000f\000\040\000C\000o\000m\000m\000u\000n\000i\000c\000a\000t\000i\000o\000n\000\040\000P\000a\000t\000t\000e\000r\000n\000s}{chapter.1}% 44
+\BOOKMARK [1][-]{section.a.1.B}{\376\377\000T\000T\000o\000o\000l\000/\000D\000I\000P\000L\000O\000D\000O\000C\000U\000S\000'\000\040\000s\000i\000m\000u\000l\000a\000t\000i\000o\000n\000\040\000s\000e\000m\000a\000n\000t\000i\000c\000s}{chapter.1}% 45
+\BOOKMARK [2][-]{subsection.a.1.B.1}{\376\377\000F\000u\000n\000c\000t\000i\000o\000n\000a\000l\000i\000t\000y}{section.a.1.B}% 46
+\BOOKMARK [2][-]{subsection.a.1.B.2}{\376\377\000P\000l\000a\000t\000f\000o\000r\000m}{section.a.1.B}% 47
+\BOOKMARK [2][-]{subsection.a.1.B.3}{\376\377\000M\000a\000p\000p\000i\000n\000g}{section.a.1.B}% 48

doc/diplodocus_tutorial/build/Tutorial.toc

+\contentsline {title}{A Tutorial on TTool/DIPLODOCUS: an Open-source Toolkit for the Design of Data-flow Embedded Systems}{1}{chapter.1}%
+\authcount {4}
+\contentsline {author}{Andrea Enrici\unskip {} \and Letitia Li\unskip {} \and Ludovic Apvrille\unskip {} \and Dominique Blouin\unskip {}}{1}{chapter.1}%
+\contentsline {section}{\numberline {1}Important note}{3}{section.1.1}%
+\contentsline {section}{\numberline {2}Why TTool/DIPLODOCUS?}{4}{section.1.2}%
+\contentsline {section}{\numberline {3}An overview of TTool/DIPLODOCUS}{4}{section.1.3}%
+\contentsline {section}{\numberline {4}The software architecture of TTool/DIPLODOCUS}{6}{section.1.4}%
+\contentsline {section}{\numberline {5}Configuring TTool/DIPLODOCUS}{6}{section.1.5}%
+\contentsline {section}{\numberline {6}Starting a new project}{10}{section.1.6}%
+\contentsline {section}{\numberline {7}Modeling a ZigBee transmitter}{15}{section.1.7}%
+\contentsline {subsection}{\numberline {7.1}The functionality of a ZigBee transmitter (data-link layer)}{15}{subsection.1.7.1}%
+\contentsline {subsection}{\numberline {7.2}Creating the application model of a ZigBee transmitter (data-link layer)}{16}{subsection.1.7.2}%
+\contentsline {subsubsection}{Attributes of a primitive component}{19}{section*.3}%
+\contentsline {subsubsection}{Ports, channels, events and requests}{19}{section*.4}%
+\contentsline {subsubsection}{The activity diagram of a primitive component}{22}{section*.5}%
+\contentsline {subsection}{\numberline {7.3}Platform modeling}{32}{subsection.1.7.3}%
+\contentsline {subsection}{\numberline {7.4}Creating the platform model of EMBB}{32}{subsection.1.7.4}%
+\contentsline {subsection}{\numberline {7.5}Communication protocols and patterns modeling}{40}{subsection.1.7.5}%
+\contentsline {subsection}{\numberline {7.6}Modeling a DMA data transfer with Communication Patterns}{41}{subsection.1.7.6}%
+\contentsline {subsection}{\numberline {7.7}Communication models}{43}{subsection.1.7.7}%
+\contentsline {subsubsection}{The communication mismatch in EMBB}{45}{section*.6}%
+\contentsline {subsubsection}{Creating Communication Pattern diagrams}{50}{section*.7}%
+\contentsline {subsection}{\numberline {7.8}Mapping}{53}{subsection.1.7.8}%
+\contentsline {section}{\numberline {8}Design Space Exploration in TTool/DIPLODOCUS}{66}{section.1.8}%
+\contentsline {subsection}{\numberline {8.1}Simulation}{66}{subsection.1.8.1}%
+\contentsline {subsubsection}{The simulation results of the ZigBee transmitter (physical layer)}{72}{section*.8}%
+\contentsline {subsection}{\numberline {8.2}Formal verification}{77}{subsection.1.8.2}%
+\contentsline {subsubsection}{Formal Verification before mapping}{77}{section*.9}%
+\contentsline {subsubsection}{Pre-mapping formal verification with UPPAAL}{79}{section*.10}%
+\contentsline {subsubsection}{Post-mapping formal Verification with the TTool verifier and simulator engine}{79}{section*.11}%
+\contentsline {subsubsection}{Example of post-mapping formal verification}{80}{section*.12}%
+\contentsline {subsubsection}{Post-mapping formal verification with ProVerif}{83}{section*.13}%
+\contentsline {section}{\numberline {9}Automatic Code Generation for Rapid Protoyping}{86}{section.1.9}%
+\contentsline {subsubsection}{The compilation process}{86}{section*.14}%
+\contentsline {subsubsection}{Scheduling of operations}{87}{section*.15}%
+\contentsline {subsubsection}{Memory allocation}{87}{section*.16}%
+\contentsline {subsubsection}{Portability of the code-generation approach}{87}{section*.17}%
+\contentsline {subsection}{\numberline {9.1}Generating the code for the ZigBee transmitter}{88}{subsection.1.9.1}%
+\contentsline {section}{\numberline {10}Analysis of security properties}{93}{section.1.10}%
+\contentsline {subsection}{\numberline {10.1}Symmetric Encryption}{93}{subsection.1.10.1}%
+\contentsline {subsection}{\numberline {10.2}Nonces}{94}{subsection.1.10.2}%
+\contentsline {subsection}{\numberline {10.3}Key exchange}{94}{subsection.1.10.3}%
+\contentsline {subsection}{\numberline {10.4}MAC}{95}{subsection.1.10.4}%
+\contentsline {subsection}{\numberline {10.5}Automated Security Generation}{95}{subsection.1.10.5}%
+\contentsline {section}{\numberline {11}Conclusion}{98}{section.1.11}%
+\contentsline {section}{\numberline {1.A}Formal description of Communication Patterns}{99}{section.a.1.A}%
+\contentsline {section}{\numberline {1.B}TTool/DIPLODOCUS' simulation semantics}{102}{section.a.1.B}%
+\contentsline {subsection}{\numberline {1.B.1}Functionality}{102}{subsection.a.1.B.1}%
+\contentsline {subsection}{\numberline {1.B.2}Platform}{102}{subsection.a.1.B.2}%
+\contentsline {subsection}{\numberline {1.B.3}Mapping}{103}{subsection.a.1.B.3}%