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


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verifizierung für autonome Unterwassersysteme


    Beteiligte:
    Kirchner, Frank (Herausgeber:in) / Straube, Sirko (Herausgeber:in) / Kühn, Daniel (Herausgeber:in) / Hoyer, Nina (Herausgeber:in) / Lüth, Christoph (Autor:in) / Megow, Nicole (Autor:in) / Drechsler, Rolf (Autor:in) / Frese, Udo (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    05.12.2023


    Format / Umfang :

    14 pages




    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch




    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. | Europäisches Patentamt | 2023

    Freier Zugriff

    VERIFIZIERUNG EINER RECHENVORRICHTUNG

    HASSANI ALI / MARTINEZ MACKENZIE | Europäisches Patentamt | 2023

    Freier Zugriff

    VERIFIZIERUNG VON FAHRZEUGBILDERN

    JAIPURIA NIKITA / SHOLINGAR GAUTHAM / NARIYAMBUT MURALI VIDYA | Europäisches Patentamt | 2020

    Freier Zugriff

    Verifizierung von Datenpaketen in Kraftfahrzeugen

    BROCHHAUS CHRISTOPH | Europäisches Patentamt | 2020

    Freier Zugriff