Linux is a well-known and widely used operating system, even in some safety-critical domains. Though rare, Linux has been used in aerospace, certified to DO-178C Software Level D. For broader use in aerospace, Linux must address at least four challenges: it must be fast, deterministic, embedded, and assured. This paper will briefly review the first three: the need for high performance, the need for real-time determinism for worst-case timing, and the need to target specialized embedded computer processing hardware. Then, the challenges related to assurance will be examined in more detail, along with three candidate approaches for the assurance of existing software: field service history, overarching properties, and reverse engineering. Each of these methods is investigated, concluding that reverse engineering is likely the most viable solution.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Avionics Linux


    Beteiligte:


    Erscheinungsdatum :

    01.10.2023


    Format / Umfang :

    972590 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Linux: A Multi-Purpose Executive Support for Civil Avionics Applications?

    Goiffon, Serge / Gaufillet, Pierre | Springer Verlag | 2004


    Multi-node MIL-STD-1553 Avionics Bus-Monitor Development Under Linux Platform

    Karvande, Rajesh S. / Kumar, L. Sobhan / Raman, Maharshi | Springer Verlag | 2019


    Aircraft Avionics (Digital Avionics Study)

    B. E. Bright / B. List / W. Sen et al. | NTIS | 1973



    Advancing Airlift Avionics C17 Avionics Suite

    Watkins, M. / Garrette, D. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 1993