Da Unterwassersysteme oft autonom und über längere Zeiträume außerhalb der unmittelbaren Reichweite arbeiten, ist die Korrektheit sowohl der Software als auch der Hardware, die diese Systeme bilden, von großer Bedeutung. In diesem Beitrag überprüfen wir bestehende Techniken zur Sicherstellung der Korrektheit von Hardware und Software mit formalen Methoden und bewerten ihre Anwendbarkeit auf Unterwasserrobotik. Wir identifizieren mehrere vielversprechende Bereiche: Systemmodellierung, Programmverifikation und Algorithmusdesign für garantierte Effizienz und Korrektheit (zertifizierende Algorithmen).
Verifizierung für autonome Unterwassersysteme
KI-Technologie für Unterwasserroboter ; Kapitel : 15 ; 185-198
05.12.2023
14 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Deutsch
Verifizierung für autonome Unterwassersysteme
TIBKAT | 2023
|Europäisches Patentamt | 2023
|