add sections about the original mTask
[msc-thesis1617.git] / thesis.tex
1 %&thesis
2 \usepackage[nonumberlist,acronyms]{glossaries}
3 \makeglossaries%
4
5 \newacronym{GADT}{GADT}{Generalized Algebraic Datatype}
6 \newacronym{GPIO}{GPIO}{General-Purpose Input/Output}
7 \newacronym{ADT}{ADT}{Algebraic Datatype}
8 \newacronym{SDS}{SDS}{Shared Data Source}
9 \newacronym{IoT}{IoT}{Internet of Things}
10 \newacronym{TOP}{TOP}{Task Oriented Programming}
11 \newacronym{EDSL}{(E)DSL}{(Embedded) Design Specific Language}
12 \newacronym{RISC}{RISC}{Reduced Instruction Set Computer}
13 \newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine}
14 \newacronym{LTN}{LTN}{Low Throughput Network}
15 \newacronym{IDE}{IDE}{Integrated Development Environment}
16 \newacronym{TCP}{TCP}{Transmission Control Protocol}
17 \newglossaryentry{Clean}{name=Clean,
18 description={is a pure lazy functional programming language based on graph
19 rewriting}}
20 \newglossaryentry{iTasks}{name=iTasks,
21 description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
22 in the \gls{Clean} programming language}}
23 \newglossaryentry{Task}{name=Task,
24 description={is the basic building block of a \acrshort{TOP} system}}
25 \newglossaryentry{mTask}{name=mTask,
26 description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
27 \newglossaryentry{C}{name=C,
28 description={is low-level programming language suitable for embedded devices}}
29
30 \begin{document}
31 \frontmatter{}
32
33 %Titlepage
34 \maketitleru[
35 pagenr=1,
36 course={Master Thesis},
37 institute={Radboud University Nijmegen},
38 authorstext={Author:},
39 righttextheader={Supervisors:},
40 righttext={prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\dr.~P.W.M.~Koopman}]
41 \listoftodos[Todo]
42
43 \glsaddall{}
44
45 %Abstract
46 \chapter*{\centering Abstract}
47 \begin{quotation}
48 \centering\noindent
49 \input{abstract.tex}
50 \end{quotation}
51
52 \chapter*{\centering Acknowledgements}
53 \begin{quotation}
54 \centering\it\noindent
55 \input{acknowledgements.tex}
56 \end{quotation}
57
58 %Table of contents
59 \tableofcontents
60
61 \mainmatter{}
62 \glsresetall{}
63 \chapter{Introduction}\label{chp:introduction}
64 \input{introduction.tex}
65
66 \chapter{Methods}\label{chp:methods}
67 \input{methods.tex}
68
69 \chapter{Results}\label{chp:results}
70 \input{results.tex}
71
72 \chapter{Conclusion \& Discussion}\label{chp:conclusion}
73
74 \appendix\label{chp:appendix}
75
76 \chapter{Planning}\label{app:planning}
77 \input{appendix-planning.tex}
78
79 \chapter{Communication protocol}\label{app:communication-protocol}
80 \input{appendix-protocol.tex}
81
82 \chapter{Device client interface}\label{app:device-interface}
83 \input{appendix-device-interface.tex}
84
85 \cleardoublepage{}
86 \phantomsection{}
87 \addcontentsline{toc}{chapter}{Lists of \ldots}
88 \begingroup
89 \let\clearpage\relax
90 \listoffigures
91 \listoftables
92 \lstlistoflistings{}
93 \endgroup
94
95 \cleardoublepage{}
96 \addcontentsline{toc}{chapter}{Glossaries \& Acronyms}
97
98 \begingroup
99 \let\clearpage\relax
100 \let\cleardoublepage\relax
101 \printglossaries%
102 \endgroup
103
104 \bibliographystyle{ieeetr}
105 \bibliography{thesis}
106 \end{document}