Showing 50 items.
- Avionics (transclusion) (links | edit)
- Code coverage (links | edit)
- Fly-by-wire (links | edit)
- Safety engineering (links | edit)
- Formal methods (links | edit)
- Avionics software (links | edit)
- SOI (links | edit)
- HAL Tejas (links | edit)
- White-box testing (links | edit)
- Nucleus RTOS (links | edit)
- Software quality (links | edit)
- Continuous integration (links | edit)
- DO-178B (links | edit)
- Hazard analysis (transclusion) (links | edit)
- ARP4754 (links | edit)
- DO-254 (links | edit)
- IEC 61508 (links | edit)
- Software safety (links | edit)
- DOD-STD-2167A (links | edit)
- ARINC 661 (links | edit)
- Radio Technical Commission for Aeronautics (links | edit)
- Integrated modular avionics (links | edit)
- Requirements traceability (links | edit)
- Modified condition/decision coverage (links | edit)
- Lynx Software Technologies (links | edit)
- LynxSecure (links | edit)
- ANSI/ISO C Specification Language (links | edit)
- Functional safety (links | edit)
- Design Assurance Level (redirect to section "Software level") (links | edit)
- LDRA (links | edit)
- ISO 26262 (links | edit)
- WolfSSL (links | edit)
- DDC-I (links | edit)
- DO-178C (transclusion) (links | edit)
- OpenGL SC (links | edit)
- Development testing (links | edit)
- Automotive Safety Integrity Level (links | edit)
- Advisory circular (links | edit)
- AC 25.1309-1 (links | edit)
- FAA Order 8130.34 (links | edit)
- Cantata++ (links | edit)
- Time-triggered architecture (links | edit)
- Regulation of unmanned aerial vehicles (links | edit)
- AC 20-115 (links | edit)
- ED-12C (redirect page) (links | edit)
- FAA Order 8110.105 (links | edit)
- CodeSonar (links | edit)
- AC 20-152 (links | edit)
- DO-248 (links | edit)
- DO178C (redirect page) (links | edit)