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.
Avionics Linux
2023-10-01
972590 byte
Conference paper
Electronic Resource
English
Linux: A Multi-Purpose Executive Support for Civil Avionics Applications?
Springer Verlag | 2004
|Multi-node MIL-STD-1553 Avionics Bus-Monitor Development Under Linux Platform
Springer Verlag | 2019
|Avionics: Listing manufacturers of avionics
Online Contents | 1996
Aircraft Avionics (Digital Avionics Study)
NTIS | 1973
|Advancing Airlift Avionics C17 Avionics Suite
British Library Conference Proceedings | 1993
|