Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
PARTIES
publications
Minimal Scheduling
Commits
cf3988b2
Commit
cf3988b2
authored
Jun 30, 2020
by
Jaime Arias
Browse files
add iot-dev assignment figures
parent
b0f6bd39
Changes
9
Expand all
Hide whitespace changes
Inline
Side-by-side
results/iot-dev/assignment/iot-dev_minimal_assignment.pdf
0 → 100644
View file @
cf3988b2
File added
results/iot-dev/assignment/iot-dev_minimal_assignment.png
0 → 100644
View file @
cf3988b2
107 KB
results/iot-dev/assignment/iot-dev_minimal_assignment.tex
0 → 100644
View file @
cf3988b2
\documentclass
{
standalone
}
\usepackage
[dvipsnames,svgnames,table]
{
xcolor
}
\usepackage
{
tikz
}
\usetikzlibrary
{
automata, positioning, arrows, shapes, shapes.gates.logic, shapes.gates.logic.US
}
\begin{document}
\begin{tikzpicture}
[node distance=1.8cm]
\tikzstyle
{
SEQ
}
=[diamond]
\tikzstyle
{
NULL
}
=[trapezium, trapezium left angle=120, trapezium right angle=120, minimum size=8mm]
\tikzstyle
{
AND
}
=[and gate US, logic gate inputs=nn, rotate=90 ]
\tikzstyle
{
OR
}
=[or gate US, logic gate inputs=nn, rotate=90 ]
\tikzset
{
every node/.style=
{
ultra thick, draw=red, minimum size=6mm
}}
\node
[draw=red, NULL, xshift=0.000000cm ]
(CIoTD'
_
3)
{
\ensuremath
{
\mathtt
{
CIoTD'
_{
3
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=7mm]
at (CIoTD'
_
3.east)
{
\small
{
\ensuremath
{
\mathtt
{
level
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=7mm]
at (CIoTD'
_
3.west)
{
\small
{
\ensuremath
{
\mathtt
{
depth
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (CIoTD'
_
3.east)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (CIoTD'
_
3.west)
{
\small
{
\ensuremath
{
\mathtt
{
694
}}}}
;
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=CIoTD'_3]
(rms
_
30)
{
\ensuremath
{
\mathtt
{
rms
_{
30
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (rms
_
30.east)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (rms
_
30.west)
{
\small
{
\ensuremath
{
\mathtt
{
694
}}}}
;
\draw
[solid]
(CIoTD'
_
3) edge (rms
_
30);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=rms_30]
(rms
_
3)
{
\ensuremath
{
\mathtt
{
rms
_{
3
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (rms
_
3.east)
{
\small
{
\ensuremath
{
\mathtt
{
27
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (rms
_
3.west)
{
\small
{
\ensuremath
{
\mathtt
{
667
}}}}
;
\draw
[dotted, red, thick]
(rms
_
30) edge (rms
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=rms_3]
(rms
_
2)
{
\ensuremath
{
\mathtt
{
rms
_{
2
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (rms
_
2.east)
{
\small
{
\ensuremath
{
\mathtt
{
28
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (rms
_
2.west)
{
\small
{
\ensuremath
{
\mathtt
{
666
}}}}
;
\draw
[solid]
(rms
_
3) edge (rms
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=rms_2]
(rms
_
1)
{
\ensuremath
{
\mathtt
{
rms
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (rms
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
29
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (rms
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
665
}}}}
;
\draw
[solid]
(rms
_
2) edge (rms
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=rms_1]
(rms')
{
\ensuremath
{
\mathtt
{
rms'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (rms'.east)
{
\small
{
\ensuremath
{
\mathtt
{
30
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (rms'.west)
{
\small
{
\ensuremath
{
\mathtt
{
664
}}}}
;
\draw
[solid]
(rms
_
1) edge (rms');
\node
[draw=red, NULL, xshift=-0.000000cm , below of=rms']
(CIoTD'
_
2)
{
\ensuremath
{
\mathtt
{
CIoTD'
_{
2
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (CIoTD'
_
2.east)
{
\small
{
\ensuremath
{
\mathtt
{
30
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (CIoTD'
_
2.west)
{
\small
{
\ensuremath
{
\mathtt
{
664
}}}}
;
\draw
[solid]
(rms') edge (CIoTD'
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=CIoTD'_2]
(esv
_
60)
{
\ensuremath
{
\mathtt
{
esv
_{
60
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (esv
_
60.east)
{
\small
{
\ensuremath
{
\mathtt
{
30
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (esv
_
60.west)
{
\small
{
\ensuremath
{
\mathtt
{
664
}}}}
;
\draw
[solid]
(CIoTD'
_
2) edge (esv
_
60);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=esv_60]
(esv
_
3)
{
\ensuremath
{
\mathtt
{
esv
_{
3
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (esv
_
3.east)
{
\small
{
\ensuremath
{
\mathtt
{
87
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (esv
_
3.west)
{
\small
{
\ensuremath
{
\mathtt
{
607
}}}}
;
\draw
[dotted, red, thick]
(esv
_
60) edge (esv
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=esv_3]
(esv
_
2)
{
\ensuremath
{
\mathtt
{
esv
_{
2
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (esv
_
2.east)
{
\small
{
\ensuremath
{
\mathtt
{
88
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (esv
_
2.west)
{
\small
{
\ensuremath
{
\mathtt
{
606
}}}}
;
\draw
[solid]
(esv
_
3) edge (esv
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=esv_2]
(esv
_
1)
{
\ensuremath
{
\mathtt
{
esv
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (esv
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
89
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (esv
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
605
}}}}
;
\draw
[solid]
(esv
_
2) edge (esv
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=esv_1]
(esv')
{
\ensuremath
{
\mathtt
{
esv'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (esv'.east)
{
\small
{
\ensuremath
{
\mathtt
{
90
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (esv'.west)
{
\small
{
\ensuremath
{
\mathtt
{
604
}}}}
;
\draw
[solid]
(esv
_
1) edge (esv');
\node
[draw=red, NULL, xshift=-0.000000cm , below of=esv']
(CIoTD'
_
1)
{
\ensuremath
{
\mathtt
{
CIoTD'
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (CIoTD'
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
90
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (CIoTD'
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
604
}}}}
;
\draw
[solid]
(esv') edge (CIoTD'
_
1);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=CIoTD'_1]
(APNS
_
1)
{
\ensuremath
{
\mathtt
{
APNS
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (APNS
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
90
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (APNS
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
604
}}}}
;
\draw
[solid]
(CIoTD'
_
1) edge (APNS
_
1);
\node
[draw=red, NULL, xshift=-0.000000cm , below of=APNS_1]
(APNS')
{
\ensuremath
{
\mathtt
{
APNS'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (APNS'.east)
{
\small
{
\ensuremath
{
\mathtt
{
91
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (APNS'.west)
{
\small
{
\ensuremath
{
\mathtt
{
603
}}}}
;
\draw
[solid]
(APNS
_
1) edge (APNS');
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=APNS']
(APN
_
3)
{
\ensuremath
{
\mathtt
{
APN
_{
3
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (APN
_
3.east)
{
\small
{
\ensuremath
{
\mathtt
{
91
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (APN
_
3.west)
{
\small
{
\ensuremath
{
\mathtt
{
603
}}}}
;
\draw
[solid]
(APNS') edge (APN
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=APN_3]
(APN
_
2)
{
\ensuremath
{
\mathtt
{
APN
_{
2
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (APN
_
2.east)
{
\small
{
\ensuremath
{
\mathtt
{
92
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (APN
_
2.west)
{
\small
{
\ensuremath
{
\mathtt
{
602
}}}}
;
\draw
[solid]
(APN
_
3) edge (APN
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=APN_2]
(APN
_
1)
{
\ensuremath
{
\mathtt
{
APN
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (APN
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
93
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (APN
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
601
}}}}
;
\draw
[solid]
(APN
_
2) edge (APN
_
1);
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of APN_1.south]
(APN')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
APN'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (APN'.south)
{
\small
{
\ensuremath
{
\mathtt
{
94
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (APN'.north)
{
\small
{
\ensuremath
{
\mathtt
{
600
}}}}
;
\draw
[solid]
(APN
_
1) edge (APN'.east);
\node
[draw=red, OR, xshift=-0.400000cm , yshift=24mm, below = 1.4cm of APN'.south]
(CPN')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
CPN'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (CPN'.south)
{
\small
{
\ensuremath
{
\mathtt
{
94
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (CPN'.north)
{
\small
{
\ensuremath
{
\mathtt
{
90
}}}}
;
\draw
[solid]
(APN'.input 1) edge (CPN'.east);
\node
[draw=red, NULL, xshift=1.250000cm , below of=APN']
(GVC')
{
\ensuremath
{
\mathtt
{
GVC'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (GVC'.east)
{
\small
{
\ensuremath
{
\mathtt
{
94
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (GVC'.west)
{
\small
{
\ensuremath
{
\mathtt
{
600
}}}}
;
\draw
[solid]
(APN'.input 2) edge (GVC');
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=GVC']
(gc
_
600)
{
\ensuremath
{
\mathtt
{
gc
_{
600
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (gc
_
600.east)
{
\small
{
\ensuremath
{
\mathtt
{
94
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (gc
_
600.west)
{
\small
{
\ensuremath
{
\mathtt
{
600
}}}}
;
\draw
[solid]
(GVC') edge (gc
_
600);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=gc_600]
(gc
_
3)
{
\ensuremath
{
\mathtt
{
gc
_{
3
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (gc
_
3.east)
{
\small
{
\ensuremath
{
\mathtt
{
691
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (gc
_
3.west)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\draw
[dotted, red, thick]
(gc
_
600) edge (gc
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=gc_3]
(gc
_
2)
{
\ensuremath
{
\mathtt
{
gc
_{
2
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (gc
_
2.east)
{
\small
{
\ensuremath
{
\mathtt
{
692
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (gc
_
2.west)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\draw
[solid]
(gc
_
3) edge (gc
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=gc_2]
(gc
_
1)
{
\ensuremath
{
\mathtt
{
gc
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (gc
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
693
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (gc
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(gc
_
2) edge (gc
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=gc_1]
(gc')
{
\ensuremath
{
\mathtt
{
gc'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (gc'.east)
{
\small
{
\ensuremath
{
\mathtt
{
694
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (gc'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(gc
_
1) edge (gc');
\node
[draw=red, NULL, xshift=-0.000000cm , below of=CPN']
(AL'
_
2)
{
\ensuremath
{
\mathtt
{
AL'
_{
2
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (AL'
_
2.east)
{
\small
{
\ensuremath
{
\mathtt
{
94
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (AL'
_
2.west)
{
\small
{
\ensuremath
{
\mathtt
{
90
}}}}
;
\draw
[solid]
(CPN'.west) edge (AL'
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=AL'_2]
(sma
_
30)
{
\ensuremath
{
\mathtt
{
sma
_{
30
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (sma
_
30.east)
{
\small
{
\ensuremath
{
\mathtt
{
94
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (sma
_
30.west)
{
\small
{
\ensuremath
{
\mathtt
{
90
}}}}
;
\draw
[solid]
(AL'
_
2) edge (sma
_
30);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=sma_30]
(sma
_
3)
{
\ensuremath
{
\mathtt
{
sma
_{
3
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (sma
_
3.east)
{
\small
{
\ensuremath
{
\mathtt
{
121
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (sma
_
3.west)
{
\small
{
\ensuremath
{
\mathtt
{
63
}}}}
;
\draw
[dotted, red, thick]
(sma
_
30) edge (sma
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=sma_3]
(sma
_
2)
{
\ensuremath
{
\mathtt
{
sma
_{
2
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (sma
_
2.east)
{
\small
{
\ensuremath
{
\mathtt
{
122
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (sma
_
2.west)
{
\small
{
\ensuremath
{
\mathtt
{
62
}}}}
;
\draw
[solid]
(sma
_
3) edge (sma
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=sma_2]
(sma
_
1)
{
\ensuremath
{
\mathtt
{
sma
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (sma
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
123
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (sma
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
61
}}}}
;
\draw
[solid]
(sma
_
2) edge (sma
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=sma_1]
(sma')
{
\ensuremath
{
\mathtt
{
sma'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (sma'.east)
{
\small
{
\ensuremath
{
\mathtt
{
124
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (sma'.west)
{
\small
{
\ensuremath
{
\mathtt
{
60
}}}}
;
\draw
[solid]
(sma
_
1) edge (sma');
\node
[draw=red, NULL, xshift=-0.000000cm , below of=sma']
(AL'
_
1)
{
\ensuremath
{
\mathtt
{
AL'
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (AL'
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
124
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (AL'
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
60
}}}}
;
\draw
[solid]
(sma') edge (AL'
_
1);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=AL'_1]
(flp
_
60)
{
\ensuremath
{
\mathtt
{
flp
_{
60
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (flp
_
60.east)
{
\small
{
\ensuremath
{
\mathtt
{
124
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (flp
_
60.west)
{
\small
{
\ensuremath
{
\mathtt
{
60
}}}}
;
\draw
[solid]
(AL'
_
1) edge (flp
_
60);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=flp_60]
(flp
_
3)
{
\ensuremath
{
\mathtt
{
flp
_{
3
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (flp
_
3.east)
{
\small
{
\ensuremath
{
\mathtt
{
181
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (flp
_
3.west)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\draw
[dotted, red, thick]
(flp
_
60) edge (flp
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=flp_3]
(flp
_
2)
{
\ensuremath
{
\mathtt
{
flp
_{
2
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (flp
_
2.east)
{
\small
{
\ensuremath
{
\mathtt
{
182
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (flp
_
2.west)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\draw
[solid]
(flp
_
3) edge (flp
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=flp_2]
(flp
_
1)
{
\ensuremath
{
\mathtt
{
flp
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (flp
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
183
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (flp
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(flp
_
2) edge (flp
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=flp_1]
(flp')
{
\ensuremath
{
\mathtt
{
flp'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (flp'.east)
{
\small
{
\ensuremath
{
\mathtt
{
184
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (flp'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(flp
_
1) edge (flp');
\end{tikzpicture}
\end{document}
results/iot-dev/assignment/iot-dev_preprocessing.pdf
0 → 100644
View file @
cf3988b2
File added
results/iot-dev/assignment/iot-dev_preprocessing.png
0 → 100644
View file @
cf3988b2
89.2 KB
results/iot-dev/assignment/iot-dev_preprocessing.tex
0 → 100644
View file @
cf3988b2
\documentclass
{
standalone
}
\usepackage
[dvipsnames,svgnames,table]
{
xcolor
}
\usepackage
{
tikz
}
\usetikzlibrary
{
automata, positioning, arrows, shapes, shapes.gates.logic, shapes.gates.logic.US
}
\begin{document}
\begin{tikzpicture}
[node distance=1.8cm]
\tikzstyle
{
SEQ
}
=[diamond]
\tikzstyle
{
NULL
}
=[trapezium, trapezium left angle=120, trapezium right angle=120, minimum size=8mm]
\tikzstyle
{
AND
}
=[and gate US, logic gate inputs=nn, rotate=90 ]
\tikzstyle
{
OR
}
=[or gate US, logic gate inputs=nn, rotate=90 ]
\tikzset
{
every node/.style=
{
ultra thick, draw=red, minimum size=6mm
}}
\node
[draw=red, NULL, xshift=0.000000cm ]
(CIoTD'
_
3)
{
\ensuremath
{
\mathtt
{
CIoTD'
_{
3
}}}}
;
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=CIoTD'_3]
(rms
_
30)
{
\ensuremath
{
\mathtt
{
rms
_{
30
}}}}
;
\draw
[solid]
(CIoTD'
_
3) edge (rms
_
30);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=rms_30]
(rms
_
3)
{
\ensuremath
{
\mathtt
{
rms
_{
3
}}}}
;
\draw
[dotted, red, thick]
(rms
_
30) edge (rms
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=rms_3]
(rms
_
2)
{
\ensuremath
{
\mathtt
{
rms
_{
2
}}}}
;
\draw
[solid]
(rms
_
3) edge (rms
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=rms_2]
(rms
_
1)
{
\ensuremath
{
\mathtt
{
rms
_{
1
}}}}
;
\draw
[solid]
(rms
_
2) edge (rms
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=rms_1]
(rms')
{
\ensuremath
{
\mathtt
{
rms'
}}}
;
\draw
[solid]
(rms
_
1) edge (rms');
\node
[draw=red, NULL, xshift=-0.000000cm , below of=rms']
(CIoTD'
_
2)
{
\ensuremath
{
\mathtt
{
CIoTD'
_{
2
}}}}
;
\draw
[solid]
(rms') edge (CIoTD'
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=CIoTD'_2]
(esv
_
60)
{
\ensuremath
{
\mathtt
{
esv
_{
60
}}}}
;
\draw
[solid]
(CIoTD'
_
2) edge (esv
_
60);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=esv_60]
(esv
_
3)
{
\ensuremath
{
\mathtt
{
esv
_{
3
}}}}
;
\draw
[dotted, red, thick]
(esv
_
60) edge (esv
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=esv_3]
(esv
_
2)
{
\ensuremath
{
\mathtt
{
esv
_{
2
}}}}
;
\draw
[solid]
(esv
_
3) edge (esv
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=esv_2]
(esv
_
1)
{
\ensuremath
{
\mathtt
{
esv
_{
1
}}}}
;
\draw
[solid]
(esv
_
2) edge (esv
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=esv_1]
(esv')
{
\ensuremath
{
\mathtt
{
esv'
}}}
;
\draw
[solid]
(esv
_
1) edge (esv');
\node
[draw=red, NULL, xshift=-0.000000cm , below of=esv']
(CIoTD'
_
1)
{
\ensuremath
{
\mathtt
{
CIoTD'
_{
1
}}}}
;
\draw
[solid]
(esv') edge (CIoTD'
_
1);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=CIoTD'_1]
(APNS
_
1)
{
\ensuremath
{
\mathtt
{
APNS
_{
1
}}}}
;
\draw
[solid]
(CIoTD'
_
1) edge (APNS
_
1);
\node
[draw=red, NULL, xshift=-0.000000cm , below of=APNS_1]
(APNS')
{
\ensuremath
{
\mathtt
{
APNS'
}}}
;
\draw
[solid]
(APNS
_
1) edge (APNS');
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=APNS']
(APN
_
3)
{
\ensuremath
{
\mathtt
{
APN
_{
3
}}}}
;
\draw
[solid]
(APNS') edge (APN
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=APN_3]
(APN
_
2)
{
\ensuremath
{
\mathtt
{
APN
_{
2
}}}}
;
\draw
[solid]
(APN
_
3) edge (APN
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=APN_2]
(APN
_
1)
{
\ensuremath
{
\mathtt
{
APN
_{
1
}}}}
;
\draw
[solid]
(APN
_
2) edge (APN
_
1);
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of APN_1.south]
(APN')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
APN'
}}}}
;
\draw
[solid]
(APN
_
1) edge (APN'.east);
\node
[draw=red, OR, xshift=-0.40000cm , yshift=24mm, below = 1.4cm of APN'.south]
(CPN')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
CPN'
}}}}
;
\draw
[solid]
(APN'.input 1) edge (CPN'.east);
\node
[draw=red, NULL, xshift=2.500000cm , below of=APN']
(GVC')
{
\ensuremath
{
\mathtt
{
GVC'
}}}
;
\draw
[solid]
(APN'.input 2) edge (GVC');
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=GVC']
(gc
_
600)
{
\ensuremath
{
\mathtt
{
gc
_{
600
}}}}
;
\draw
[solid]
(GVC') edge (gc
_
600);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=gc_600]
(gc
_
3)
{
\ensuremath
{
\mathtt
{
gc
_{
3
}}}}
;
\draw
[dotted, red, thick]
(gc
_
600) edge (gc
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=gc_3]
(gc
_
2)
{
\ensuremath
{
\mathtt
{
gc
_{
2
}}}}
;
\draw
[solid]
(gc
_
3) edge (gc
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=gc_2]
(gc
_
1)
{
\ensuremath
{
\mathtt
{
gc
_{
1
}}}}
;
\draw
[solid]
(gc
_
2) edge (gc
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=gc_1]
(gc')
{
\ensuremath
{
\mathtt
{
gc'
}}}
;
\draw
[solid]
(gc
_
1) edge (gc');
\node
[draw=red, NULL, xshift=-1.250000cm , below of=CPN']
(AW'
_
2)
{
\ensuremath
{
\mathtt
{
AW'
_{
2
}}}}
;
\draw
[solid]
(CPN'.input 1) edge (AW'
_
2);
\node
[draw=red, NULL, xshift=1.250000cm , below of=CPN']
(AL'
_
2)
{
\ensuremath
{
\mathtt
{
AL'
_{
2
}}}}
;
\draw
[solid]
(CPN'.input 2) edge (AL'
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=AL'_2]
(sma
_
30)
{
\ensuremath
{
\mathtt
{
sma
_{
30
}}}}
;
\draw
[solid]
(AL'
_
2) edge (sma
_
30);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=sma_30]
(sma
_
3)
{
\ensuremath
{
\mathtt
{
sma
_{
3
}}}}
;
\draw
[dotted, red, thick]
(sma
_
30) edge (sma
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=sma_3]
(sma
_
2)
{
\ensuremath
{
\mathtt
{
sma
_{
2
}}}}
;
\draw
[solid]
(sma
_
3) edge (sma
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=sma_2]
(sma
_
1)
{
\ensuremath
{
\mathtt
{
sma
_{
1
}}}}
;
\draw
[solid]
(sma
_
2) edge (sma
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=sma_1]
(sma')
{
\ensuremath
{
\mathtt
{
sma'
}}}
;
\draw
[solid]
(sma
_
1) edge (sma');
\node
[draw=red, NULL, xshift=-0.000000cm , below of=sma']
(AL'
_
1)
{
\ensuremath
{
\mathtt
{
AL'
_{
1
}}}}
;
\draw
[solid]
(sma') edge (AL'
_
1);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=AL'_1]
(flp
_
60)
{
\ensuremath
{
\mathtt
{
flp
_{
60
}}}}
;
\draw
[solid]
(AL'
_
1) edge (flp
_
60);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=flp_60]
(flp
_
3)
{
\ensuremath
{
\mathtt
{
flp
_{
3
}}}}
;
\draw
[dotted, red, thick]
(flp
_
60) edge (flp
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=flp_3]
(flp
_
2)
{
\ensuremath
{
\mathtt
{
flp
_{
2
}}}}
;
\draw
[solid]
(flp
_
3) edge (flp
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=flp_2]
(flp
_
1)
{
\ensuremath
{
\mathtt
{
flp
_{
1
}}}}
;
\draw
[solid]
(flp
_
2) edge (flp
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=flp_1]
(flp')
{
\ensuremath
{
\mathtt
{
flp'
}}}
;
\draw
[solid]
(flp
_
1) edge (flp');
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=AW'_2]
(bwk
_
120)
{
\ensuremath
{
\mathtt
{
bwk
_{
120
}}}}
;
\draw
[solid]
(AW'
_
2) edge (bwk
_
120);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=bwk_120]
(bwk
_
3)
{
\ensuremath
{
\mathtt
{
bwk
_{
3
}}}}
;
\draw
[dotted, red, thick]
(bwk
_
120) edge (bwk
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=bwk_3]
(bwk
_
2)
{
\ensuremath
{
\mathtt
{
bwk
_{
2
}}}}
;
\draw
[solid]
(bwk
_
3) edge (bwk
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=bwk_2]
(bwk
_
1)
{
\ensuremath
{
\mathtt
{
bwk
_{
1
}}}}
;
\draw
[solid]
(bwk
_
2) edge (bwk
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=bwk_1]
(bwk')
{
\ensuremath
{
\mathtt
{
bwk'
}}}
;
\draw
[solid]
(bwk
_
1) edge (bwk');
\node
[draw=red, NULL, xshift=-0.000000cm , below of=bwk']
(AW'
_
1)
{
\ensuremath
{
\mathtt
{
AW'
_{
1
}}}}
;
\draw
[solid]
(bwk') edge (AW'
_
1);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=AW'_1]
(fw
_
300)
{
\ensuremath
{
\mathtt
{
fw
_{
300
}}}}
;
\draw
[solid]
(AW'
_
1) edge (fw
_
300);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=fw_300]
(fw
_
3)
{
\ensuremath
{
\mathtt
{
fw
_{
3
}}}}
;
\draw
[dotted, red, thick]
(fw
_
300) edge (fw
_
3);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=fw_3]
(fw
_
2)
{
\ensuremath
{
\mathtt
{
fw
_{
2
}}}}
;
\draw
[solid]
(fw
_
3) edge (fw
_
2);
\node
[draw=red, SEQ, xshift=-0.000000cm , below of=fw_2]
(fw
_
1)
{
\ensuremath
{
\mathtt
{
fw
_{
1
}}}}
;
\draw
[solid]
(fw
_
2) edge (fw
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=fw_1]
(fw')
{
\ensuremath
{
\mathtt
{
fw'
}}}
;
\draw
[solid]
(fw
_
1) edge (fw');
\end{tikzpicture}
\end{document}
results/iot-dev/assignment/iot-dev_scheduling.pdf
0 → 100644
View file @
cf3988b2
File added
results/iot-dev/assignment/iot-dev_scheduling.png
0 → 100644
View file @
cf3988b2
1.36 MB
results/iot-dev/assignment/iot-dev_scheduling.tex
0 → 100644
View file @
cf3988b2
This diff is collapsed.
Click to expand it.
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment