Commit b41699cb authored by Tobias Wegner's avatar Tobias Wegner
Browse files

Safety Env Folien

parent 605c0ec5
......@@ -256,4 +256,74 @@ LTLSPEC G ( y=4 -> X y=6 )
\end{figure}
\end{frame}
\section{Safety Monitor}
\begin{frame}{Safety Monitor}
\begin{itemize}
\item Überprüfung von Fehlern zur Laufzeit
\item asynchron
\end{itemize}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{Safety_Monitor.png}
\end{figure}
\end{frame}
\begin{frame}{Safety Monitor Aufbau}
Aggregatoren
\begin{itemize}
\item jeder Teilnehmer besitzt eigene Multicast Adresse
\item 6 Aggregatoren lauschen mit: IXL, Märklin Station, 4x TCC
\item Aggregatoren aktualisieren gespeicherten Systemzustand im digitalen Zwilling
\end{itemize}
Arbeitereinheiten
\begin{itemize}
\item Überprüfen des digitalen Zwillings durch LTL
\end{itemize}
Collision detection
\begin{itemize}
\item Überprüfung des Zugabstands
\end{itemize}
\end{frame}
\begin{frame}{Safety Monitor Property Checking}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{LTL_check.png}
\end{figure}
\end{frame}
\begin{frame}{Safety Monitor Kollisionserkennung}
\begin{itemize}
\item Abstände und Geschwindigkeiten schlecht parametrisierbar als LTL
\item daher Prinzip des Safety-Envelopes
\end{itemize}
\end{frame}
\begin{frame}{Safety Monitor Kollisionserkennung}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{safety_env.png}
\end{figure}
\end{frame}
\begin{frame}{Safety Monitor Kollisionserkennung}
\begin{figure}[H]
\centering
\includegraphics[width=\textwidth]{safety_env_collision.png}
\end{figure}
\end{frame}
\begin{frame}{Safety Monitor Kollisionserkennung}
\begin{figure}[H]
\centering
\includegraphics[width=0.8 \textwidth]{collision_detection.png}
\end{figure}
\end{frame}
\end{document}
\ No newline at end of file
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