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 ; Chapter : 15 ; 185-198
2023-12-05
14 pages
Article/Chapter (Book)
Electronic Resource
German
Verifizierung für autonome Unterwassersysteme
TIBKAT | 2023
|European Patent Office | 2023
|