Zusammenfassung
Im Rahmen dieser Arbeit wurde DTL mit fDTL und ptLTL für LEGO Mindstorms NXT implementiert. Die Firmware der NXTs erlaubt eine einfache Verwendung von Aktoren und Sensoren und stellt Bluetooth-Kommunikation zwischen den Agenten zur Verfügung. An jeden Agenten können 4 Sensoren und drei Aktoren (Motoren oder Lichter) angeschlossen werden. Die Sensoren werden in der Firmware mit 1 bis 4 und die Aktoren mit A bis C bezeichnet.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Schmitz, M. (2016). Implementierung. In: Verteilte Laufzeitverifikation auf eingebetteten Systemen. BestMasters. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-12852-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-658-12852-4_4
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-12851-7
Online ISBN: 978-3-658-12852-4
eBook Packages: Computer Science and Engineering (German Language)