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).


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verifizierung für autonome Unterwassersysteme


    Contributors:

    Published in:

    Publication date :

    2023-12-05


    Size :

    14 pages




    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    German




    Verifizierung für autonome Unterwassersysteme

    Lüth, Christoph / Megow, Nicole / Drechsler, Rolf et al. | TIBKAT | 2023


    Deep-Learning-basierte Verifizierung von Betriebsbereichen unter Verwendung kamerabasierter Eingaben für autonome Systeme und Anwendungen

    BAJPAYEE ABHISHEK / GUPTA ARJUN / DOBLAR DYLAN et al. | European Patent Office | 2023

    Free access

    VERIFIZIERUNG EINER RECHENVORRICHTUNG

    HASSANI ALI / MARTINEZ MACKENZIE | European Patent Office | 2023

    Free access

    VERIFIZIERUNG VON FAHRZEUGBILDERN

    JAIPURIA NIKITA / SHOLINGAR GAUTHAM / NARIYAMBUT MURALI VIDYA | European Patent Office | 2020

    Free access

    Verifizierung von Datenpaketen in Kraftfahrzeugen

    BROCHHAUS CHRISTOPH | European Patent Office | 2020

    Free access