mirror of
https://github.com/smyalygames/checklist-tester.git
synced 2025-05-18 22:44:11 +02:00
65 lines
2.3 KiB
TeX
65 lines
2.3 KiB
TeX
\documentclass[../dissertation.tex]{subfiles}
|
|
|
|
\begin{document}
|
|
\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]
|
|
\centering
|
|
\begin{tikzpicture} [align=center, node distance=4cm]
|
|
\node (connector) [box] {Checklist Tester};
|
|
\node (plugin) [box, right of=connector] {Simulator Connector Plugin};
|
|
\node (formal) [box, left of=connector] {Formal Method};
|
|
\node (simulator) [box, below=0.75cm of plugin] {Flight Simulator};
|
|
|
|
\draw [arrow] (formal) -- (connector);
|
|
\draw [arrow] (plugin) -- (connector);
|
|
\draw [arrow] (plugin) -- (simulator);
|
|
\end{tikzpicture}
|
|
\label{fig:abstract}
|
|
\caption{Abstract layout of components}
|
|
\end{figure}
|
|
|
|
Each of the components in Figure~\ref{fig:abstract} will be covered in detail in this
|
|
chapter.
|
|
|
|
\section{Model}
|
|
\begin{itemize}
|
|
\item Formal modelling is the heart of the logic for testing checklists
|
|
\item Formal model created using VDM-SL
|
|
\item It allows to test that the checklists have been completed in a proper manner
|
|
- and that it is provable
|
|
\item Model keeps track of
|
|
\begin{itemize}
|
|
\item Aircraft state
|
|
\item Checklist state
|
|
\end{itemize}
|
|
\item If an error were to occur in the model, this can be relayed that there was
|
|
something wrong with running the test for the checklist, such as:
|
|
\begin{itemize}
|
|
\item Procedure compromises integrity of aircraft
|
|
\item There is not enough time to complete the procedure
|
|
\item There is a contradiction with the steps of the checklist
|
|
\end{itemize}
|
|
\end{itemize}
|
|
|
|
\section{Scenarios}
|
|
\begin{itemize}
|
|
\item Use a Quick Reference Handbook (QRH) to find potential list of checklists to test
|
|
% TODO find these accident reports
|
|
\item Look at previous accident reports that had an incident related to checklists
|
|
and test it with my tool to see if it will pick it up
|
|
\item These previous accident reports can be good metrics to know what statistics to
|
|
look out for
|
|
\end{itemize}
|
|
|
|
\section{Decisions}
|
|
\end{document}
|