Safety-critical digital systems such as Fly-by-wire control have demanding integrity and availability requirements which significantly exceed the occurrence rates of random hardware faults observed in digital computers. As a result, system designers need to employ reliable fault detection and mitigation techniques. Until now, the only method to achieve sufficiently reliable fault detection for systems that can cause hazardous or catastrophic events, is to replicate computer lanes and detect faults by comparing outputs. However, this comes with a large overhead in development cost, computing resources and additional requirements towards the application. We propose to apply a novel cryptographic technique to reliably detect faults and thereby assure integrity of avionics computers: Succinct Non-Interactive Arguments of Knowledge allow components to quickly verify computations without repeating the computation. We present a novel concept for building high-integrity avionics systems and set up a laboratory demonstrator for a simplified pitch control system. Our major results include the successful demonstration of the first self-proving and self-verifying cyber-physical system in a laboratory environment.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verifiable Computing in Avionics for Assuring Computer-Integrity without Replication


    Beteiligte:


    Erscheinungsdatum :

    01.10.2023


    Format / Umfang :

    1411550 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    The Avionics Integrity Program

    Chou, George C. | SAE Technical Papers | 1988


    Avionics Integrity Program (AVIP)

    T. J. Dickman / L. F. Cheshire | NTIS | 1983


    Avionics integrity program : Papers

    IEEE Dayton Section / Dayton Chapter, IEEE Aerospace and Electronic Systems Society | TIBKAT | 1988


    An avionics integrity mechanical analysis

    Rittinger, T.E. | Tema Archiv | 1988