Advertisement
Published in:
2016 | OriginalPaper | Chapter
Implementierung
Author : Malte Schmitz
Published in: Verteilte Laufzeitverifikation auf eingebetteten Systemen
Publisher: Springer Fachmedien Wiesbaden
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.