appendix.tex

\chapter{Git-Repositorys}
Das Repository für die actionlib-Integration sowie für das Testen des Cobots sind unter folgenden Links erreichbar:
\begin{itemize}
	\item \url{https://git-st.inf.tu-dresden.de/CS/actionlib_tron}
	\item \url{https://git-st.inf.tu-dresden.de/CS/cobot1_tron_testing}
\end{itemize}
Die Adapter-Implementierung und jeweils genutzten Uppaal-Modelle (als XML-Datei) sind in beiden Fällen vorhanden. Beim Cobot sind außerdem die für die Test-Ausführung und -Analyse genutzten Bash-Scripts zu finden.
\chapter{Header der Adapter-Implementierung}
\lstset{
	escapeinside={(@*}{*@)}
}
\lstinputlisting[language=C++]{./images/tron\_adapter.h}