diff --git a/pub/dissertation/chapters/design.tex b/pub/dissertation/chapters/design.tex index 97a29f7..3d18934 100644 --- a/pub/dissertation/chapters/design.tex +++ b/pub/dissertation/chapters/design.tex @@ -5,15 +5,13 @@ \begin{figure}[!h] \centering \begin{tikzpicture} [align=center, node distance=4cm] - \node (connector) [box] {Checklist Tester Interface}; - \node (server) [box, below of=connector] {Checklist Tester Server}; - \node (plugin) [box, right of=server] {Simulator Connector Plugin}; - \node (formal) [box, left of=server] {Formal Method}; - \node (simulator) [box, below of=plugin] {Flight Simulator}; + \node (connector) [box] {Checklist Tester}; + \node (plugin) [box, right of=connector] {X-Plane Connect}; + \node (formal) [box, left of=connector] {Formal Method}; + \node (simulator) [box, below=0.75cm of plugin] {X-Plane 12}; - \draw [arrow] (server) -- (connector); - \draw [arrow] (formal) -- (server); - \draw [arrow] (plugin) -- (server); + \draw [arrow] (formal) -- (connector); + \draw [arrow] (plugin) -- (connector); \draw [arrow] (plugin) -- (simulator); \end{tikzpicture} \caption{Abstract layout of components} diff --git a/pub/dissertation/dissertation.pdf b/pub/dissertation/dissertation.pdf index d939b95..e72ce57 100644 Binary files a/pub/dissertation/dissertation.pdf and b/pub/dissertation/dissertation.pdf differ diff --git a/pub/dissertation/dissertation.tex b/pub/dissertation/dissertation.tex index d0e63f4..249c648 100644 --- a/pub/dissertation/dissertation.tex +++ b/pub/dissertation/dissertation.tex @@ -12,7 +12,7 @@ \usepackage{xcolor} \usepackage{tikz} -\usetikzlibrary{shapes.geometric, arrows} +\usetikzlibrary{shapes.geometric, arrows, positioning} \tikzstyle{box} = [rectangle, minimum width=3cm, minimum height=1cm, text centered, text width=3cm, draw=black] \tikzstyle{arrow} = [thick,<->,>=stealth]