feat(dissertation): add components in design chapter

This commit is contained in:
Anthony Berg
2024-05-07 13:25:33 +01:00
parent a6faa4dd12
commit 3d4657a88f
2 changed files with 16 additions and 3 deletions

View File

@@ -1,22 +1,35 @@
\documentclass[../dissertation.tex]{subfiles} \documentclass[../dissertation.tex]{subfiles}
\begin{document} \begin{document}
\section{Abstraction} \section{Components}
Splitting up the project into multiple components has been useful for
\begin{itemize}
\item Aiding in planning to make the implementation more efficient
\item Delegating specific work tasks
\item Making the project modular, for example, allowing for a different simulator
to be implemented with minimal need to refactor other parts of the codebase
\end{itemize}
\begin{figure}[!h] \begin{figure}[!h]
\centering \centering
\begin{tikzpicture} [align=center, node distance=4cm] \begin{tikzpicture} [align=center, node distance=4cm]
\node (connector) [box] {Checklist Tester}; \node (connector) [box] {Checklist Tester};
\node (plugin) [box, right of=connector] {X-Plane Connect}; \node (plugin) [box, right of=connector] {Simulator Connector Plugin};
\node (formal) [box, left of=connector] {Formal Method}; \node (formal) [box, left of=connector] {Formal Method};
\node (simulator) [box, below=0.75cm of plugin] {X-Plane 12}; \node (simulator) [box, below=0.75cm of plugin] {Flight Simulator};
\draw [arrow] (formal) -- (connector); \draw [arrow] (formal) -- (connector);
\draw [arrow] (plugin) -- (connector); \draw [arrow] (plugin) -- (connector);
\draw [arrow] (plugin) -- (simulator); \draw [arrow] (plugin) -- (simulator);
\end{tikzpicture} \end{tikzpicture}
\label{fig:abstract}
\caption{Abstract layout of components} \caption{Abstract layout of components}
\end{figure} \end{figure}
Each of the components in Figure~\ref{fig:abstract} will be covered in detail in this
chapter.
\section{Model} \section{Model}
\begin{itemize} \begin{itemize}
\item Formal modelling is the heart of the logic for testing checklists \item Formal modelling is the heart of the logic for testing checklists

Binary file not shown.