Commit c3853daa authored by Felix Brüning's avatar Felix Brüning
Browse files

hotfix

parent 38184272
......@@ -458,6 +458,28 @@ Sichersheitsanforderungen werden teilweise in LTL dargestellt
\end{enumerate}
\end{frame}
\begin{frame}{Test des Safety-Monitors}
\begin{itemize}
\item Mit FDR4 und CSP wurde das Modell getestet.
\end{itemize}
\lstinputlisting[
caption={CSP-Safety-Monitor System},
label=list:systemcsp,
firstline=81,
lastline=98]{../../bericht/monitor.csp}
\end{frame}
\begin{frame}{Test des Safety-Monitors}
Folgendes soll getestet werden:\\
\begin{enumerate}
\item Jeder worker kann immer die eigenen LTL-Formeln checken
\item es entsteht nie ein Deadlock innerhalb des Safety-Monitors
\item der digitale Zwilling kann immer aktualisiert werden (Test des Semaphors)
\end{enumerate}
\end{frame}
\section{Test des TCC}
\begin{frame} {Test des TCC}
\begin{itemize}
......
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