🚀 ✈ 🚁
A curated list of avionics awesome resources. Everything you need to know to be an avionics software developer.
- OS
- RTOS
- Software Standards
- Requirements Engineering
- Software Development
- Testing
- Certifications
- Books
- Magazines
- Companies
-
WindRiver VxWorks Industry leader RTOS.
-
Lynx OS-178 hard real-time partitioning OS and certified DO-178B/C DAL A.
-
DDC-I DEOS DO178C DAL A verified OS.
-
INTEGRITY Flagship of Green Hills software operating systems.
-
2020Interference Analysis of Multicore Shared Resources with a Commercial Avionics RTOS -
2019Critical vulnerabilities to remotely compromise VxWorks, the most popular RTOS
-
2007A Comparison of Partitioning Operating Systems for Integrated Systems -
2002Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS
- DO-178C - Is the primary document with software considerations in airborne systems and equipment certification. It was born in 2012 as an upgrade to the previous versions DO-178A (1980) and DO-178-B (1992).
- DO-254 - Is the primary document with guidance for the development of airborne electronic hardware.
- Training Workshop - A training class for the main aspects for avionics hardware development.
- ARINC 653 - Is a software specification for space and time partitioning in safety-critical avionics real-time operating systems (RTOS).
- IEC 61508 - International standard consisting of methods on how to apply, design, deploy and mantain autmatic protection systems called safety-related systems.
- DAL, or Design Assurance Level, defines the amount of rigor that should be applied by the design assurance process based on the contribution to Aircraft Safety.
- 10 Practises for DO-178C Compliance - Aerospace Requirements Guide and checklist: 10 Essential Best Practises for Assuring Compliance with DO-178C.
- IBM Rational DOORS - Top used requirements management tool fo requirements control.
- MISRA Guidelines for the use of the C and C++ language in critical systems.
- NASA's 10 rules NaSA's 10 Rules for developing Safety-Critical Code.
- NASA C++ STYLE GUIDE - C++ Coding Standards and Style Guide from NASA.
- Matlab - Main page.
- Simulink - Main page.
- Google Test - Google's test framework for C++.
- Fake Function Framework - Micro framework for creating fake C functions for tests.
- Developing safety-critical software, by Leanna Rierson.
- The aviation development ecosystem, by Vance Hilderman.
- Aircraft System Safety, by Duane Kritzinger.
- Digital Avionics Handbook, by Cary Spitzer, Uma Ferrel, Thomas Ferrel.
- Real-Time Systems, by Hermann Kopetz.