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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Avionics Linux


    Contributors:


    Publication date :

    2023-10-01


    Size :

    972590 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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