From b47e18a8fd166f7728cbecdc4c06a216bbf50414 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Tue, 9 May 2023 12:03:28 +0200
Subject: [PATCH] Adding new figures for tutorial
---
doc/diplodocus_tutorial/build/Tutorial.aux | 63 +
doc/diplodocus_tutorial/build/Tutorial.log | 1586 ++++----------------
doc/diplodocus_tutorial/build/Tutorial.out | 10 +
doc/diplodocus_tutorial/build/Tutorial.toc | 50 +
4 files changed, 379 insertions(+), 1330 deletions(-)
diff --git a/doc/diplodocus_tutorial/build/Tutorial.aux b/doc/diplodocus_tutorial/build/Tutorial.aux
index c04bad2c2b..0784d2e0df 100644
--- a/doc/diplodocus_tutorial/build/Tutorial.aux
+++ b/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}
diff --git a/doc/diplodocus_tutorial/build/Tutorial.log b/doc/diplodocus_tutorial/build/Tutorial.log
index 240025e399..a06c899bdb 100644
--- a/doc/diplodocus_tutorial/build/Tutorial.log
+++ b/doc/diplodocus_tutorial/build/Tutorial.log
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/MacPorts 2022.62882_2) (preloaded format=pdflatex 2023.4.30) 2 MAY 2023 18:12
+This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/MacPorts 2022.62882_2) (preloaded format=pdflatex 2023.4.30) 9 MAY 2023 12:00
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
@@ -484,8 +484,7 @@ Package hyperref Info: Option `colorlinks' set `true' on input line 38.
File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX)
\l__color_backend_stack_int=\count334
\l__pdf_internal_box=\box106
-)
-No file Tutorial.aux.
+) (build/Tutorial.aux)
\openout1 = `Tutorial.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 74.
@@ -577,6 +576,7 @@ Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
LaTeX Info: Redefining \ref on input line 74.
LaTeX Info: Redefining \pageref on input line 74.
LaTeX Info: Redefining \nameref on input line 74.
+(build/Tutorial.out) (build/Tutorial.out)
\@outlinefile=\write3
\openout3 = `Tutorial.out'.
@@ -588,32 +588,7 @@ LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
(Font) using `OMS/cmsy/m/n' instead
(Font) for symbol `textbraceleft' on input line 77.
-
-LaTeX Warning: Citation `ZigBee' on page 1 undefined on input line 84.
-
-
-LaTeX Warning: Reference `sec:Overview' on page 1 undefined on input line 86.
-
-
-LaTeX Warning: Reference `sec:SwArch' on page 1 undefined on input line 87.
-
-
-LaTeX Warning: Reference `sec:Config' on page 1 undefined on input line 87.
-
-
-LaTeX Warning: Reference `sec:Modeling' on page 1 undefined on input line 89.
-
-
-LaTeX Warning: Reference `sec:DSE' on page 1 undefined on input line 89.
-
-
-LaTeX Warning: Reference `sec:CodeGen' on page 1 undefined on input line 90.
-
-
-LaTeX Warning: Reference `sec:Conclusion' on page 1 undefined on input line 90.
-
-
-<./figures/TTool.png, id=4, 760.8425pt x 469.755pt>
+<./figures/TTool.png, id=205, 760.8425pt x 469.755pt>
File: ./figures/TTool.png Graphic file (type png)
<use ./figures/TTool.png>
Package pdftex.def Info: ./figures/TTool.png used on input line 95.
@@ -621,55 +596,24 @@ Package pdftex.def Info: ./figures/TTool.png used on input line 95.
[1
{/opt/local/var/db/texmf/fonts/map/pdftex/updmap/pdftex.map} <./figures/TTool.p
-ng>]
+ng>] (build/Tutorial.toc
+Overfull \hbox (0.27782pt too wide) detected at line 46
+\OT1/cmr/m/n/10 1.A
+ []
+
+)
\tf@toc=\write4
\openout4 = `Tutorial.toc'.
[2
] [3]
-
-LaTeX Warning: Citation `Schmidt' on page 4 undefined on input line 126.
-
-
-LaTeX Warning: Citation `YChart' on page 4 undefined on input line 143.
-
-
-LaTeX Warning: Reference `fig:Ychart' on page 4 undefined on input line 143.
-
-<./figures/ApproachY.pdf, id=31, 1259.70625pt x 648.4225pt>
+<./figures/ApproachY.pdf, id=337, 1259.70625pt x 648.4225pt>
File: ./figures/ApproachY.pdf Graphic file (type pdf)
<use ./figures/ApproachY.pdf>
Package pdftex.def Info: ./figures/ApproachY.pdf used on input line 147.
(pdftex.def) Requested size: 281.68384pt x 144.9884pt.
-
-LaTeX Warning: Citation `TToolWebSite' on page 4 undefined on input line 158.
-
-
-LaTeX Warning: Citation `Apvrille06' on page 4 undefined on input line 158.
-
-
-LaTeX Warning: Citation `Apvrille08' on page 4 undefined on input line 158.
-
-
-LaTeX Warning: Citation `TToolWebSite' on page 4 undefined on input line 158.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 4 undefined on input line 159.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 4 undefined on input line 161.
-
-
-LaTeX Warning: Reference `fig:Ychart' on page 4 undefined on input line 162.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 4 undefined on input line 163.
-
-
-LaTeX Warning: Citation `EnriciThesis' on page 4 undefined on input line 163.
-
-<figures/applicationModel.pdf, id=32, 1043.9pt x 3003.22pt>
+<figures/applicationModel.pdf, id=352, 1043.9pt x 3003.22pt>
File: figures/applicationModel.pdf Graphic file (type pdf)
<use figures/applicationModel.pdf>
Package pdftex.def Info: figures/applicationModel.pdf used on input line 167.
@@ -679,59 +623,8 @@ Underfull \hbox (badness 10000) in paragraph at lines 167--170
[][]
[]
-
-LaTeX Warning: Reference `fig:Tchart' on page 4 undefined on input line 174.
-
-[4 <./figures/ApproachY.pdf>]
-
-LaTeX Warning: Reference `fig:Tchart' on page 5 undefined on input line 189.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 5 undefined on input line 194.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 5 undefined on input line 196.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 5 undefined on input line 202.
-
-
-LaTeX Warning: Citation `Knorreck11' on page 5 undefined on input line 203.
-
-
-LaTeX Warning: Citation `Knorreck11' on page 5 undefined on input line 204.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 5 undefined on input line 208.
-
-
-LaTeX Warning: Citation `Jaber2011' on page 5 undefined on input line 217.
-
-[5 <./figures/applicationModel.pdf>]
-
-LaTeX Warning: Reference `fig:TToolSWArch' on page 6 undefined on input line 22
-8.
-
-
-LaTeX Warning: Reference `fig:TToolSWArch' on page 6 undefined on input line 23
-2.
-
-
-LaTeX Warning: Reference `fig:TToolSWArch' on page 6 undefined on input line 23
-5.
-
-
-LaTeX Warning: Citation `Waseem06' on page 6 undefined on input line 239.
-
-
-LaTeX Warning: Reference `fig:TToolSWArch' on page 6 undefined on input line 23
-9.
-
-
-LaTeX Warning: Reference `fig:TToolSWArch' on page 6 undefined on input line 24
-1.
-
-<figures/TToolSWArch.pdf, id=101, 1543.53677pt x 1084.05pt>
+[4 <./figures/ApproachY.pdf>] [5 <./figures/applicationModel.pdf>]
+<figures/TToolSWArch.pdf, id=443, 1543.53677pt x 1084.05pt>
File: figures/TToolSWArch.pdf Graphic file (type pdf)
<use figures/TToolSWArch.pdf>
Package pdftex.def Info: figures/TToolSWArch.pdf used on input line 245.
@@ -797,219 +690,98 @@ Underfull \hbox (badness 10000) in paragraph at lines 363--366
[9
]
-
-LaTeX Warning: Reference `fig:CreatePrj' on page 10 undefined on input line 376
-.
-
-<./figures/screenshot/begin.pdf, id=213, 1096.89806pt x 616.70403pt>
+<./figures/screenshot/begin.pdf, id=556, 1096.89806pt x 616.70403pt>
File: ./figures/screenshot/begin.pdf Graphic file (type pdf)
<use ./figures/screenshot/begin.pdf>
Package pdftex.def Info: ./figures/screenshot/begin.pdf used on input line 382
.
(pdftex.def) Requested size: 512.1496pt x 287.94067pt.
-
-LaTeX Warning: Reference `fig:NewPrj' on page 10 undefined on input line 387.
-
-<./figures/screenshot/NewPrj.png, id=214, 1371.1225pt x 770.88pt>
+<./figures/screenshot/NewPrj.png, id=558, 1371.1225pt x 770.88pt>
File: ./figures/screenshot/NewPrj.png Graphic file (type png)
<use ./figures/screenshot/NewPrj.png>
Package pdftex.def Info: ./figures/screenshot/NewPrj.png used on input line 39
6.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:Tchart' on page 10 undefined on input line 401.
-
-
-LaTeX Warning: Reference `fig:MethDiag' on page 10 undefined on input line 404.
-
-
-<./figures/screenshot/MethDiag.png, id=215, 1371.1225pt x 770.88pt>
+<./figures/screenshot/MethDiag.png, id=561, 1371.1225pt x 770.88pt>
File: ./figures/screenshot/MethDiag.png Graphic file (type png)
<use ./figures/screenshot/MethDiag.png>
Package pdftex.def Info: ./figures/screenshot/MethDiag.png used on input line
408.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:MethDiag' on page 10 undefined on input line 413.
-
-
-
-LaTeX Warning: Reference `fig:AddDiagRef' on page 10 undefined on input line 41
-4.
-
-
-LaTeX Warning: Reference `fig:RefDiagAdded' on page 10 undefined on input line
-416.
-
-<./figures/screenshot/AddRefDiag.png, id=216, 1371.1225pt x 770.88pt>
+<./figures/screenshot/AddRefDiag.png, id=565, 1371.1225pt x 770.88pt>
File: ./figures/screenshot/AddRefDiag.png Graphic file (type png)
<use ./figures/screenshot/AddRefDiag.png>
Package pdftex.def Info: ./figures/screenshot/AddRefDiag.png used on input lin
e 420.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-<./figures/screenshot/RefDiagAdded.png, id=217, 1371.1225pt x 770.88pt>
+<./figures/screenshot/RefDiagAdded.png, id=566, 1371.1225pt x 770.88pt>
File: ./figures/screenshot/RefDiagAdded.png Graphic file (type png)
<use ./figures/screenshot/RefDiagAdded.png>
Package pdftex.def Info: ./figures/screenshot/RefDiagAdded.png used on input l
ine 427.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:PanelvsDiag' on page 10 undefined on input line 4
-34.
-
-<./figures/screenshot/PanelvsDiag.png, id=218, 1371.1225pt x 770.88pt>
+<./figures/screenshot/PanelvsDiag.png, id=568, 1371.1225pt x 770.88pt>
File: ./figures/screenshot/PanelvsDiag.png Graphic file (type png)
<use ./figures/screenshot/PanelvsDiag.png>
Package pdftex.def Info: ./figures/screenshot/PanelvsDiag.png used on input li
ne 440.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:SaveButton' on page 10 undefined on input line 44
-5.
-
-
-LaTeX Warning: Reference `fig:SaveName' on page 10 undefined on input line 447.
-
-
-<./figures/screenshot/SaveButton.png, id=219, 1371.1225pt x 770.88pt>
+<./figures/screenshot/SaveButton.png, id=571, 1371.1225pt x 770.88pt>
File: ./figures/screenshot/SaveButton.png Graphic file (type png)
<use ./figures/screenshot/SaveButton.png>
Package pdftex.def Info: ./figures/screenshot/SaveButton.png used on input lin
e 452.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-<./figures/screenshot/SaveName.png, id=220, 1371.1225pt x 770.88pt>
+<./figures/screenshot/SaveName.png, id=572, 1371.1225pt x 770.88pt>
File: ./figures/screenshot/SaveName.png Graphic file (type png)
<use ./figures/screenshot/SaveName.png>
Package pdftex.def Info: ./figures/screenshot/SaveName.png used on input line
459.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
+
+Overfull \hbox (14.48871pt too wide) in paragraph at lines 376--473
+\OT1/cmr/m/n/10 proach. To cre-ate such a Method-ol-ogy di-a-gram, right click
+in the De-sign win-dow and se-lect \OT1/cmtt/m/n/10 New DIPLODOCUS Methodology\
+OT1/cmr/m/n/10 ,
+ []
+
[10 <./figures/screenshot/begin.pdf>] [11 <./figures/screenshot/NewPrj.png> <./
figures/screenshot/MethDiag.png>] [12 <./figures/screenshot/AddRefDiag.png> <./
figures/screenshot/RefDiagAdded.png>] [13 <./figures/screenshot/PanelvsDiag.png
> <./figures/screenshot/SaveButton.png>] [14 <./figures/screenshot/SaveName.png
>]
-
-LaTeX Warning: Reference `fig:PsiChartApp' on page 15 undefined on input line 4
-86.
-
-<figures/PsiChartApp.pdf, id=262, 1043.9pt x 1316.92pt>
+<figures/PsiChartApp.pdf, id=615, 1043.9pt x 1316.92pt>
File: figures/PsiChartApp.pdf Graphic file (type pdf)
<use figures/PsiChartApp.pdf>
Package pdftex.def Info: figures/PsiChartApp.pdf used on input line 494.
(pdftex.def) Requested size: 1043.89745pt x 1316.9168pt.
-
-LaTeX Warning: Citation `Koteng06' on page 15 undefined on input line 506.
-
-
-LaTeX Warning: Reference `fig:TXBlockDiag' on page 15 undefined on input line 5
-06.
-
-<figures/TXBlockDiagram.pdf, id=263, 1365.1pt x 256.96pt>
+<figures/TXBlockDiagram.pdf, id=619, 1365.1pt x 256.96pt>
File: figures/TXBlockDiagram.pdf Graphic file (type pdf)
<use figures/TXBlockDiagram.pdf>
Package pdftex.def Info: figures/TXBlockDiagram.pdf used on input line 510.
(pdftex.def) Requested size: 409.72124pt x 77.12387pt.
-
-LaTeX Warning: Citation `Koteng06' on page 15 undefined on input line 511.
-
-
-LaTeX Warning: Reference `fig:ZigBeeTX' on page 15 undefined on input line 515.
-
-
-
-LaTeX Warning: Reference `fig:TXBlockDiag' on page 15 undefined on input line 5
-16.
-
-
-LaTeX Warning: Reference `fig:ZigBeeTX' on page 15 undefined on input line 516.
-
-
-
-LaTeX Warning: Reference `fig:TXBlockDiag' on page 15 undefined on input line 5
-17.
-
-
-LaTeX Warning: Reference `subsec:Embb' on page 15 undefined on input line 518.
-
-
-LaTeX Warning: Reference `fig:TXBlockDiag' on page 15 undefined on input line 5
-24.
-
-
-LaTeX Warning: Reference `fig:ZigBeeTX' on page 15 undefined on input line 526.
-
-
-
-LaTeX Warning: Reference `eq:INTL' on page 15 undefined on input line 530.
-
[15 <./figures/PsiChartApp.pdf> <./figures/TXBlockDiagram.pdf
pdfTeX warning: /opt/local/bin/pdflatex (file ./figures/TXBlockDiagram.pdf): PD
F inclusion: multiple pdfs with page group included in a single page
>]
-
-LaTeX Warning: Reference `eq:CWL' on page 16 undefined on input line 540.
-
-
-LaTeX Warning: Reference `fig:ZigBeeTX' on page 16 undefined on input line 555.
-
-
-<figures/ZigbeeApp.pdf, id=376, 1374.73598pt x 457.71pt>
+<figures/ZigbeeApp.pdf, id=744, 1374.73598pt x 457.71pt>
File: figures/ZigbeeApp.pdf Graphic file (type pdf)
<use figures/ZigbeeApp.pdf>
Package pdftex.def Info: figures/ZigbeeApp.pdf used on input line 561.
(pdftex.def) Requested size: 512.1496pt x 170.51639pt.
-
-LaTeX Warning: Reference `sec:Project' on page 16 undefined on input line 569.
-
-
-LaTeX Warning: Reference `fig:Open' on page 16 undefined on input line 570.
-
-<figures/screenshot/Open.png, id=377, 1371.1225pt x 770.88pt>
+<figures/screenshot/Open.png, id=747, 1371.1225pt x 770.88pt>
File: figures/screenshot/Open.png Graphic file (type png)
<use figures/screenshot/Open.png>
Package pdftex.def Info: figures/screenshot/Open.png used on input line 574.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:ZigBeeTX' on page 16 undefined on input line 579.
-
-
-
-LaTeX Warning: Reference `fig:AppPanel' on page 16 undefined on input line 582.
-
-
-
-LaTeX Warning: Reference `sec:Introduction' on page 16 undefined on input line
-584.
-
-
-LaTeX Warning: Citation `Waseem09' on page 16 undefined on input line 586.
-
-
-LaTeX Warning: Citation `EnriciThesis' on page 16 undefined on input line 586.
-
-<figures/screenshot/AppPanel.pdf, id=378, 1096.89806pt x 616.70403pt>
+<figures/screenshot/AppPanel.pdf, id=755, 1096.89806pt x 616.70403pt>
File: figures/screenshot/AppPanel.pdf Graphic file (type pdf)
<use figures/screenshot/AppPanel.pdf>
Package pdftex.def Info: figures/screenshot/AppPanel.pdf used on input line 59
0.
(pdftex.def) Requested size: 512.1496pt x 287.94067pt.
-
-LaTeX Warning: Reference `fig:TXBlockDiag' on page 16 undefined on input line 5
-97.
-
-
-LaTeX Warning: Reference `fig:ZigBeeTX' on page 16 undefined on input line 599.
-
-
-
-LaTeX Warning: Reference `fig:ZigBeeTX' on page 16 undefined on input line 611.
-
-
-
-LaTeX Warning: Reference `fig:Src1' on page 16 undefined on input line 613.
-
-<figures/screenshot/Src1.png, id=379, 1371.1225pt x 770.88pt>
+<figures/screenshot/Src1.png, id=760, 1371.1225pt x 770.88pt>
File: figures/screenshot/Src1.png Graphic file (type png)
<use figures/screenshot/Src1.png>
Package pdftex.def Info: figures/screenshot/Src1.png used on input line 620.
@@ -1021,10 +793,7 @@ Underfull \hbox (badness 10000) in paragraph at lines 569--638
[16 <./figures/ZigbeeApp.pdf>] [17 <./figures/screenshot/Open.png>] [18 <./figu
res/screenshot/AppPanel.pdf> <./figures/screenshot/Src1.png>]
-
-LaTeX Warning: Reference `fig:Src3' on page 19 undefined on input line 645.
-
-<figures/screenshot/Src3.png, id=418, 1371.1225pt x 770.88pt>
+<figures/screenshot/Src3.png, id=799, 1371.1225pt x 770.88pt>
File: figures/screenshot/Src3.png Graphic file (type png)
<use figures/screenshot/Src3.png>
Package pdftex.def Info: figures/screenshot/Src3.png used on input line 649.
@@ -1039,216 +808,137 @@ Underfull \hbox (badness 10000) in paragraph at lines 714--724
[]
-
-LaTeX Warning: Reference `fig:Src3' on page 20 undefined on input line 725.
-
-
-LaTeX Warning: Reference `fig:Ports1' on page 20 undefined on input line 727.
-
-
-LaTeX Warning: Reference `fig:Ports2' on page 20 undefined on input line 727.
-
-
-LaTeX Warning: Reference `fig:Ports1' on page 20 undefined on input line 730.
-
-<figures/screenshot/Ports1.png, id=428, 1371.1225pt x 770.88pt>
+<figures/screenshot/Ports1.png, id=811, 1371.1225pt x 770.88pt>
File: figures/screenshot/Ports1.png Graphic file (type png)
<use figures/screenshot/Ports1.png>
Package pdftex.def Info: figures/screenshot/Ports1.png used on input line 734.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:Ports2' on page 20 undefined on input line 741.
-
-<figures/screenshot/Ports2.png, id=429, 1371.1225pt x 770.88pt>
+<figures/screenshot/Ports2.png, id=813, 1371.1225pt x 770.88pt>
File: figures/screenshot/Ports2.png Graphic file (type png)
<use figures/screenshot/Ports2.png>
Package pdftex.def Info: figures/screenshot/Ports2.png used on input line 747.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:Ports3' on page 20 undefined on input line 759.
-
-
-LaTeX Warning: Reference `fig:Ports4_5' on page 20 undefined on input line 763.
-
-
-<figures/screenshot/Ports4_5.png, id=430, 1371.1225pt x 770.88pt>
+<figures/screenshot/Ports4_5.png, id=816, 1371.1225pt x 770.88pt>
File: figures/screenshot/Ports4_5.png Graphic file (type png)
<use figures/screenshot/Ports4_5.png>
Package pdftex.def Info: figures/screenshot/Ports4_5.png used on input line 76
9.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:Ports4' on page 20 undefined on input line 777.
-
-<figures/screenshot/Ports3.png, id=431, 1371.1225pt x 770.88pt>
+<figures/screenshot/Ports3.png, id=818, 1371.1225pt x 770.88pt>
File: figures/screenshot/Ports3.png Graphic file (type png)
<use figures/screenshot/Ports3.png>
Package pdftex.def Info: figures/screenshot/Ports3.png used on input line 786.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-<figures/screenshot/Ports4.png, id=432, 1371.1225pt x 770.88pt>
+<figures/screenshot/Ports4.png, id=819, 1371.1225pt x 770.88pt>
File: figures/screenshot/Ports4.png Graphic file (type png)
<use figures/screenshot/Ports4.png>
Package pdftex.def Info: figures/screenshot/Ports4.png used on input line 793.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:Buttons1' on page 20 undefined on input line 799.
-
-
[20] [21 <./figures/screenshot/Ports1.png> <./figures/screenshot/Ports2.png>]
-<figures/screenshot/Buttons1.pdf, id=445, 1096.89806pt x 616.70403pt>
+<figures/screenshot/Buttons1.pdf, id=834, 1096.89806pt x 616.70403pt>
File: figures/screenshot/Buttons1.pdf Graphic file (type pdf)
<use figures/screenshot/Buttons1.pdf>
Package pdftex.def Info: figures/screenshot/Buttons1.pdf used on input line 82
3.
(pdftex.def) Requested size: 512.1496pt x 287.94067pt.
-
-LaTeX Warning: Reference `fig:Ports5' on page 22 undefined on input line 836.
-
-
-LaTeX Warning: Reference `fig:DWindow1' on page 22 undefined on input line 838.
-
-
-<figures/screenshot/Ports5.png, id=446, 1371.1225pt x 770.88pt>
+<figures/screenshot/Ports5.png, id=837, 1371.1225pt x 770.88pt>
File: figures/screenshot/Ports5.png Graphic file (type png)
<use figures/screenshot/Ports5.png>
Package pdftex.def Info: figures/screenshot/Ports5.png used on input line 843.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:DWindow1' on page 22 undefined on input line 848.
-
-
[22 <./figures/screenshot/Ports4_5.png>] [23 <./figures/screenshot/Ports3.png>
<./figures/screenshot/Ports4.png>] [24 <./figures/screenshot/Buttons1.pdf> <./f
igures/screenshot/Ports5.png>]
-
-LaTeX Warning: Reference `sec:Security' on page 25 undefined on input line 921.
-
-
-
-LaTeX Warning: Reference `sec:Security' on page 25 undefined on input line 924.
-
-
-<figures/screenshot/DWindow1.png, id=483, 1371.1225pt x 770.88pt>
+<figures/screenshot/DWindow1.png, id=876, 1371.1225pt x 770.88pt>
File: figures/screenshot/DWindow1.png Graphic file (type png)
<use figures/screenshot/DWindow1.png>
Package pdftex.def Info: figures/screenshot/DWindow1.png used on input line 93
6.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:ADFsource' on page 25 undefined on input line 941
-.
-
-<figures/screenshot/ADFsource.png, id=484, 162.6075pt x 327.2225pt>
+<figures/screenshot/ADFsource.png, id=878, 162.6075pt x 327.2225pt>
File: figures/screenshot/ADFsource.png Graphic file (type png)
<use figures/screenshot/ADFsource.png>
Package pdftex.def Info: figures/screenshot/ADFsource.png used on input line 9
45.
(pdftex.def) Requested size: 76.8193pt x 154.58847pt.
-
-LaTeX Warning: Reference `fig:ADFsource' on page 25 undefined on input line 950
-.
-
-
-LaTeX Warning: Reference `fig:DWindow1' on page 25 undefined on input line 952.
-
-
-
-LaTeX Warning: Reference `fig:ADXsource' on page 25 undefined on input line 956
-.
-
-
-LaTeX Warning: Reference `fig:ADFsource' on page 25 undefined on input line 958
-.
-
-<figures/screenshot/ADXsource.png, id=485, 158.5925pt x 342.27875pt>
+<figures/screenshot/ADXsource.png, id=883, 158.5925pt x 342.27875pt>
File: figures/screenshot/ADXsource.png Graphic file (type png)
<use figures/screenshot/ADXsource.png>
Package pdftex.def Info: figures/screenshot/ADXsource.png used on input line 9
62.
(pdftex.def) Requested size: 76.8193pt x 165.79607pt.
-
-LaTeX Warning: Reference `fig:FSymbol2ChipSeq' on page 25 undefined on input li
-ne 967.
-
-
-LaTeX Warning: Reference `fig:Xsink' on page 25 undefined on input line 967.
-
-
-LaTeX Warning: Reference `fig:ZigBeeTX' on page 25 undefined on input line 969.
-
-
-<figures/screenshot/F_Symbol2ChipSeq.png, id=486, 219.82124pt x 341.275pt>
+<figures/screenshot/F_Symbol2ChipSeq.png, id=887, 219.82124pt x 341.275pt>
File: figures/screenshot/F_Symbol2ChipSeq.png Graphic file (type png)
<use figures/screenshot/F_Symbol2ChipSeq.png>
Package pdftex.def Info: figures/screenshot/F_Symbol2ChipSeq.png used on input
line 973.
(pdftex.def) Requested size: 102.42834pt x 159.01929pt.
-<figures/screenshot/X_Symbol2ChipSeq.png, id=487, 213.79875pt x 425.59pt>
+<figures/screenshot/X_Symbol2ChipSeq.png, id=888, 213.79875pt x 425.59pt>
File: figures/screenshot/X_Symbol2ChipSeq.png Graphic file (type png)
<use figures/screenshot/X_Symbol2ChipSeq.png>
Package pdftex.def Info: figures/screenshot/X_Symbol2ChipSeq.png used on input
line 980.
(pdftex.def) Requested size: 102.42834pt x 203.89124pt.
-<figures/screenshot/F_Chip2Octet.png, id=488, 181.67876pt x 340.27126pt>
+<figures/screenshot/F_Chip2Octet.png, id=889, 181.67876pt x 340.27126pt>
File: figures/screenshot/F_Chip2Octet.png Graphic file (type png)
<use figures/screenshot/F_Chip2Octet.png>
Package pdftex.def Info: figures/screenshot/F_Chip2Octet.png used on input lin
e 987.
(pdftex.def) Requested size: 76.8193pt x 143.87868pt.
-<figures/screenshot/X_Chip2Octet.png, id=489, 183.68625pt x 428.60126pt>
+<figures/screenshot/X_Chip2Octet.png, id=890, 183.68625pt x 428.60126pt>
File: figures/screenshot/X_Chip2Octet.png Graphic file (type png)
<use figures/screenshot/X_Chip2Octet.png>
Package pdftex.def Info: figures/screenshot/X_Chip2Octet.png used on input lin
e 994.
(pdftex.def) Requested size: 76.8193pt x 179.24612pt.
-<figures/screenshot/F_CWL.png, id=490, 156.585pt x 387.4475pt>
+<figures/screenshot/F_CWL.png, id=891, 156.585pt x 387.4475pt>
File: figures/screenshot/F_CWL.png Graphic file (type png)
<use figures/screenshot/F_CWL.png>
Package pdftex.def Info: figures/screenshot/F_CWL.png used on input line 1001.
(pdftex.def) Requested size: 76.8193pt x 190.0815pt.
-<figures/screenshot/X_CWL.png, id=491, 146.5475pt x 422.57875pt>
+<figures/screenshot/X_CWL.png, id=892, 146.5475pt x 422.57875pt>
File: figures/screenshot/X_CWL.png Graphic file (type png)
<use figures/screenshot/X_CWL.png>
Package pdftex.def Info: figures/screenshot/X_CWL.png used on input line 1008.
(pdftex.def) Requested size: 76.8193pt x 221.50897pt.
-<figures/screenshot/F_CWP_I.png, id=492, 156.585pt x 340.27126pt>
+<figures/screenshot/F_CWP_I.png, id=893, 156.585pt x 340.27126pt>
File: figures/screenshot/F_CWP_I.png Graphic file (type png)
<use figures/screenshot/F_CWP_I.png>
Package pdftex.def Info: figures/screenshot/F_CWP_I.png used on input line 101
5.
(pdftex.def) Requested size: 76.8193pt x 166.93686pt.
-<figures/screenshot/X_CWP_I.png, id=493, 152.57pt x 423.5825pt>
+<figures/screenshot/X_CWP_I.png, id=894, 152.57pt x 423.5825pt>
File: figures/screenshot/X_CWP_I.png Graphic file (type png)
<use figures/screenshot/X_CWP_I.png>
Package pdftex.def Info: figures/screenshot/X_CWP_I.png used on input line 102
2.
(pdftex.def) Requested size: 76.8193pt x 213.28375pt.
-<figures/screenshot/F_CWP_Q.png, id=494, 165.61874pt x 340.27126pt>
+<figures/screenshot/F_CWP_Q.png, id=895, 165.61874pt x 340.27126pt>
File: figures/screenshot/F_CWP_Q.png Graphic file (type png)
<use figures/screenshot/F_CWP_Q.png>
Package pdftex.def Info: figures/screenshot/F_CWP_Q.png used on input line 102
9.
(pdftex.def) Requested size: 76.8193pt x 157.82469pt.
-<figures/screenshot/X_CWP_Q.png, id=495, 158.5925pt x 422.57875pt>
+<figures/screenshot/X_CWP_Q.png, id=896, 158.5925pt x 422.57875pt>
File: figures/screenshot/X_CWP_Q.png Graphic file (type png)
<use figures/screenshot/X_CWP_Q.png>
Package pdftex.def Info: figures/screenshot/X_CWP_Q.png used on input line 103
6.
(pdftex.def) Requested size: 76.8193pt x 204.69252pt.
-<figures/screenshot/F_Sink.png, id=496, 165.61874pt x 336.25626pt>
+<figures/screenshot/F_Sink.png, id=897, 165.61874pt x 336.25626pt>
File: figures/screenshot/F_Sink.png Graphic file (type png)
<use figures/screenshot/F_Sink.png>
Package pdftex.def Info: figures/screenshot/F_Sink.png used on input line 1043
.
(pdftex.def) Requested size: 76.8193pt x 155.96246pt.
-<figures/screenshot/X_Sink.png, id=497, 139.52126pt x 351.3125pt>
+<figures/screenshot/X_Sink.png, id=898, 139.52126pt x 351.3125pt>
File: figures/screenshot/X_Sink.png Graphic file (type png)
<use figures/screenshot/X_Sink.png>
Package pdftex.def Info: figures/screenshot/X_Sink.png used on input line 1050
@@ -1262,41 +952,18 @@ ot/F_CWL.png>] [29 <./figures/screenshot/X_CWL.png> <./figures/screenshot/F_CWP
_I.png>] [30 <./figures/screenshot/X_CWP_I.png> <./figures/screenshot/F_CWP_Q.p
ng> <./figures/screenshot/X_CWP_Q.png>] [31 <./figures/screenshot/F_Sink.png> <
./figures/screenshot/X_Sink.png>]
-
-LaTeX Warning: Reference `fig:PsiChartArch' on page 32 undefined on input line
-1062.
-
-<figures/PsiChartArch.pdf, id=576, 1043.9pt x 1316.92pt>
+<figures/PsiChartArch.pdf, id=976, 1043.9pt x 1316.92pt>
File: figures/PsiChartArch.pdf Graphic file (type pdf)
<use figures/PsiChartArch.pdf>
Package pdftex.def Info: figures/PsiChartArch.pdf used on input line 1066.
(pdftex.def) Requested size: 1043.89745pt x 1316.9168pt.
-
-LaTeX Warning: Citation `Embb' on page 32 undefined on input line 1071.
-
-
-LaTeX Warning: Reference `fig:EmbbArch' on page 32 undefined on input line 1074
-.
-
-
-LaTeX Warning: Reference `fig:EmbbArch' on page 32 undefined on input line 1076
-.
-
-
-LaTeX Warning: Reference `fig:EmbbArch' on page 32 undefined on input line 1077
-.
-
-<figures/Embb_BlockDiagram.pdf, id=577, 1156.39229pt x 369.66907pt>
+<figures/Embb_BlockDiagram.pdf, id=982, 1156.39229pt x 369.66907pt>
File: figures/Embb_BlockDiagram.pdf Graphic file (type pdf)
<use figures/Embb_BlockDiagram.pdf>
Package pdftex.def Info: figures/Embb_BlockDiagram.pdf used on input line 1092
.
(pdftex.def) Requested size: 512.1496pt x 163.72098pt.
-
-LaTeX Warning: Reference `fig:Platform' on page 32 undefined on input line 1120
-.
-
-<figures/screenshot/Platform.png, id=578, 1371.1225pt x 770.88pt>
+<figures/screenshot/Platform.png, id=984, 1371.1225pt x 770.88pt>
File: figures/screenshot/Platform.png Graphic file (type png)
<use figures/screenshot/Platform.png>
Package pdftex.def Info: figures/screenshot/Platform.png used on input line 11
@@ -1304,27 +971,7 @@ Package pdftex.def Info: figures/screenshot/Platform.png used on input line 11
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
[32 <./figures/PsiChartArch.pdf>] [33 <./figures/Embb_BlockDiagram.pdf> <./figu
res/screenshot/Platform.png>]
-
-LaTeX Warning: Reference `sec:Security' on page 34 undefined on input line 1165
-.
-
-
-LaTeX Warning: Reference `fig:EmbbArch' on page 34 undefined on input line 1173
-.
-
-
-LaTeX Warning: Reference `fig:EmbbArch' on page 34 undefined on input line 1175
-.
-
-
-LaTeX Warning: Reference `fig:EmbbArch' on page 34 undefined on input line 1180
-.
-
-
-LaTeX Warning: Reference `fig:SamplePlatform' on page 34 undefined on input lin
-e 1182.
-
-<figures/evaluation/Excerpt.pdf, id=689, 1043.9pt x 602.25pt>
+<figures/evaluation/Excerpt.pdf, id=1100, 1043.9pt x 602.25pt>
File: figures/evaluation/Excerpt.pdf Graphic file (type pdf)
<use figures/evaluation/Excerpt.pdf>
Package pdftex.def Info: figures/evaluation/Excerpt.pdf used on input line 119
@@ -1334,22 +981,7 @@ Package pdftex.def Info: figures/evaluation/Excerpt.pdf used on input line 119
LaTeX Warning: Float too large for page by 19.03125pt on input line 1194.
-LaTeX Warning: Reference `sec:DSE' on page 34 undefined on input line 1198.
-
-
-LaTeX Warning: Reference `app:SimuSemantics' on page 34 undefined on input line
- 1200.
-
-
-LaTeX Warning: Reference `sec:Security' on page 34 undefined on input line 1285
-.
-
-
-LaTeX Warning: Reference `sec:Security' on page 34 undefined on input line 1312
-.
-
-
-Underfull \hbox (badness 10000) in paragraph at lines 1346--1346
+Underfull \hbox (badness 10000) in paragraph at lines 1346--1346
[]
@@ -1379,10 +1011,6 @@ Overfull \hbox (28.45276pt too wide) in paragraph at lines 1362--1362
[]
-LaTeX Warning: Reference `tab:PerfParametersCPU' on page 34 undefined on input
-line 1394.
-
-
Overfull \hbox (28.45276pt too wide) in paragraph at lines 1403--1403
[]|[]|
[]
@@ -1402,329 +1030,145 @@ Overfull \hbox (28.45276pt too wide) in paragraph at lines 1439--1439
[]|[]|
[]
-
-LaTeX Warning: Citation `Zedboard' on page 34 undefined on input line 1457.
-
-
-LaTeX Warning: Reference `fig:ClockFrequency' on page 34 undefined on input lin
-e 1461.
-
-<figures/screenshot/ClockFrequency.pdf, id=691, 1096.89806pt x 616.70403pt>
+<figures/screenshot/ClockFrequency.pdf, id=1110, 1096.89806pt x 616.70403pt>
File: figures/screenshot/ClockFrequency.pdf Graphic file (type pdf)
<use figures/screenshot/ClockFrequency.pdf>
Package pdftex.def Info: figures/screenshot/ClockFrequency.pdf used on input l
ine 1468.
(pdftex.def) Requested size: 512.1496pt x 287.94067pt.
[34] [35 <./figures/evaluation/Excerpt.pdf>] [36] [37] [38] [39]
-
-LaTeX Warning: Reference `fig:Ychart' on page 40 undefined on input line 1486.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 40 undefined on input line 1486.
-
-
-LaTeX Warning: Reference `fig:Ychart' on page 40 undefined on input line 1488.
-
-<figures/PsiChartCom.pdf, id=758, 1043.9pt x 1316.92pt>
+<figures/PsiChartCom.pdf, id=1182, 1043.9pt x 1316.92pt>
File: figures/PsiChartCom.pdf Graphic file (type pdf)
<use figures/PsiChartCom.pdf>
Package pdftex.def Info: figures/PsiChartCom.pdf used on input line 1496.
(pdftex.def) Requested size: 1043.89745pt x 1316.9168pt.
-
-LaTeX Warning: Citation `Zimmermann80' on page 40 undefined on input line 1504.
-
-
-
-LaTeX Warning: Reference `app:FormalCP' on page 40 undefined on input line 1526
-.
-
[40 <./figures/screenshot/ClockFrequency.pdf>]
Underfull \hbox (badness 10000) in paragraph at lines 1550--1554
[]
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 41 undefined on input line 1556
-.
-
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 41 undefined on input line 1558
-.
-
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 41 undefined on input line 1559
-.
-
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 41 undefined on input line 1559
-.
-
-<figures/mainAD_DMA_noPolling.pdf, id=769, 472.164pt x 334.85101pt>
+<figures/mainAD_DMA_noPolling.pdf, id=1199, 472.164pt x 334.85101pt>
File: figures/mainAD_DMA_noPolling.pdf Graphic file (type pdf)
<use figures/mainAD_DMA_noPolling.pdf>
Package pdftex.def Info: figures/mainAD_DMA_noPolling.pdf used on input line 1
564.
(pdftex.def) Requested size: 358.50314pt x 254.24416pt.
-
-LaTeX Warning: Reference `fig:ConfigureDMA_SD' on page 41 undefined on input li
-ne 1572.
-
-<figures/ConfigureDMA_SD.pdf, id=770, 747.59299pt x 450.48299pt>
+<figures/ConfigureDMA_SD.pdf, id=1201, 747.59299pt x 450.48299pt>
File: figures/ConfigureDMA_SD.pdf Graphic file (type pdf)
<use figures/ConfigureDMA_SD.pdf>
Package pdftex.def Info: figures/ConfigureDMA_SD.pdf used on input line 1586.
(pdftex.def) Requested size: 512.1496pt x 74.70872pt.
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 41 undefined on input line 1587
-.
-
[41 <./figures/PsiChartCom.pdf>]
-
-LaTeX Warning: Reference `fig:DMACycle_SD' on page 42 undefined on input line 1
-592.
-
-
-LaTeX Warning: Reference `fig:ConfigureDMA_SD' on page 42 undefined on input li
-ne 1593.
-
-
-LaTeX Warning: Reference `subsec:Mapping' on page 42 undefined on input line 15
-99.
-
-<figures/DMACycle_SD.pdf, id=880, 736.35098pt x 445.665pt>
+<figures/DMACycle_SD.pdf, id=1316, 736.35098pt x 445.665pt>
File: figures/DMACycle_SD.pdf Graphic file (type pdf)
<use figures/DMACycle_SD.pdf>
Package pdftex.def Info: figures/DMACycle_SD.pdf used on input line 1605.
(pdftex.def) Requested size: 512.1496pt x 112.07994pt.
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 42 undefined on input line 1606
-.
-
-
-LaTeX Warning: Reference `fig:TerminateDMA_SD' on page 42 undefined on input li
-ne 1611.
-
-<figures/TerminateDMA_SD.pdf, id=882, 498.663pt x 449.68pt>
+<figures/TerminateDMA_SD.pdf, id=1320, 498.663pt x 449.68pt>
File: figures/TerminateDMA_SD.pdf Graphic file (type pdf)
<use figures/TerminateDMA_SD.pdf>
Package pdftex.def Info: figures/TerminateDMA_SD.pdf used on input line 1621.
(pdftex.def) Requested size: 358.50314pt x 67.59431pt.
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 42 undefined on input line 1622
-.
-
[42 <./figures/ConfigureDMA_SD.pdf> <./figures/mainAD_DMA_noPolling.pdf
pdfTeX warning: /opt/local/bin/pdflatex (file ./figures/mainAD_DMA_noPolling.pd
f): PDF inclusion: multiple pdfs with page group included in a single page
>]
-
-LaTeX Warning: Reference `fig:CPforPollingDMA' on page 43 undefined on input li
-ne 1627.
-
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 43 undefined on input line 1630
-.
-
-<figures/mainCPDMAPolling.pdf, id=914, 321.27226pt x 321.2pt>
+<figures/mainCPDMAPolling.pdf, id=1354, 321.27226pt x 321.2pt>
File: figures/mainCPDMAPolling.pdf Graphic file (type pdf)
<use figures/mainCPDMAPolling.pdf>
Package pdftex.def Info: figures/mainCPDMAPolling.pdf used on input line 1637.
(pdftex.def) Requested size: 216.81pt x 216.76143pt.
-
-LaTeX Warning: Reference `fig:ConfigureTransferPolling' on page 43 undefined on
- input line 1643.
-
-
-LaTeX Warning: Reference `fig:ConfigureDMA_SD' on page 43 undefined on input li
-ne 1644.
-
-<figures/ConfigureTransferPolling.pdf, id=915, 1014.99202pt x 444.05899pt>
+<figures/ConfigureTransferPolling.pdf, id=1357, 1014.99202pt x 444.05899pt>
File: figures/ConfigureTransferPolling.pdf Graphic file (type pdf)
<use figures/ConfigureTransferPolling.pdf>
Package pdftex.def Info: figures/ConfigureTransferPolling.pdf used on input li
ne 1650.
(pdftex.def) Requested size: 512.1496pt x 66.1432pt.
-
-LaTeX Warning: Reference `fig:CPforPollingDMA' on page 43 undefined on input li
-ne 1651.
-
-
-LaTeX Warning: Reference `fig:TransferCycleAD' on page 43 undefined on input li
-ne 1655.
-
-
-LaTeX Warning: Reference `fig:DMACycle_SD' on page 43 undefined on input line 1
-659.
-
-<figures/TransferCycleAD.pdf, id=917, 235.63031pt x 168.2536pt>
+<figures/TransferCycleAD.pdf, id=1362, 235.63031pt x 168.2536pt>
File: figures/TransferCycleAD.pdf Graphic file (type pdf)
<use figures/TransferCycleAD.pdf>
Package pdftex.def Info: figures/TransferCycleAD.pdf used on input line 1663.
(pdftex.def) Requested size: 144.54pt x 103.20961pt.
-
-LaTeX Warning: Reference `fig:CPforPollingDMA' on page 43 undefined on input li
-ne 1664.
-
-
-LaTeX Warning: Reference `fig:ADPollingCycle' on page 43 undefined on input lin
-e 1668.
-
-
-LaTeX Warning: Reference `fig:SDPollingDMA' on page 43 undefined on input line
-1669.
-
-<figures/PollingCycleAD.pdf, id=918, 278.54062pt x 142.65797pt>
+<figures/PollingCycleAD.pdf, id=1366, 278.54062pt x 142.65797pt>
File: figures/PollingCycleAD.pdf Graphic file (type pdf)
<use figures/PollingCycleAD.pdf>
Package pdftex.def Info: figures/PollingCycleAD.pdf used on input line 1676.
(pdftex.def) Requested size: 216.81pt x 111.04419pt.
-
-LaTeX Warning: Reference `fig:CPforPollingDMA' on page 43 undefined on input li
-ne 1678.
-
-<figures/PollingCycleSD.pdf, id=919, 582.175pt x 456.10399pt>
+<figures/PollingCycleSD.pdf, id=1368, 582.175pt x 456.10399pt>
File: figures/PollingCycleSD.pdf Graphic file (type pdf)
<use figures/PollingCycleSD.pdf>
Package pdftex.def Info: figures/PollingCycleSD.pdf used on input line 1685.
(pdftex.def) Requested size: 409.72124pt x 140.77948pt.
-
-LaTeX Warning: Reference `fig:ADPollingCycle' on page 43 undefined on input lin
-e 1686.
-
-
-LaTeX Warning: Reference `fig:MemoryCopy' on page 43 undefined on input line 16
-97.
-
-
-LaTeX Warning: Reference `fig:MemoryCopy_TransferCycle' on page 43 undefined on
- input line 1699.
-
-
-LaTeX Warning: Reference `fig:DMACycle_SD' on page 43 undefined on input line 1
-700.
-
-
-LaTeX Warning: Reference `fig:DoubleDMATransfer' on page 43 undefined on input
-line 1705.
-
-
-LaTeX Warning: Reference `fig:DMATransfer1' on page 43 undefined on input line
-1710.
-
-
-LaTeX Warning: Reference `fig:DMATransfer2' on page 43 undefined on input line
-1710.
-
-
-LaTeX Warning: Reference `fig:CP04_1' on page 43 undefined on input line 1711.
-
-
-LaTeX Warning: Reference `fig:CP04_6' on page 43 undefined on input line 1711.
-
-<figures/evaluation/MemCopy.pdf, id=921, 276.23201pt x 282.656pt>
+<figures/evaluation/MemCopy.pdf, id=1379, 276.23201pt x 282.656pt>
File: figures/evaluation/MemCopy.pdf Graphic file (type pdf)
<use figures/evaluation/MemCopy.pdf>
Package pdftex.def Info: figures/evaluation/MemCopy.pdf used on input line 171
9.
(pdftex.def) Requested size: 194.65085pt x 199.16928pt.
-<figures/evaluation/MemCopy_TransferCycle.pdf, id=922, 907.67905pt x 160.6pt>
+<figures/evaluation/MemCopy_TransferCycle.pdf, id=1380, 907.67905pt x 160.6pt>
File: figures/evaluation/MemCopy_TransferCycle.pdf Graphic file (type pdf)
<use figures/evaluation/MemCopy_TransferCycle.pdf>
Package pdftex.def Info: figures/evaluation/MemCopy_TransferCycle.pdf used on
input line 1726.
(pdftex.def) Requested size: 512.1496pt x 90.62152pt.
-
-LaTeX Warning: Reference `fig:MemoryCopy' on page 43 undefined on input line 17
-27.
-
-<figures/evaluation/DoubleDMATransfer.pdf, id=923, 115.70427pt x 216.81pt>
+<figures/evaluation/DoubleDMATransfer.pdf, id=1382, 115.70427pt x 216.81pt>
File: figures/evaluation/DoubleDMATransfer.pdf Graphic file (type pdf)
<use figures/evaluation/DoubleDMATransfer.pdf>
Package pdftex.def Info: figures/evaluation/DoubleDMATransfer.pdf used on inpu
t line 1733.
(pdftex.def) Requested size: 75.92543pt x 142.26378pt.
-<figures/evaluation/DMATransfer1.pdf, id=924, 273.02pt x 282.94508pt>
+<figures/evaluation/DMATransfer1.pdf, id=1383, 273.02pt x 282.94508pt>
File: figures/evaluation/DMATransfer1.pdf Graphic file (type pdf)
<use figures/evaluation/DMATransfer1.pdf>
Package pdftex.def Info: figures/evaluation/DMATransfer1.pdf used on input lin
e 1740.
(pdftex.def) Requested size: 192.1875pt x 199.16928pt.
-
-LaTeX Warning: Reference `fig:DoubleDMATransfer' on page 43 undefined on input
-line 1741.
-
-<figures/evaluation/DMATransfer2.pdf, id=925, 281.05pt x 293.095pt>
+<figures/evaluation/DMATransfer2.pdf, id=1385, 281.05pt x 293.095pt>
File: figures/evaluation/DMATransfer2.pdf Graphic file (type pdf)
<use figures/evaluation/DMATransfer2.pdf>
Package pdftex.def Info: figures/evaluation/DMATransfer2.pdf used on input lin
e 1747.
(pdftex.def) Requested size: 190.9828pt x 199.16928pt.
-
-LaTeX Warning: Reference `fig:DoubleDMATransfer' on page 43 undefined on input
-line 1748.
-
-<figures/evaluation/ConfigureTransfer1.pdf, id=926, 538.01pt x 97.966pt>
+<figures/evaluation/ConfigureTransfer1.pdf, id=1387, 538.01pt x 97.966pt>
File: figures/evaluation/ConfigureTransfer1.pdf Graphic file (type pdf)
<use figures/evaluation/ConfigureTransfer1.pdf>
Package pdftex.def Info: figures/evaluation/ConfigureTransfer1.pdf used on inp
ut line 1754.
(pdftex.def) Requested size: 361.34999pt x 65.79831pt.
-
-LaTeX Warning: Reference `fig:DMATransfer1' on page 43 undefined on input line
-1755.
-
-<figures/evaluation/TransferCycleSD1.pdf, id=927, 843.22223pt x 176.94908pt>
+<figures/evaluation/TransferCycleSD1.pdf, id=1389, 843.22223pt x 176.94908pt>
File: figures/evaluation/TransferCycleSD1.pdf Graphic file (type pdf)
<use figures/evaluation/TransferCycleSD1.pdf>
Package pdftex.def Info: figures/evaluation/TransferCycleSD1.pdf used on input
line 1761.
(pdftex.def) Requested size: 512.1496pt x 107.47707pt.
+<figures/evaluation/TerminateTransfer1.pdf, id=1391, 452.96431pt x 106.28508pt>
-LaTeX Warning: Reference `fig:DMATransfer1' on page 43 undefined on input line
-1762.
-
-<figures/evaluation/TerminateTransfer1.pdf, id=928, 452.96431pt x 106.28508pt>
File: figures/evaluation/TerminateTransfer1.pdf Graphic file (type pdf)
<use figures/evaluation/TerminateTransfer1.pdf>
Package pdftex.def Info: figures/evaluation/TerminateTransfer1.pdf used on inp
ut line 1768.
(pdftex.def) Requested size: 361.34999pt x 84.793pt.
-
-LaTeX Warning: Reference `fig:DMATransfer1' on page 43 undefined on input line
-1769.
-
-<figures/evaluation/ConfigureTransfer2.pdf, id=929, 538.01pt x 97.966pt>
+<figures/evaluation/ConfigureTransfer2.pdf, id=1393, 538.01pt x 97.966pt>
File: figures/evaluation/ConfigureTransfer2.pdf Graphic file (type pdf)
<use figures/evaluation/ConfigureTransfer2.pdf>
Package pdftex.def Info: figures/evaluation/ConfigureTransfer2.pdf used on inp
ut line 1775.
(pdftex.def) Requested size: 361.34999pt x 65.79831pt.
-
-LaTeX Warning: Reference `fig:DMATransfer2' on page 43 undefined on input line
-1776.
-
-<figures/evaluation/TransferCycleSD2.pdf, id=930, 843.22223pt x 176.94908pt>
+<figures/evaluation/TransferCycleSD2.pdf, id=1395, 843.22223pt x 176.94908pt>
File: figures/evaluation/TransferCycleSD2.pdf Graphic file (type pdf)
<use figures/evaluation/TransferCycleSD2.pdf>
Package pdftex.def Info: figures/evaluation/TransferCycleSD2.pdf used on input
line 1782.
(pdftex.def) Requested size: 512.1496pt x 107.47707pt.
+<figures/evaluation/TerminateTransfer2.pdf, id=1397, 452.96431pt x 106.28508pt>
-LaTeX Warning: Reference `fig:DMATransfer2' on page 43 undefined on input line
-1783.
-
-<figures/evaluation/TerminateTransfer2.pdf, id=931, 452.96431pt x 106.28508pt>
File: figures/evaluation/TerminateTransfer2.pdf Graphic file (type pdf)
<use figures/evaluation/TerminateTransfer2.pdf>
Package pdftex.def Info: figures/evaluation/TerminateTransfer2.pdf used on inp
ut line 1789.
(pdftex.def) Requested size: 361.34999pt x 84.793pt.
-
-LaTeX Warning: Reference `fig:DMATransfer2' on page 43 undefined on input line
-1790.
-
[43 <./figures/DMACycle_SD.pdf> <./figures/TerminateDMA_SD.pdf>] [44 <./figures
/ConfigureTransferPolling.pdf> <./figures/mainCPDMAPolling.pdf
@@ -1738,11 +1182,7 @@ DF inclusion: multiple pdfs with page group included in a single page
pdfTeX warning: /opt/local/bin/pdflatex (file ./figures/PollingCycleAD.pdf): PD
F inclusion: multiple pdfs with page group included in a single page
->]
-
-LaTeX Warning: Citation `Knorreck11' on page 45 undefined on input line 1872.
-
-[45 <./figures/PollingCycleSD.pdf> <./figures/evaluation/MemCopy.pdf
+>] [45 <./figures/PollingCycleSD.pdf> <./figures/evaluation/MemCopy.pdf
pdfTeX warning: /opt/local/bin/pdflatex (file ./figures/evaluation/MemCopy.pdf)
: PDF inclusion: multiple pdfs with page group included in a single page
@@ -1778,26 +1218,13 @@ pdfTeX warning: /opt/local/bin/pdflatex (file ./figures/evaluation/ConfigureTra
nsfer2.pdf): PDF inclusion: multiple pdfs with page group included in a single
page
>]
-
-LaTeX Warning: Reference `fig:CommMismatchesPaths' on page 48 undefined on inpu
-t line 1888.
-
-
Overfull \hbox (1.65341pt too wide) in paragraph at lines 1887--1890
[]\OT1/cmr/m/n/10 from \OT1/cmtt/m/n/10 MainMemory \OT1/cmr/m/n/10 to any of th
e DSP lo-cal mem-o-ries and vice-versa, e.g., path \OT1/cmtt/m/n/10 DDR--MainBu
s--MainBridge--Crossbar-
[]
-
-LaTeX Warning: Reference `fig:CommMismatchesPaths' on page 48 undefined on inpu
-t line 1891.
-
-
-LaTeX Warning: Reference `fig:CommMismatchesPaths' on page 48 undefined on inpu
-t line 1897.
-
-<figures/evaluation/CommMismatchesPaths.pdf, id=1357, 1043.9pt x 602.25pt>
+<figures/evaluation/CommMismatchesPaths.pdf, id=1827, 1043.9pt x 602.25pt>
File: figures/evaluation/CommMismatchesPaths.pdf Graphic file (type pdf)
<use figures/evaluation/CommMismatchesPaths.pdf>
Package pdftex.def Info: figures/evaluation/CommMismatchesPaths.pdf used on in
@@ -1810,132 +1237,41 @@ pdfTeX warning: /opt/local/bin/pdflatex (file ./figures/evaluation/TerminateTra
nsfer2.pdf): PDF inclusion: multiple pdfs with page group included in a single
page
>] [49 <./figures/evaluation/CommMismatchesPaths.pdf>]
-
-LaTeX Warning: Reference `fig:CPWindow1' on page 50 undefined on input line 191
-1.
-
-<figures/screenshot/CPWindow1.png, id=1393, 1371.1225pt x 770.88pt>
+<figures/screenshot/CPWindow1.png, id=1864, 1371.1225pt x 770.88pt>
File: figures/screenshot/CPWindow1.png Graphic file (type png)
<use figures/screenshot/CPWindow1.png>
Package pdftex.def Info: figures/screenshot/CPWindow1.png used on input line 1
916.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 50 undefined on input line 1953
-.
-
-
-LaTeX Warning: Reference `fig:ConfigureDMA_SD' on page 50 undefined on input li
-ne 1959.
-
-
-LaTeX Warning: Reference `fig:DMACycle_SD' on page 50 undefined on input line 1
-960.
-
-
-LaTeX Warning: Reference `fig:TerminateDMA_SD' on page 50 undefined on input li
-ne 1960.
-
-
-LaTeX Warning: Reference `fig:CPSDWindow1' on page 50 undefined on input line 1
-963.
-
-<figures/screenshot/CPSDWindow1.png, id=1394, 1371.1225pt x 770.88pt>
+<figures/screenshot/CPSDWindow1.png, id=1870, 1371.1225pt x 770.88pt>
File: figures/screenshot/CPSDWindow1.png Graphic file (type png)
<use figures/screenshot/CPSDWindow1.png>
Package pdftex.def Info: figures/screenshot/CPSDWindow1.png used on input line
1967.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
[50 <./figures/screenshot/CPWindow1.png>]
-
-LaTeX Warning: Reference `fig:CPSDWindow1' on page 51 undefined on input line 1
-994.
-
-
-LaTeX Warning: Reference `fig:ConfigureDMA_SD' on page 51 undefined on input li
-ne 2003.
-
-
-LaTeX Warning: Reference `fig:CPSDWindow1' on page 51 undefined on input line 2
-004.
-
-
-LaTeX Warning: Reference `fig:DMACycle_SD' on page 51 undefined on input line 2
-010.
-
-
-LaTeX Warning: Reference `fig:CPSDWindow1' on page 51 undefined on input line 2
-012.
-
-
-LaTeX Warning: Reference `fig:TerminateDMA_SD' on page 51 undefined on input li
-ne 2017.
-
-
Underfull \hbox (badness 10000) in paragraph at lines 1993--2019
[]
[51 <./figures/screenshot/CPSDWindow1.png>]
-
-LaTeX Warning: Reference `fig:DoubleDMATransfer' on page 52 undefined on input
-line 2021.
-
-
-LaTeX Warning: Reference `fig:CPWindow1' on page 52 undefined on input line 202
-2.
-
-
-LaTeX Warning: Reference `fig:CPWindow1' on page 52 undefined on input line 202
-3.
-
-
-LaTeX Warning: Reference `fig:DMATransfer1' on page 52 undefined on input line
-2025.
-
-
-LaTeX Warning: Reference `fig:CP04_6' on page 52 undefined on input line 2025.
-
-
-LaTeX Warning: Reference `fig:MemoryCopy' on page 52 undefined on input line 20
-28.
-
-
Underfull \hbox (badness 10000) in paragraph at lines 2020--2030
[]
[52]
-
-LaTeX Warning: Reference `fig:MappingMeth' on page 53 undefined on input line 2
-034.
-
-
-LaTeX Warning: Reference `fig:PsiChartMap' on page 53 undefined on input line 2
-035.
-
-
-LaTeX Warning: Reference `fig:Tchart' on page 53 undefined on input line 2035.
-
-
-LaTeX Warning: Reference `fig:MappingMeth' on page 53 undefined on input line 2
-036.
-
-<figures/PsiChartMap.pdf, id=1433, 1043.9pt x 1316.92pt>
+<figures/PsiChartMap.pdf, id=1923, 1043.9pt x 1316.92pt>
File: figures/PsiChartMap.pdf Graphic file (type pdf)
<use figures/PsiChartMap.pdf>
Package pdftex.def Info: figures/PsiChartMap.pdf used on input line 2041.
(pdftex.def) Requested size: 1043.89745pt x 1316.9168pt.
-<figures/applicationModel1.pdf, id=1434, 1445.4pt x 3003.22pt>
+<figures/applicationModel1.pdf, id=1924, 1445.4pt x 3003.22pt>
File: figures/applicationModel1.pdf Graphic file (type pdf)
<use figures/applicationModel1.pdf>
Package pdftex.def Info: figures/applicationModel1.pdf used on input line 2048
.
(pdftex.def) Requested size: 1445.39648pt x 3003.21272pt.
-LaTeX Warning: Reference `subsec:CP' on page 53 undefined on input line 2072.
-
-
Underfull \hbox (badness 10000) in paragraph at lines 2034--2088
[]
@@ -1945,145 +1281,26 @@ Underfull \hbox (badness 10000) in paragraph at lines 2034--2088
pdfTeX warning: /opt/local/bin/pdflatex (file ./figures/applicationModel1.pdf):
PDF inclusion: multiple pdfs with page group included in a single page
>]
-
-LaTeX Warning: Reference `fig:MappingMeth' on page 54 undefined on input line 2
-143.
-
-
-LaTeX Warning: Reference `tab:MappingL0' on page 54 undefined on input line 214
-8.
-
-
-LaTeX Warning: Reference `tab:MappingL0' on page 54 undefined on input line 217
-6.
-
-
-LaTeX Warning: Reference `fig:Platform' on page 54 undefined on input line 2180
-.
-
-
-LaTeX Warning: Reference `fig:MapSink' on page 54 undefined on input line 2182.
-
-
-<figures/screenshot/MapSink.png, id=1593, 1371.1225pt x 770.88pt>
+<figures/screenshot/MapSink.png, id=2088, 1371.1225pt x 770.88pt>
File: figures/screenshot/MapSink.png Graphic file (type png)
<use figures/screenshot/MapSink.png>
Package pdftex.def Info: figures/screenshot/MapSink.png used on input line 218
7.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `tab:MappingL1' on page 54 undefined on input line 219
-6.
-
-
-LaTeX Warning: Reference `fig:Platform' on page 54 undefined on input line 2220
-.
-
-
-LaTeX Warning: Reference `fig:MapMemory1' on page 54 undefined on input line 22
-21.
-
[54] [55 <./figures/screenshot/MapSink.png>]
-
-LaTeX Warning: Reference `fig:Platform' on page 56 undefined on input line 2227
-.
-
-
-LaTeX Warning: Reference `fig:Platform' on page 56 undefined on input line 2228
-.
-
-
-LaTeX Warning: Reference `fig:MapMemory2' on page 56 undefined on input line 22
-30.
-
-<figures/screenshot/MapMemory1.png, id=1610, 1371.1225pt x 770.88pt>
+<figures/screenshot/MapMemory1.png, id=2112, 1371.1225pt x 770.88pt>
File: figures/screenshot/MapMemory1.png Graphic file (type png)
<use figures/screenshot/MapMemory1.png>
Package pdftex.def Info: figures/screenshot/MapMemory1.png used on input line
2237.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-<figures/screenshot/MapMemory2.png, id=1611, 1371.1225pt x 770.88pt>
+<figures/screenshot/MapMemory2.png, id=2113, 1371.1225pt x 770.88pt>
File: figures/screenshot/MapMemory2.png Graphic file (type png)
<use figures/screenshot/MapMemory2.png>
Package pdftex.def Info: figures/screenshot/MapMemory2.png used on input line
2244.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `tab:MappingL0' on page 56 undefined on input line 225
-2.
-
[56 <./figures/screenshot/MapMemory1.png>]
-
-LaTeX Warning: Reference `tab:CPList2' on page 57 undefined on input line 2282.
-
-
-
-LaTeX Warning: Reference `tab:CPList3' on page 57 undefined on input line 2282.
-
-
-
-LaTeX Warning: Reference `fig:MemoryCopy_TransferCycle' on page 57 undefined on
- input line 2283.
-
-
-LaTeX Warning: Reference `fig:ConfigureDMA_SD' on page 57 undefined on input li
-ne 2284.
-
-
-LaTeX Warning: Reference `fig:DMACycle_SD' on page 57 undefined on input line 2
-285.
-
-
-LaTeX Warning: Reference `fig:TerminateDMA_SD' on page 57 undefined on input li
-ne 2285.
-
-
-LaTeX Warning: Reference `app:FormalCP' on page 57 undefined on input line 2286
-.
-
-
-LaTeX Warning: Reference `fig:CP04_1' on page 57 undefined on input line 2288.
-
-
-LaTeX Warning: Reference `fig:CP04_6' on page 57 undefined on input line 2288.
-
-
-LaTeX Warning: Reference `fig:MemoryCopy' on page 57 undefined on input line 22
-98.
-
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 57 undefined on input line 2299
-.
-
-
-LaTeX Warning: Reference `fig:CPforDMA' on page 57 undefined on input line 2300
-.
-
-
-LaTeX Warning: Reference `fig:DoubleDMATransfer' on page 57 undefined on input
-line 2301.
-
-
-LaTeX Warning: Reference `tab:CPList2' on page 57 undefined on input line 2307.
-
-
-
-LaTeX Warning: Reference `tab:CPList4' on page 57 undefined on input line 2323.
-
-
-
-LaTeX Warning: Reference `tab:CPList4' on page 57 undefined on input line 2327.
-
-
-
-LaTeX Warning: Reference `sec:CodeGen' on page 57 undefined on input line 2329.
-
-
-
-LaTeX Warning: Reference `tab:CPList3' on page 57 undefined on input line 2335.
-
-
-
Underfull \hbox (badness 10000) in paragraph at lines 2341--2341
[]
@@ -2198,71 +1415,7 @@ Overfull \hbox (56.90552pt too wide) in paragraph at lines 2353--2353
[]|[]|
[]
-
-LaTeX Warning: Reference `fig:DoubleDMATransfer' on page 57 undefined on input
-line 2358.
-
-
-LaTeX Warning: Reference `tab:CPList4' on page 57 undefined on input line 2359.
-
-
-
-LaTeX Warning: Reference `tab:CPList4' on page 57 undefined on input line 2361.
-
-
-
-LaTeX Warning: Reference `tab:CPList4' on page 57 undefined on input line 2366.
-
-
-
-LaTeX Warning: Reference `tab:CPList4' on page 57 undefined on input line 2370.
-
-
-
-LaTeX Warning: Reference `tab:CPList4' on page 57 undefined on input line 2377.
-
-
-
-LaTeX Warning: Reference `tab:CPList4' on page 57 undefined on input line 2387.
-
-
-
-LaTeX Warning: Reference `tab:MappingL2' on page 57 undefined on input line 238
-9.
-
-
-LaTeX Warning: Reference `tab:MappingL2' on page 57 undefined on input line 241
-4.
-
-
-LaTeX Warning: Reference `tab:MappingL3' on page 57 undefined on input line 245
-0.
-
-
-LaTeX Warning: Reference `tab:MappingL3' on page 57 undefined on input line 245
-3.
-
-
-LaTeX Warning: Reference `tab:MappingL3' on page 57 undefined on input line 245
-7.
-
-
-LaTeX Warning: Reference `tab:MappingL3' on page 57 undefined on input line 246
-0.
-
-
-LaTeX Warning: Reference `fig:ZigbeeTXMapped' on page 57 undefined on input lin
-e 2463.
-
-
-LaTeX Warning: Reference `fig:ArchExcerptCP01' on page 57 undefined on input li
-ne 2464.
-
-
-LaTeX Warning: Reference `fig:ArchExcerptCP04' on page 57 undefined on input li
-ne 2465.
-
-<figures/evaluation/ZigbeeAppMapp.pdf, id=1621, 1374.73598pt x 457.71pt>
+<figures/evaluation/ZigbeeAppMapp.pdf, id=2159, 1374.73598pt x 457.71pt>
File: figures/evaluation/ZigbeeAppMapp.pdf Graphic file (type pdf)
<use figures/evaluation/ZigbeeAppMapp.pdf>
Package pdftex.def Info: figures/evaluation/ZigbeeAppMapp.pdf used on input li
@@ -2271,7 +1424,7 @@ ne 2469.
LaTeX Warning: Float too large for page by 65.21623pt on input line 2473.
-<figures/evaluation/MappingCP01.pdf, id=1622, 1043.9pt x 481.8pt>
+<figures/evaluation/MappingCP01.pdf, id=2160, 1043.9pt x 481.8pt>
File: figures/evaluation/MappingCP01.pdf Graphic file (type pdf)
<use figures/evaluation/MappingCP01.pdf>
Package pdftex.def Info: figures/evaluation/MappingCP01.pdf used on input line
@@ -2280,19 +1433,19 @@ Package pdftex.def Info: figures/evaluation/MappingCP01.pdf used on input line
LaTeX Warning: Float too large for page by 2.6084pt on input line 2481.
-<figures/evaluation/Architecture_Excerpt.pdf, id=1623, 1043.9pt x 602.25pt>
+<figures/evaluation/Architecture_Excerpt.pdf, id=2161, 1043.9pt x 602.25pt>
File: figures/evaluation/Architecture_Excerpt.pdf Graphic file (type pdf)
<use figures/evaluation/Architecture_Excerpt.pdf>
Package pdftex.def Info: figures/evaluation/Architecture_Excerpt.pdf used on i
nput line 2485.
(pdftex.def) Requested size: 1043.89745pt x 602.24852pt.
-<figures/evaluation/MappingCP03.pdf, id=1624, 1043.9pt x 602.25pt>
+<figures/evaluation/MappingCP03.pdf, id=2162, 1043.9pt x 602.25pt>
File: figures/evaluation/MappingCP03.pdf Graphic file (type pdf)
<use figures/evaluation/MappingCP03.pdf>
Package pdftex.def Info: figures/evaluation/MappingCP03.pdf used on input line
2493.
(pdftex.def) Requested size: 1043.89745pt x 602.24852pt.
-<figures/evaluation/MappingCP04.pdf, id=1625, 1043.9pt x 602.25pt>
+<figures/evaluation/MappingCP04.pdf, id=2163, 1043.9pt x 602.25pt>
File: figures/evaluation/MappingCP04.pdf Graphic file (type pdf)
<use figures/evaluation/MappingCP04.pdf>
Package pdftex.def Info: figures/evaluation/MappingCP04.pdf used on input line
@@ -2305,141 +1458,69 @@ Underfull \vbox (badness 5924) has occurred while \output is active []
on/MappingCP01.pdf>] [63 <./figures/evaluation/Architecture_Excerpt.pdf>] [64 <
./figures/evaluation/MappingCP03.pdf>] [65 <./figures/evaluation/MappingCP04.pd
f>]
-
-LaTeX Warning: Reference `fig:PsiChartDes' on page 66 undefined on input line 2
-513.
-
-
-LaTeX Warning: Reference `subsec:Simulation' on page 66 undefined on input line
- 2515.
-
-
-LaTeX Warning: Reference `subsec:FormalVerif' on page 66 undefined on input lin
-e 2515.
-
-<figures/PsiChartDes.pdf, id=1747, 1043.9pt x 1316.92pt>
+<figures/PsiChartDes.pdf, id=2287, 1043.9pt x 1316.92pt>
File: figures/PsiChartDes.pdf Graphic file (type pdf)
<use figures/PsiChartDes.pdf>
Package pdftex.def Info: figures/PsiChartDes.pdf used on input line 2519.
(pdftex.def) Requested size: 1043.89745pt x 1316.9168pt.
-LaTeX Warning: Citation `Knorreck09' on page 66 undefined on input line 2529.
-
-
-LaTeX Warning: Citation `SystemCSimulationSemantics' on page 66 undefined on in
-put line 2539.
-
-
-LaTeX Warning: Citation `Knorreck09' on page 66 undefined on input line 2540.
-
-
-LaTeX Warning: Reference `app:SimuSemantics' on page 66 undefined on input line
- 2546.
-
-
-LaTeX Warning: Citation `Knorreck11' on page 66 undefined on input line 2546.
-
-
Underfull \hbox (badness 10000) in paragraph at lines 2528--2549
[]
-
-LaTeX Warning: Reference `fig:SyntaxAnalysis' on page 66 undefined on input lin
-e 2552.
-
-
-LaTeX Warning: Reference `fig:SyntaxAnalysis' on page 66 undefined on input lin
-e 2553.
-
-<figures/screenshot/SyntaxAnalysis.png, id=1748, 1371.1225pt x 770.88pt>
+<figures/screenshot/SyntaxAnalysis.png, id=2299, 1371.1225pt x 770.88pt>
File: figures/screenshot/SyntaxAnalysis.png Graphic file (type png)
<use figures/screenshot/SyntaxAnalysis.png>
Package pdftex.def Info: figures/screenshot/SyntaxAnalysis.png used on input l
ine 2562.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:CodeGen1' on page 66 undefined on input line 2572
-.
-
-
-LaTeX Warning: Reference `fig:SimuGUI1' on page 66 undefined on input line 2581
-.
-
-<figures/screenshot/CodeGenSimu.png, id=1750, 1371.1225pt x 770.88pt>
+<figures/screenshot/CodeGenSimu.png, id=2303, 1371.1225pt x 770.88pt>
File: figures/screenshot/CodeGenSimu.png Graphic file (type png)
<use figures/screenshot/CodeGenSimu.png>
Package pdftex.def Info: figures/screenshot/CodeGenSimu.png used on input line
2585.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-<figures/screenshot/SimuGUI1.png, id=1751, 1371.1225pt x 770.88pt>
+<figures/screenshot/SimuGUI1.png, id=2304, 1371.1225pt x 770.88pt>
File: figures/screenshot/SimuGUI1.png Graphic file (type png)
<use figures/screenshot/SimuGUI1.png>
Package pdftex.def Info: figures/screenshot/SimuGUI1.png used on input line 25
92.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:CmdCtrl' on page 66 undefined on input line 2600.
-
-
[66 <./figures/PsiChartDes.pdf>] [67 <./figures/screenshot/SyntaxAnalysis.png>]
[68 <./figures/screenshot/CodeGenSimu.png> <./figures/screenshot/SimuGUI1.png>]
-<figures/screenshot/CmdCtrl.png, id=1871, 727.71875pt x 295.1025pt>
+<figures/screenshot/CmdCtrl.png, id=2426, 727.71875pt x 295.1025pt>
File: figures/screenshot/CmdCtrl.png Graphic file (type png)
<use figures/screenshot/CmdCtrl.png>
Package pdftex.def Info: figures/screenshot/CmdCtrl.png used on input line 263
7.
(pdftex.def) Requested size: 307.29288pt x 124.61313pt.
-
-LaTeX Warning: Reference `fig:CmdTextCommands' on page 69 undefined on input li
-ne 2642.
-
-<figures/screenshot/CmdTextCommands.png, id=1872, 729.72626pt x 296.10625pt>
+<figures/screenshot/CmdTextCommands.png, id=2428, 729.72626pt x 296.10625pt>
File: figures/screenshot/CmdTextCommands.png Graphic file (type png)
<use figures/screenshot/CmdTextCommands.png>
Package pdftex.def Info: figures/screenshot/CmdTextCommands.png used on input
line 2646.
(pdftex.def) Requested size: 307.29288pt x 124.68907pt.
-
-LaTeX Warning: Reference `fig:CmdSetVariables' on page 69 undefined on input li
-ne 2651.
-
-<figures/screenshot/CmdSetVariables.png, id=1873, 724.7075pt x 295.1025pt>
+<figures/screenshot/CmdSetVariables.png, id=2430, 724.7075pt x 295.1025pt>
File: figures/screenshot/CmdSetVariables.png Graphic file (type png)
<use figures/screenshot/CmdSetVariables.png>
Package pdftex.def Info: figures/screenshot/CmdSetVariables.png used on input
line 2655.
(pdftex.def) Requested size: 307.29288pt x 125.13095pt.
-
-LaTeX Warning: Reference `fig:CmdSaveTrace' on page 69 undefined on input line
-2660.
-
-
-LaTeX Warning: Citation `gtkwave' on page 69 undefined on input line 2663.
-
-
-LaTeX Warning: Reference `fig:CustomButtons' on page 69 undefined on input line
- 2664.
-
[69 <./figures/screenshot/CmdCtrl.png> <./figures/screenshot/CmdTextCommands.pn
g> <./figures/screenshot/CmdSetVariables.png>]
-<figures/screenshot/CmdSaveTrace.png, id=1885, 721.69624pt x 293.095pt>
+<figures/screenshot/CmdSaveTrace.png, id=2446, 721.69624pt x 293.095pt>
File: figures/screenshot/CmdSaveTrace.png Graphic file (type png)
<use figures/screenshot/CmdSaveTrace.png>
Package pdftex.def Info: figures/screenshot/CmdSaveTrace.png used on input lin
e 2678.
(pdftex.def) Requested size: 307.29288pt x 124.79851pt.
-<figures/screenshot/CustomButtons.png, id=1886, 1371.1225pt x 770.88pt>
+<figures/screenshot/CustomButtons.png, id=2447, 1371.1225pt x 770.88pt>
File: figures/screenshot/CustomButtons.png Graphic file (type png)
<use figures/screenshot/CustomButtons.png>
Package pdftex.def Info: figures/screenshot/CustomButtons.png used on input li
ne 2685.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `fig:CmdSaveState' on page 70 undefined on input line
-2690.
-
-<figures/screenshot/CmdSaveState.png, id=1887, 725.71124pt x 296.10625pt>
+<figures/screenshot/CmdSaveState.png, id=2449, 725.71124pt x 296.10625pt>
File: figures/screenshot/CmdSaveState.png Graphic file (type png)
<use figures/screenshot/CmdSaveState.png>
Package pdftex.def Info: figures/screenshot/CmdSaveState.png used on input lin
@@ -2447,218 +1528,103 @@ e 2703.
(pdftex.def) Requested size: 307.29288pt x 125.38489pt.
[70 <./figures/screenshot/CmdSaveTrace.png> <./figures/screenshot/CustomButtons
.png>]
-
-LaTeX Warning: Reference `fig:CmdBenchmarks' on page 71 undefined on input line
- 2708.
-
-<figures/screenshot/CmdBenchmarks.pdf, id=1898, 578.16pt x 236.082pt>
+<figures/screenshot/CmdBenchmarks.pdf, id=2462, 578.16pt x 236.082pt>
File: figures/screenshot/CmdBenchmarks.pdf Graphic file (type pdf)
<use figures/screenshot/CmdBenchmarks.pdf>
Package pdftex.def Info: figures/screenshot/CmdBenchmarks.pdf used on input li
ne 2721.
(pdftex.def) Requested size: 307.29288pt x 125.47588pt.
-
-LaTeX Warning: Reference `subsec:FormalVerif' on page 71 undefined on input lin
-e 2726.
-
[71 <./figures/screenshot/CmdSaveState.png> <./figures/screenshot/CmdBenchmarks
.pdf>]
-
-LaTeX Warning: Reference `fig:Options' on page 72 undefined on input line 2730.
-
-
-<figures/screenshot/Options.png, id=1918, 556.0775pt x 507.8975pt>
+<figures/screenshot/Options.png, id=2483, 556.0775pt x 507.8975pt>
File: figures/screenshot/Options.png Graphic file (type png)
<use figures/screenshot/Options.png>
Package pdftex.def Info: figures/screenshot/Options.png used on input line 273
4.
(pdftex.def) Requested size: 307.29288pt x 280.66972pt.
-
-LaTeX Warning: Reference `fig:Breakpoints' on page 72 undefined on input line 2
-739.
-
-
-LaTeX Warning: Reference `fig:Breakpoints' on page 72 undefined on input line 2
-744.
-
-<figures/screenshot/Breakpoints.png, id=1919, 554.07pt x 503.8825pt>
+<figures/screenshot/Breakpoints.png, id=2486, 554.07pt x 503.8825pt>
File: figures/screenshot/Breakpoints.png Graphic file (type png)
<use figures/screenshot/Breakpoints.png>
Package pdftex.def Info: figures/screenshot/Breakpoints.png used on input line
2748.
(pdftex.def) Requested size: 307.29288pt x 279.45819pt.
-
-LaTeX Warning: Reference `fig:Tasks' on page 72 undefined on input line 2753.
-
-<figures/screenshot/Tasks.png, id=1920, 553.06625pt x 508.90125pt>
+<figures/screenshot/Tasks.png, id=2488, 553.06625pt x 508.90125pt>
File: figures/screenshot/Tasks.png Graphic file (type png)
<use figures/screenshot/Tasks.png>
Package pdftex.def Info: figures/screenshot/Tasks.png used on input line 2759.
(pdftex.def) Requested size: 307.29288pt x 282.75415pt.
-
-LaTeX Warning: Reference `fig:TasksVariables' on page 72 undefined on input lin
-e 2764.
-
-<figures/screenshot/TaskVariables.png, id=1921, 553.06625pt x 509.905pt>
+<figures/screenshot/TaskVariables.png, id=2490, 553.06625pt x 509.905pt>
File: figures/screenshot/TaskVariables.png Graphic file (type png)
<use figures/screenshot/TaskVariables.png>
Package pdftex.def Info: figures/screenshot/TaskVariables.png used on input li
ne 2770.
(pdftex.def) Requested size: 307.29288pt x 283.31184pt.
-
-LaTeX Warning: Reference `fig:Transactions' on page 72 undefined on input line
-2775.
-
-<figures/screenshot/Transactions.png, id=1922, 566.115pt x 506.89375pt>
+<figures/screenshot/Transactions.png, id=2492, 566.115pt x 506.89375pt>
File: figures/screenshot/Transactions.png Graphic file (type png)
<use figures/screenshot/Transactions.png>
Package pdftex.def Info: figures/screenshot/Transactions.png used on input lin
e 2782.
(pdftex.def) Requested size: 307.29288pt x 275.14944pt.
-
-LaTeX Warning: Reference `fig:CPUHwA' on page 72 undefined on input line 2787.
-
-<figures/screenshot/CPUHwA.png, id=1923, 568.1225pt x 502.87875pt>
+<figures/screenshot/CPUHwA.png, id=2494, 568.1225pt x 502.87875pt>
File: figures/screenshot/CPUHwA.png Graphic file (type png)
<use figures/screenshot/CPUHwA.png>
Package pdftex.def Info: figures/screenshot/CPUHwA.png used on input line 2792
.
(pdftex.def) Requested size: 307.29288pt x 272.01088pt.
-
-LaTeX Warning: Reference `fig:Memories' on page 72 undefined on input line 2797
-.
-
-<figures/screenshot/Memories.png, id=1924, 553.06625pt x 510.90875pt>
+<figures/screenshot/Memories.png, id=2496, 553.06625pt x 510.90875pt>
File: figures/screenshot/Memories.png Graphic file (type png)
<use figures/screenshot/Memories.png>
Package pdftex.def Info: figures/screenshot/Memories.png used on input line 28
02.
(pdftex.def) Requested size: 307.29288pt x 283.86954pt.
-
-LaTeX Warning: Reference `sec:Modeling' on page 72 undefined on input line 2809
-.
-
-
-LaTeX Warning: Reference `tab:SimuResults' on page 72 undefined on input line 2
-810.
-
-
-LaTeX Warning: Reference `sec:Modeling' on page 72 undefined on input line 2818
-.
-
-<figures/Waveform.png, id=1925, 827.09pt x 191.71625pt>
+<figures/Waveform.png, id=2500, 827.09pt x 191.71625pt>
File: figures/Waveform.png Graphic file (type png)
<use figures/Waveform.png>
Package pdftex.def Info: figures/Waveform.png used on input line 2844.
(pdftex.def) Requested size: 512.1496pt x 118.71657pt.
-
-LaTeX Warning: Reference `fig:Waveform' on page 72 undefined on input line 2850
-.
-
-<figures/Waveform2.png, id=1926, 980.66376pt x 291.0875pt>
+<figures/Waveform2.png, id=2502, 980.66376pt x 291.0875pt>
File: figures/Waveform2.png Graphic file (type png)
<use figures/Waveform2.png>
Package pdftex.def Info: figures/Waveform2.png used on input line 2857.
(pdftex.def) Requested size: 512.1496pt x 152.02373pt.
-
-LaTeX Warning: Reference `fig:Waveform2' on page 72 undefined on input line 286
-3.
-
[72
<./figures/screenshot/Options.png>] [73 <./figures/screenshot/Breakpoints.png>
<./figures/screenshot/Tasks.png>] [74 <./figures/screenshot/TaskVariables.png>
<./figures/screenshot/Transactions.png>] [75 <./figures/screenshot/CPUHwA.png>
<./figures/screenshot/Memories.png>] [76 <./figures/Waveform.png>]
-
-LaTeX Warning: Citation `Knorreck09' on page 77 undefined on input line 2877.
-
-
-LaTeX Warning: Citation `Knorreck11' on page 77 undefined on input line 2877.
-
-
-LaTeX Warning: Citation `UPPAAL' on page 77 undefined on input line 2877.
-
-<figures/FV.pdf, id=1959, 6527.65924pt x 6163.63814pt>
+<figures/FV.pdf, id=2542, 6527.65924pt x 6163.63814pt>
File: figures/FV.pdf Graphic file (type pdf)
<use figures/FV.pdf>
Package pdftex.def Info: figures/FV.pdf used on input line 2882.
(pdftex.def) Requested size: 409.72124pt x 386.82529pt.
-
-LaTeX Warning: Citation `UPPAAL' on page 77 undefined on input line 2889.
-
-
-LaTeX Warning: Reference `fig:FV' on page 77 undefined on input line 2900.
-
[77 <./figures/Waveform2.png>] [78 <./figures/FV.pdf>]
-
-LaTeX Warning: Reference `fig:UPPAAL1' on page 79 undefined on input line 2931.
-
-
-
-LaTeX Warning: Reference `fig:UPPAAL1' on page 79 undefined on input line 2933.
-
-
-<figures/screenshot/UPPAAL1.png, id=2025, 722.7pt x 522.753pt>
+<figures/screenshot/UPPAAL1.png, id=2611, 722.7pt x 522.753pt>
File: figures/screenshot/UPPAAL1.png Graphic file (type png)
<use figures/screenshot/UPPAAL1.png>
Package pdftex.def Info: figures/screenshot/UPPAAL1.png used on input line 294
6.
(pdftex.def) Requested size: 512.1496pt x 370.45529pt.
-
-LaTeX Warning: Reference `fig:UPPAAL1' on page 79 undefined on input line 2952.
-
-
-
-LaTeX Warning: Reference `fig:CmdFormalVerif' on page 79 undefined on input lin
-e 2995.
-
-
-LaTeX Warning: Reference `fig:CmdFormalVerif' on page 79 undefined on input lin
-e 3017.
-
[79 <./figures/screenshot/UPPAAL1.png>]
-<figures/screenshot/CmdFormalVerif.png, id=2039, 727.71875pt x 299.1175pt>
+<figures/screenshot/CmdFormalVerif.png, id=2626, 727.71875pt x 299.1175pt>
File: figures/screenshot/CmdFormalVerif.png Graphic file (type png)
<use figures/screenshot/CmdFormalVerif.png>
Package pdftex.def Info: figures/screenshot/CmdFormalVerif.png used on input l
ine 3038.
(pdftex.def) Requested size: 307.29288pt x 126.30855pt.
-LaTeX Warning: Citation `Graphviz' on page 80 undefined on input line 3044.
-
-
Underfull \hbox (badness 10000) in paragraph at lines 3043--3046
[]
-
-LaTeX Warning: Citation `Latre06' on page 80 undefined on input line 3051.
-
-
-LaTeX Warning: Reference `subsec:Mapping' on page 80 undefined on input line 30
-61.
-
-
-LaTeX Warning: Reference `subsec:Create-Embb' on page 80 undefined on input lin
-e 3066.
-
[80 <./figures/screenshot/CmdFormalVerif.png>]
-
-LaTeX Warning: Reference `fig:RGAnalysis' on page 81 undefined on input line 30
-86.
-
-<figures/RGAnalysis.png, id=2051, 573.14125pt x 593.21625pt>
+<figures/RGAnalysis.png, id=2646, 573.14125pt x 593.21625pt>
File: figures/RGAnalysis.png Graphic file (type png)
<use figures/RGAnalysis.png>
Package pdftex.def Info: figures/RGAnalysis.png used on input line 3092.
(pdftex.def) Requested size: 230.46574pt x 238.54048pt.
-
-LaTeX Warning: Reference `fig:RGDeadlock' on page 81 undefined on input line 30
-97.
-
-<figures/RGDeadlock.png, id=2052, 574.145pt x 89.33376pt>
+<figures/RGDeadlock.png, id=2648, 574.145pt x 89.33376pt>
File: figures/RGDeadlock.png Graphic file (type png)
<use figures/RGDeadlock.png>
Package pdftex.def Info: figures/RGDeadlock.png used on input line 3102.
@@ -2668,66 +1634,36 @@ Underfull \hbox (badness 10000) in paragraph at lines 3106--3107
[]
-
-LaTeX Warning: Reference `fig:RGTree' on page 81 undefined on input line 3108.
-
-<figures/RGTree.png, id=2053, 516.93124pt x 398.48875pt>
+<figures/RGTree.png, id=2650, 516.93124pt x 398.48875pt>
File: figures/RGTree.png Graphic file (type png)
<use figures/RGTree.png>
Package pdftex.def Info: figures/RGTree.png used on input line 3112.
(pdftex.def) Requested size: 230.46574pt x 177.65831pt.
-
-LaTeX Warning: Reference `fig:RGMinimizationWindow' on page 81 undefined on inp
-ut line 3116.
-
-<figures/RGMinimizationWindow.png, id=2054, 725.71124pt x 688.5725pt>
+<figures/RGMinimizationWindow.png, id=2652, 725.71124pt x 688.5725pt>
File: figures/RGMinimizationWindow.png Graphic file (type png)
<use figures/RGMinimizationWindow.png>
Package pdftex.def Info: figures/RGMinimizationWindow.png used on input line 3
121.
(pdftex.def) Requested size: 332.8941pt x 315.86461pt.
[81 <./figures/RGAnalysis.png> <./figures/RGDeadlock.png>]
-
-LaTeX Warning: Reference `fig:RGMinimizedTree' on page 82 undefined on input li
-ne 3126.
-
-<figures/RGMinimizedTree.png, id=2061, 460.72125pt x 397.485pt>
+<figures/RGMinimizedTree.png, id=2662, 460.72125pt x 397.485pt>
File: figures/RGMinimizedTree.png Graphic file (type png)
<use figures/RGMinimizedTree.png>
Package pdftex.def Info: figures/RGMinimizedTree.png used on input line 3130.
(pdftex.def) Requested size: 230.46574pt x 198.83298pt.
-
-LaTeX Warning: Reference `fig:RGMinimized' on page 82 undefined on input line 3
-135.
-
-<figures/RGMinimized.png, id=2062, 1705.37125pt x 1433.355pt>
+<figures/RGMinimized.png, id=2664, 1705.37125pt x 1433.355pt>
File: figures/RGMinimized.png Graphic file (type png)
<use figures/RGMinimized.png>
Package pdftex.def Info: figures/RGMinimized.png used on input line 3139.
(pdftex.def) Requested size: 507.03091pt x 426.16049pt.
[82 <./figures/RGTree.png> <./figures/RGMinimizationWindow.png>]
-
-LaTeX Warning: Citation `BlanchetJCS08' on page 83 undefined on input line 3183
-.
-
-
-LaTeX Warning: Reference `fig:ProVerifWindow' on page 83 undefined on input lin
-e 3195.
-
-
-LaTeX Warning: Reference `fig:ProVerifWindowRes' on page 83 undefined on input
-line 3195.
-
-
-LaTeX Warning: Reference `sec:symenc' on page 83 undefined on input line 3195.
-
-<figures/securityStuff/ProVerifWindow.png, id=2069, 559.08875pt x 466.74374pt>
+<figures/securityStuff/ProVerifWindow.png, id=2677, 559.08875pt x 466.74374pt>
File: figures/securityStuff/ProVerifWindow.png Graphic file (type png)
<use figures/securityStuff/ProVerifWindow.png>
Package pdftex.def Info: figures/securityStuff/ProVerifWindow.png used on inpu
t line 3200.
(pdftex.def) Requested size: 332.8941pt x 277.91895pt.
-<figures/securityStuff/ProVerifWindowRes.png, id=2070, 509.905pt x 462.72874pt>
+<figures/securityStuff/ProVerifWindowRes.png, id=2678, 509.905pt x 462.72874pt>
File: figures/securityStuff/ProVerifWindowRes.png Graphic file (type png)
<use figures/securityStuff/ProVerifWindowRes.png>
@@ -2737,155 +1673,60 @@ nput line 3207.
[83 <./figures/RGMinimizedTree.png>] [84 <./figures/RGMinimized.png>] [85 <./fi
gures/securityStuff/ProVerifWindow.png> <./figures/securityStuff/ProVerifWindow
Res.png>]
-
-LaTeX Warning: Reference `fig:PsiChartReal' on page 86 undefined on input line
-3216.
-
-<figures/PsiChartReal.pdf, id=2091, 1043.9pt x 1316.92pt>
+<figures/PsiChartReal.pdf, id=2698, 1043.9pt x 1316.92pt>
File: figures/PsiChartReal.pdf Graphic file (type pdf)
<use figures/PsiChartReal.pdf>
Package pdftex.def Info: figures/PsiChartReal.pdf used on input line 3222.
(pdftex.def) Requested size: 1043.89745pt x 1316.9168pt.
-LaTeX Warning: Reference `fig:CodeGen' on page 86 undefined on input line 3236.
-
-
-
-LaTeX Warning: Reference `fig:CodeGen' on page 86 undefined on input line 3246.
-
-
-
-LaTeX Warning: Reference `fig:TToolSWArch' on page 86 undefined on input line 3
-248.
-
-
Package hyperref Warning: Difference (2) between bookmark levels is greater
(hyperref) than one, level fixed on input line 3257.
-
-LaTeX Warning: Reference `fig:CodeGen' on page 86 undefined on input line 3257.
-
-
-
-LaTeX Warning: Citation `Gonzalez13' on page 86 undefined on input line 3258.
-
-
-LaTeX Warning: Reference `fig:CodeGen' on page 86 undefined on input line 3258.
-
-
-
-LaTeX Warning: Reference `fig:TToolSWArch' on page 86 undefined on input line 3
-259.
-
-
-LaTeX Warning: Reference `fig:CodeGen' on page 86 undefined on input line 3265.
-
-
-<figures/ModelCompiler.pdf, id=2093, 2184.16pt x 762.85pt>
+<figures/ModelCompiler.pdf, id=2709, 2184.16pt x 762.85pt>
File: figures/ModelCompiler.pdf Graphic file (type pdf)
<use figures/ModelCompiler.pdf>
Package pdftex.def Info: figures/ModelCompiler.pdf used on input line 3284.
(pdftex.def) Requested size: 409.72124pt x 143.09222pt.
-[86 <./figures/PsiChartReal.pdf>]
-
-LaTeX Warning: Citation `Ousterhout96' on page 87 undefined on input line 3298.
-
-
-
-LaTeX Warning: Citation `Dabek02' on page 87 undefined on input line 3298.
-
-
-LaTeX Warning: Citation `Lee06' on page 87 undefined on input line 3300.
-
-
-LaTeX Warning: Reference `fig:CodeGen' on page 87 undefined on input line 3304.
-
-
-
-LaTeX Warning: Reference `fig:MappingMeth' on page 87 undefined on input line 3
-305.
-
-[87 <./figures/ModelCompiler.pdf>]
-
-LaTeX Warning: Reference `fig:Prex' on page 88 undefined on input line 3327.
-
-
-LaTeX Warning: Reference `fig:Postex' on page 88 undefined on input line 3328.
-
-<figures/screenshot/Prex.png, id=2236, 346.29375pt x 728.7225pt>
+[86 <./figures/PsiChartReal.pdf>] [87 <./figures/ModelCompiler.pdf>]
+<figures/screenshot/Prex.png, id=2861, 346.29375pt x 728.7225pt>
File: figures/screenshot/Prex.png Graphic file (type png)
<use figures/screenshot/Prex.png>
Package pdftex.def Info: figures/screenshot/Prex.png used on input line 3333.
(pdftex.def) Requested size: 179.25548pt x 377.2255pt.
-<figures/screenshot/Postex.png, id=2237, 349.305pt x 698.61pt>
+<figures/screenshot/Postex.png, id=2862, 349.305pt x 698.61pt>
File: figures/screenshot/Postex.png Graphic file (type png)
<use figures/screenshot/Postex.png>
Package pdftex.def Info: figures/screenshot/Postex.png used on input line 3341
.
(pdftex.def) Requested size: 179.25548pt x 358.51431pt.
-
-LaTeX Warning: Reference `fig:CCodeGenButton' on page 88 undefined on input lin
-e 3347.
-
-<figures/screenshot/CCodeGenButton.pdf, id=2238, 1096.89806pt x 616.70403pt>
+<figures/screenshot/CCodeGenButton.pdf, id=2864, 1096.89806pt x 616.70403pt>
File: figures/screenshot/CCodeGenButton.pdf Graphic file (type pdf)
<use figures/screenshot/CCodeGenButton.pdf>
Package pdftex.def Info: figures/screenshot/CCodeGenButton.pdf used on input l
ine 3351.
(pdftex.def) Requested size: 512.1496pt x 287.94067pt.
-
-LaTeX Warning: Reference `fig:CCodeGen1' on page 88 undefined on input line 335
-6.
-
-<figures/screenshot/CCodeGen1.png, id=2239, 1371.1225pt x 770.88pt>
+<figures/screenshot/CCodeGen1.png, id=2866, 1371.1225pt x 770.88pt>
File: figures/screenshot/CCodeGen1.png Graphic file (type png)
<use figures/screenshot/CCodeGen1.png>
Package pdftex.def Info: figures/screenshot/CCodeGen1.png used on input line 3
363.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-
-LaTeX Warning: Reference `algo:Scheduler' on page 88 undefined on input line 33
-81.
-
[88 <./figures/screenshot/Prex.png>] [89 <./figures/screenshot/Postex.png>] [90
<./figures/screenshot/CCodeGenButton.pdf> <./figures/screenshot/CCodeGen1.png>
]
Package hyperref Info: bookmark level for unknown algorithm defaults to 0 on in
put line 3395.
-
-LaTeX Warning: Reference `fig:CCodeGen2' on page 91 undefined on input line 341
-3.
-
-<figures/screenshot/CCodeGen2.png, id=2267, 1371.1225pt x 770.88pt>
+<figures/screenshot/CCodeGen2.png, id=2895, 1371.1225pt x 770.88pt>
File: figures/screenshot/CCodeGen2.png Graphic file (type png)
<use figures/screenshot/CCodeGen2.png>
Package pdftex.def Info: figures/screenshot/CCodeGen2.png used on input line 3
419.
(pdftex.def) Requested size: 512.1496pt x 287.95007pt.
-LaTeX Warning: Reference `fig:CCodeGen1' on page 91 undefined on input line 342
-0.
-
-
-LaTeX Warning: Reference `fig:CCodeGen2' on page 91 undefined on input line 342
-4.
-
-
Underfull \hbox (badness 10000) in paragraph at lines 3413--3427
[]
-
-LaTeX Warning: Reference `fig:CodeGen' on page 91 undefined on input line 3429.
-
-
-
-LaTeX Warning: Reference `fig:EmbbArch' on page 91 undefined on input line 3434
-.
-
-
-LaTeX Warning: Reference `lst:FftMEC' on page 91 undefined on input line 3439.
-
Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on i
nput line 3458.
[91] [92]
@@ -2893,21 +1734,13 @@ Underfull \hbox (badness 10000) in paragraph at lines 3519--3522
[]
-<figures/securityStuff/sampleArch.pdf, id=2334, 935.495pt x 249.93375pt>
+<figures/securityStuff/sampleArch.pdf, id=2968, 935.495pt x 249.93375pt>
File: figures/securityStuff/sampleArch.pdf Graphic file (type pdf)
<use figures/securityStuff/sampleArch.pdf>
Package pdftex.def Info: figures/securityStuff/sampleArch.pdf used on input li
ne 3531.
(pdftex.def) Requested size: 358.50314pt x 95.78049pt.
-
-LaTeX Warning: Reference `fig:sampleArch' on page 93 undefined on input line 35
-40.
-
-
-LaTeX Warning: Reference `fig:sampleComp' on page 93 undefined on input line 35
-45.
-
-<figures/securityStuff/sampleComp.pdf, id=2335, 786.94pt x 219.82124pt>
+<figures/securityStuff/sampleComp.pdf, id=2971, 786.94pt x 219.82124pt>
File: figures/securityStuff/sampleComp.pdf Graphic file (type pdf)
<use figures/securityStuff/sampleComp.pdf>
Package pdftex.def Info: figures/securityStuff/sampleComp.pdf used on input li
@@ -2915,30 +1748,123 @@ ne 3550.
(pdftex.def) Requested size: 358.50314pt x 100.14291pt.
[93 <./figures/screenshot/CCodeGen2.png> <./figures/securityStuff/sampleArch.pd
f>]
-
-LaTeX Warning: Reference `fig:nonce' on page 94 undefined on input line 3564.
-
-
-LaTeX Warning: File `figures/securityStuff/alice_bob_nonce_ad_alice-svg.pdf' no
-t found on input line 3572.
-
-
-! Package pdftex.def Error: File `figures/securityStuff/alice_bob_nonce_ad_alic
-e-svg.pdf' not found: using draft setting.
-
-See the pdftex.def package documentation for explanation.
-Type H <return> for immediate help.
- ...
-
-l.3572 ...yStuff/alice_bob_nonce_ad_alice-svg.pdf}
-
+<figures/securityStuff/alice_bob_nonce_ad_alice-svg.pdf, id=2980, 106.3975pt x
+198.7425pt>
+File: figures/securityStuff/alice_bob_nonce_ad_alice-svg.pdf Graphic file (type
+ pdf)
+<use figures/securityStuff/alice_bob_nonce_ad_alice-svg.pdf>
+Package pdftex.def Info: figures/securityStuff/alice_bob_nonce_ad_alice-svg.pdf
+ used on input line 3572.
+(pdftex.def) Requested size: 76.8193pt x 143.50084pt.
+<figures/securityStuff/fv_alice_bob_nonce-svg.pdf, id=2981, 397.485pt x 138.517
+5pt>
+File: figures/securityStuff/fv_alice_bob_nonce-svg.pdf Graphic file (type pdf)
+<use figures/securityStuff/fv_alice_bob_nonce-svg.pdf>
+Package pdftex.def Info: figures/securityStuff/fv_alice_bob_nonce-svg.pdf used
+ on input line 3573.
+(pdftex.def) Requested size: 307.29288pt x 107.08997pt.
+<figures/securityStuff/alice_bob_nonce_ad_bob-svg.pdf, id=2982, 111.41624pt x 2
+42.9075pt>
+File: figures/securityStuff/alice_bob_nonce_ad_bob-svg.pdf Graphic file (type p
+df)
+<use figures/securityStuff/alice_bob_nonce_ad_bob-svg.pdf>
+Package pdftex.def Info: figures/securityStuff/alice_bob_nonce_ad_bob-svg.pdf
+used on input line 3574.
+(pdftex.def) Requested size: 76.8193pt x 167.48032pt.
+<figures/securityStuff/keyArch.pdf, id=2985, 937.5025pt x 245.91875pt>
+File: figures/securityStuff/keyArch.pdf Graphic file (type pdf)
+<use figures/securityStuff/keyArch.pdf>
+Package pdftex.def Info: figures/securityStuff/keyArch.pdf used on input line
+3592.
+(pdftex.def) Requested size: 358.50314pt x 94.03922pt.
+<figures/securityStuff/keyComp.pdf, id=2986, 871.255pt x 333.245pt>
+File: figures/securityStuff/keyComp.pdf Graphic file (type pdf)
+<use figures/securityStuff/keyComp.pdf>
+Package pdftex.def Info: figures/securityStuff/keyComp.pdf used on input line
+3600.
+(pdftex.def) Requested size: 409.72124pt x 156.71161pt.
+[94 <./figures/securityStuff/sampleComp.pdf> <./figures/securityStuff/alice_bob
+_nonce_ad_alice-svg.pdf> <./figures/securityStuff/fv_alice_bob_nonce-svg.pdf> <
+./figures/securityStuff/alice_bob_nonce_ad_bob-svg.pdf>]
+<figures/securityStuff/macComp.pdf, id=3048, 787.94376pt x 212.795pt>
+File: figures/securityStuff/macComp.pdf Graphic file (type pdf)
+<use figures/securityStuff/macComp.pdf>
+Package pdftex.def Info: figures/securityStuff/macComp.pdf used on input line
+3626.
+(pdftex.def) Requested size: 358.50314pt x 96.81862pt.
+<figures/securityStuff/autoSec.png, id=3049, 655.44875pt x 639.38875pt>
+File: figures/securityStuff/autoSec.png Graphic file (type png)
+<use figures/securityStuff/autoSec.png>
+Package pdftex.def Info: figures/securityStuff/autoSec.png used on input line
+3638.
+(pdftex.def) Requested size: 358.50314pt x 349.72339pt.
+[95 <./figures/securityStuff/keyArch.pdf> <./figures/securityStuff/keyComp.pdf>
+] [96 <./figures/securityStuff/macComp.pdf> <./figures/securityStuff/autoSec.pn
+g>]
+<figures/securityStuff/secComp.pdf, id=3071, 282.12746pt x 73.23029pt>
+File: figures/securityStuff/secComp.pdf Graphic file (type pdf)
+<use figures/securityStuff/secComp.pdf>
+Package pdftex.def Info: figures/securityStuff/secComp.pdf used on input line
+3650.
+(pdftex.def) Requested size: 256.0748pt x 66.46756pt.
+<figures/securityStuff/secCompRes.pdf, id=3072, 473.14725pt x 245.10815pt>
+File: figures/securityStuff/secCompRes.pdf Graphic file (type pdf)
+<use figures/securityStuff/secCompRes.pdf>
+Package pdftex.def Info: figures/securityStuff/secCompRes.pdf used on input li
+ne 3658.
+(pdftex.def) Requested size: 409.72124pt x 212.25873pt.
+[97 <./figures/securityStuff/secComp.pdf> <./figures/securityStuff/secCompRes.p
+df
+
+pdfTeX warning: /opt/local/bin/pdflatex (file ./figures/securityStuff/secCompRe
+s.pdf): PDF inclusion: multiple pdfs with page group included in a single page
+>] [98] [99] [100] [101] [102] [103] [104] [105] (build/Tutorial.aux)
+
+LaTeX Font Warning: Some font shapes were not available, defaults substituted.
+
+Package rerunfilecheck Info: File `Tutorial.out' has not changed.
+(rerunfilecheck) Checksum: 6BBF8DE0DDB8BC43A86DEA0130CA0D4B;11289.
+ )
Here is how much of TeX's memory you used:
- 14978 strings out of 479309
- 244812 string characters out of 5867802
- 1607619 words of memory out of 5000000
- 32154 multiletter control sequences out of 15000+600000
+ 15192 strings out of 479309
+ 247982 string characters out of 5867802
+ 1623209 words of memory out of 5000000
+ 32292 multiletter control sequences out of 15000+600000
476630 words of font info for 55 fonts, out of 8000000 for 9000
475 hyphenation exceptions out of 8191
- 60i,21n,63p,659b,1469s stack positions out of 10000i,1000n,20000p,200000b,200000s
+ 60i,21n,63p,655b,1469s stack positions out of 10000i,1000n,20000p,200000b,200000s
+
+pdfTeX warning (dest): name{Hfootnote.3} has been referenced but does not exist
+, replaced by a fixed one
+
+{/opt/local/share/texmf-texlive/fonts/enc/dvips/cm-super/cm-super-ts1.enc}</opt
+/local/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmbx10.pfb></opt/loca
+l/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmbx12.pfb></opt/local/sha
+re/texmf-texlive/fonts/type1/public/amsfonts/cm/cmbx9.pfb></opt/local/share/tex
+mf-texlive/fonts/type1/public/amsfonts/cm/cmmi10.pfb></opt/local/share/texmf-te
+xlive/fonts/type1/public/amsfonts/cm/cmmi5.pfb></opt/local/share/texmf-texlive/
+fonts/type1/public/amsfonts/cm/cmmi7.pfb></opt/local/share/texmf-texlive/fonts/
+type1/public/amsfonts/cm/cmmi9.pfb></opt/local/share/texmf-texlive/fonts/type1/
+public/amsfonts/cm/cmr10.pfb></opt/local/share/texmf-texlive/fonts/type1/public
+/amsfonts/cm/cmr5.pfb></opt/local/share/texmf-texlive/fonts/type1/public/amsfon
+ts/cm/cmr6.pfb></opt/local/share/texmf-texlive/fonts/type1/public/amsfonts/cm/c
+mr7.pfb></opt/local/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr8.pfb
+></opt/local/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr9.pfb></opt/
+local/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy10.pfb></opt/local
+/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy5.pfb></opt/local/share
+/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy7.pfb></opt/local/share/texmf
+-texlive/fonts/type1/public/amsfonts/cm/cmsy9.pfb></opt/local/share/texmf-texli
+ve/fonts/type1/public/amsfonts/cm/cmti10.pfb></opt/local/share/texmf-texlive/fo
+nts/type1/public/amsfonts/cm/cmti9.pfb></opt/local/share/texmf-texlive/fonts/ty
+pe1/public/amsfonts/cm/cmtt10.pfb></opt/local/share/texmf-texlive/fonts/type1/p
+ublic/amsfonts/cm/cmtt8.pfb></opt/local/share/texmf-texlive/fonts/type1/public/
+amsfonts/cm/cmtt9.pfb></opt/local/share/texmf-texlive/fonts/type1/public/cm-sup
+er/sfrm0500.pfb></opt/local/share/texmf-texlive/fonts/type1/public/cm-super/sfr
+m1000.pfb>
+Output written on build/Tutorial.pdf (105 pages, 7791752 bytes).
+PDF statistics:
+ 3387 PDF objects out of 3580 (max. 8388607)
+ 2589 compressed objects within 26 object streams
+ 597 named destinations out of 1000 (max. 500000)
+ 1060 words of extra memory for PDF output out of 10000 (max. 10000000)
-! ==> Fatal error occurred, no output PDF file produced!
diff --git a/doc/diplodocus_tutorial/build/Tutorial.out b/doc/diplodocus_tutorial/build/Tutorial.out
index 3b33532e54..57e6a3261b 100644
--- a/doc/diplodocus_tutorial/build/Tutorial.out
+++ b/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
diff --git a/doc/diplodocus_tutorial/build/Tutorial.toc b/doc/diplodocus_tutorial/build/Tutorial.toc
index e69de29bb2..c14c7fbf06 100644
--- a/doc/diplodocus_tutorial/build/Tutorial.toc
+++ b/doc/diplodocus_tutorial/build/Tutorial.toc
@@ -0,0 +1,50 @@
+\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}%
--
GitLab