diff --git a/sections/konzept.tex b/sections/konzept.tex index c4d861d4dee902556b70ea8d77749d329c46c56f..6b3c137464fa4c9d8fc2a175b6081c80fdb3dd21 100644 --- a/sections/konzept.tex +++ b/sections/konzept.tex @@ -67,8 +67,8 @@ Zur Verwendung des Adapters müssen primär Veränderungen in der Funktion \text mappings.push_back(map); output_subscribers.push_back(nh.subscribe("/position", 1, mappings_callback_to_TRON<std_msgs::Int32>)); - // 1M Mikrosekunden (1 Sekunde) pro Uppaal Zeiteinheit - // 100 Zeiteinheiten lang testen - set_time_unit_and_timeout(1000000L, 100); - -\end{lstlisting} \ No newline at end of file + // 1000 Mikrosekunden pro Uppaal Zeiteinheit + // 100000 Zeiteinheiten lang testen + set_time_unit_and_timeout(1000, 100000); +\end{lstlisting} +Der Channel \textit{position} sowie die Variable \textit{pos} sind in \cref{konzept:uppaal_tor} nicht dargestellt, werden hier aber verwendet um einen Output-Channel sowie das Übertragen einer Variable zu demonstrieren. \ No newline at end of file