Die Erforschung der Ozeane erfordert den Einsatz immer anspruchsvollerer, häufig autark operierender Messsysteme, mit komplexerer Sensorik und umfangreichen Beprobungseinrichtungen. Die Funktion solcher Systeme, die oft von einem zentralen Mikrocontroller gesteuert werden, ist im allgemeinen stark von externen Eingangs- und Messgrößen wie Druck (Tiefe), Temperatur, Salzgehalt o.ä. abhängig. Die Beaufschlagung der Sensoren mit realen Größen ist im Laborbetrieb, zum Funktionstest des Gerätes vor einer Messkampagne, nur selten möglich. Ein solcher Test ist aber für einen fehlerfreien Einsatz eines teuren Systems unerlässlich. Zudem muss sichergestellt werden, dass die mit dem Gerät gesammelten Daten auf Anhieb den Erwartungen entsprechen und mit dem Gerät geborgen werden, denn die Kosten für Zeiten auf Forschungsschiffen sind hoch und müssen minimiert werden. Für autonome Unterwasserfahrzeuge gestaltet sich das Problem des Laborbetriebes noch vielschichtiger, denn neben den reinen Messsignalen ist hier für einen Testlauf des Regelalgorithmus auch deren Dynamik entscheidend. Ein Prüfstand für die Nachbildung der Tauchvorgänge im Ozean wurde gebaut. Die Software des Prüfstand wurde in der graphischen Programmiersprache LabVIEW realisiert.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verifikation von Steuersoftware für meerestechnische Systeme


    Contributors:


    Publication date :

    2002


    Size :

    8 Seiten, 8 Bilder, 1 Tabelle, 4 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Schwimmende Systembausteine aus Beton fuer meerestechnische Zwecke

    Laechler, W. / Roessig, J.H. | Tema Archive | 1979



    Verfahren zum Validieren einer Steuersoftware für eine Robotervorrichtung

    TIEMANN NILS / AULBACH STEFAN / STELLET JAN | European Patent Office | 2023

    Free access

    Verfahren zur Aktualisierung einer Steuersoftware in einem Hochvolt-Steuergerät

    STEMMER ANDREJ / SANZEN GREGOR / LENZ MARIO | European Patent Office | 2024

    Free access

    Absicherung sicherheitskritischer Systeme - formale Verifikation

    Tchernikov,M. / Swaminathan,M. | Automotive engineering | 2009