Everything about Avionics software

🧭 Start here: a 6-step reading path

1. Read the overview: Avionics softwareA 5-minute orientation
2. Skim a recent paper: GDL90fuzz: Fuzzing - GDL-90 Data Interface Specification Within Aviation Software and Avionics Devices–A Cybersecurity Pentesting PerspectiveInfluential work since 2022
3. Pick up a classic book: Airborne Electronic Hardware Design AssuranceThe most-reprinted book on the subject
4. Read the landmark paper: Architecture of the space shuttle primary avionics software systemCited 48 times
5. Go sideways: DO-178BA closely related topic
6. Go sideways: Embedded systemA closely related topic

🏆 Landmark papers (most cited)

• Architecture of the space shuttle primary avionics software system

  Gene D. Carlow · 1984 · Communications of the ACM · 48 citations

• Towards a continuous certification of safety-critical avionics software

  Claude Baron, Vincent Louis · 2021 · Computers in Industry · 36 citations

• Verification support for ARINC‐653‐based avionics software

  Pedro de la Cámara, J. Raúl Castro, María del Mar Gallardo · 2011 · Software Testing, Verification and Reliability · 17 citations

• The stochastic Petri net based reliability analysis for software partition integrated modular avionics

  Yun-Sheng Wang, Hang Lei, Xuan Han · 2015 · IEEE Aerospace and Electronic Systems Magazine · 11 citations

• Model-based robustness testing for avionics-embedded software

  Shunkun Yang, Bin Liu, Shihai Wang · 2013 · Chinese Journal of Aeronautics · 10 citations

• A modeling methodology to facilitate safety‐oriented architecture design of industrial avionics software

  Ji Wu, Tao Yue, Shaukat Ali · 2014 · Software: Practice and Experience · 6 citations

• Reliability of Software Applications in Integrated Modular Avionics

  Igor Kabashkin, Vadim Filippov · 2020 · Transportation Research Procedia · 4 citations

• Modular avionics operating system — software concept

  A.S. Wake, P.R. Miller, P. Moxon · 1997 · Microprocessors and Microsystems · 3 citations

🆕 Influential since 2022

• GDL90fuzz: Fuzzing - GDL-90 Data Interface Specification Within Aviation Software and Avionics Devices–A Cybersecurity Pentesting Perspective

  Hannu Turtiainen, Andrei Costin, Syed Khandker · 2022 · IEEE Access · 9 citations

• Testing Tools for Avionics Software

  · 2023 · Aerospace Testing International · 0 citations

• Automated Test Equipment for Avionics Software Verification And Validation

  · 2022 · International Journal For Innovative Engineering and Management Research · 0 citations

• Research and Application of Hybrid Virtual-Physical Automated Testing Technology for Avionics Software

  絮 张 · 2025 · Embedded Technology and Intelligent Systems · 0 citations

📚 Books worth reading

• 📕Airborne Electronic Hardware Design AssuranceRandall Fulton, Roy Vandermolen · 2014
• 📕Framework for small-scale experiments in software engineeringKelly J. Hayhurst · 1998
• 14th annual AESS/IEEE Dayton Section SymposiumIEEE/AESS Dayton Chapter Symposium (14th 1997 Fairborn, Ohio), Institute of Electrical and Electronics Engineers · 1997
• 14th DASC Digital Avionics Systems Conference AIAA/IEEE : 20 years later!Digital Avionics Systems Conference (14th 1995 Cambridge, Mass.) · 1995
• 📕Economical graphics display system for flight simulation avionicsCalifornia Polytechnic State University, San Luis Obispo. · 1990
• 📕Acquisition and support of embedded computer system softwareMalcolm Davis · 1981
• 📕Space Transportation Avionics Technology SymposiumSpace Transportation Avionics Technology Symposium (1989 Williamsburg, Va.) · 1990
• 📕Tools for embedded computing systems softwareNasa/AIAA Workshop on Tools for Embedded Computing Systems Software Hampton, Va. 1978 · 1978

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• DO-178B DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a guideline dealing with the safety of safety-critical software used…
• Embedded system An embedded system is a specialized computer system—a combination of a computer processor, computer memory, and input/output peripheral devices—that has…
• V-model (software development) In software development, the V-model represents a development process that may be considered an extension of the waterfall model and is an example of the…
• Software verification and validation In software project management, software testing, and software engineering, verification and validation is the process of checking that a software system…
• Index of software engineering articles This is an alphabetical list of articles pertaining specifically to software engineering. Contents: 0–9 A B C D E F G H I J K L M N O P Q R S T U V W…
• Software testing Software testing is the act of checking whether software meets its intended objectives and satisfies expectations. Software testing can provide objective…
• Device driver synthesis and verification Device drivers are programs which allow software or higher-level computer programs to interact with a hardware device. These software components act as…
• In-circuit emulation In-circuit emulation (ICE) is the use of a hardware device or in-circuit emulator used to debug the software of an embedded system. It operates by using…