Commit 250f8a69 authored by Matthias Lange's avatar Matthias Lange
Browse files

Güter- und Passagierzug Abschnitt angepasst

parent 96f5f464
......@@ -13,7 +13,6 @@
!*.pro
!*.ui
!*.h
!*.pdf
!*.md
!*.png
!*.jpg
......
......@@ -70,23 +70,65 @@ Patrick Wilde}
\section{Güter- und Passagierzüge}
\begin{frame}{Fahrplan}
\begin{frame}{Güter- und Passagierzüge}
\begin{figure}[H]
\centering
\includegraphics[width=0.5\textwidth]{timetable.png}
\includegraphics[width=0.25\textwidth]{timetable.png}
\caption{Fahrplan eines Zuges}
\end{figure}
\begin{itemize}
\item Züge fungieren als Güter- oder Passagierzug
\item Güterzüge suchen sich ein zufälliges Ziel auf dem Gleisnetz
\item Passagierzüge fahren Ziele nach einem festgelegten Fahrplan ab
\item Passagierzüge müssen sich an Zeiten aus dem Fahrplan halten
\item Passagierzüge müssen sich an Zeiten aus dem Fahrplan halten:
\begin{itemize}
\item Passagierzüge besitzen eine höhere Priorität als Güterzüge
\item Güterzüge werden primär für Ausweichstrategien herangezogen
\end{itemize}
\end{itemize}
\end{frame}
\begin{frame}{Priorisierung von Passagierzügen}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{passenger_train_prio1.png}
\caption{Priorisierung Passagierzug}
\end{figure}
\end{frame}
\begin{frame}{Priorisierung bei Ausweichstrategien}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{passenger_train_dl1.png}
\caption{Deadlocksituation zwischen 2 Passagierzügen und 1 Güterzug}
\end{figure}
\end{frame}
\begin{frame}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{passenger_train_dl2.png}
\caption{Güterzug weicht aus}
\end{figure}
\end{frame}
\begin{frame}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{passenger_train_dl3.png}
\caption{1. Passagierzug kann weiterfahren}
\end{figure}
\end{frame}
\begin{frame}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{passenger_train_dl4.png}
\caption{2. Passagierzug kann weiterfahren}
\end{figure}
\end{frame}
\section{Modelchecking mit nuXmv}
\subsection{nuXmv}
\begin{frame}[fragile]{nuXmv}
\begin{lstlisting}[caption = {nuXmv Beispiel}, label = {lst:nuxmv}]
MODULE main
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment