No commit message

No commit message

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);
-
+	// 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