These reports summarize research findings and do not represent official FAA policy or guidance.

Research Number Title
DOT/FAA/CT-91/1 (PDF) Software Quality Metrics
DOT/FAA/AR-95/31 (PDF) Design, Test, and Certification Issues for Complex Integrated Circuits
DOT/FAA/AR-01/18 (PDF) An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion
DOT/FAA/AR-01/26 (PDF) Commercial Off-The-Shelf (COTS) Avionics Software Study
DOT/FAA/AR-01/41 (PDF) Review of Pending Guidance and Industry Findings on Commercial Off-The-Shelf (COTS) Electronics in Airborne Systems
DOT/FAA/AR-01/116 (PDF) Software Service History Handbook
DOT/FAA/AR-01/125 (PDF) Software Service History Report
DOT/FAA/AR-02/113 (PDF) Issues Concerning the Structural Coverage of Object-Oriented Software
DOT/FAA/AR-02/118 (PDF) Study of Commercial Off-The-Shelf (COTS) Real-Time Operating Systems (RTOS) in Aviation Applications
DOT/FAA/AR-03/51 (PDF) Simulation and Flight Test Assessment of Safety Benefits and Certification Aspects of Advanced Flight Control Systems
DOT/FAA/AR-03/77 (PDF) Commercial Off-The-Shelf Real-Time Operating System and Architectural Considerations
DOT/FAA/AR-05/27 (PDF) Real-Time Scheduling Analysis
DOT/FAA/AR-05/52 (PDF) Safety and Certification Approaches for Ethernet-Based Aviation Databuses
DOT/FAA/AR-05/54 (PDF) Handbook for Ethernet-Based Aviation Databases: Certification and Design Considerations
DOT/FAA/AR-06/2 (PDF) Flight-Critical Data Integrity Assurance for Ground-Based COTS Components
DOT/FAA/AR-06/34 (PDF) Microprocessor Evaluations for Safety-Critical, Real-Time Applications: Authority for Expenditure No. 43 Phase 1 Report
DOT/FAA/AR-06/35 (PDF) Software Development Tools for Safety-Critical, Real-Time Systems Handbook
DOT/FAA/AR-06/36 (PDF) Assessment of Software Development Tools for Safety-Critical, Real-Time Systems
DOT/FAA/AR-06/54 (PDF) Software Verification Tools Assessment Study
DOT/FAA/AR-07/17 (PDF) Object-Oriented Technology Verification Phase 3 Handbook — Structural Coverage at the Source-Code and Object-Code Levels
DOT/FAA/AR-07/19 (PDF) Object-Oriented Technology Verification Phase 2 Handbook — Data Coupling and Control Coupling
DOT/FAA/AR-07/20 (PDF) Object-Oriented Technology Verification Phase 3 Report — Structural Coverage at the Source-Code and Object-Code Levels
DOT/FAA/AR-07/39 (PDF) Real-Time Operating Systems and Component Integration Considerations in Integrated Modular Avionics Systems Report
DOT/FAA/AR-07/48 (PDF) Handbook for Real-Time Operating Systems Integration and Component Integration Consideration in Integrated Modular Avionics Systems
DOT/FAA/AR-07/52 (PDF) Object-Oriented Technology Verification Phase 2 Report — Data Coupling and Control Coupling
DOT/FAA/AR-08/14 (PDF) Microprocessor Evaluations For Safety-Critical, Real-Time Applications — Authority For Expenditure No. 43 Phase 2 Report
DOT/FAA/AR-08/27 (PDF) Advanced Guidance and Control — Operational and Safety Benefits
DOT/FAA/AR-08/31 (PDF) Networked Local Area Networks in Aircraft: Safety, Security, and Certification Issues, and Initial Acceptance Criteria (Phases 1 and 2)
DOT/FAA/AR-08/32 (PDF) Requirements Engineering Management Handbook
DOT/FAA/AR-08/34 (PDF) Requirements Engineering Management Findings Report
DOT/FAA/AR-08/35 (PDF) Handbook for Networked Local Area Networks in Aircraft
DOT/FAA/AR-08/55 (PDF) Microprocessor Evaluations for Safety-Critical, Real-Time Applications — Authority for Expenditure No. 43 Phase 3 Report
DOT/FAA/AR-09/24 (PDF)

Data Network Evaluation Criteria Handbook

DOT/FAA/AR-09/27 (PDF) Data Network Evaluation Criteria Report
DOT/FAA/AR-10/21 (PDF) Microprocessor Evaluations for Safety-Critical, Real-Time Applications: Authority for Expenditure No. 43 Phase 4 Report
DOT/FAA/AR-11/2 (PDF) Handbook for the Selection and Evaluation of Microprocessors for Airborne Systems
DOT/FAA/AR-11/5 (PDF) Microprocessor Evaluations for Safety-Critical, Real-Time Applications: Authority for Expenditure No. 43 Phase 5 Report
RevEngFinalDraft-090413 (PDF) "Reverse Engineering" Software and Digital Systems
AEHToolQualFinalDraft-092413 (PDF) Qualification of Tools for Airborne Electronic Hardware
VerifAdaptiveSystemsFinalDraft-092413 (PDF) Verification of Adaptive Systems
ObsolescenceFinalDraft-092413 (PDF) Obsolescence and Life Cycle Management for Avionics
AdvancedVerifAEHFinalDraft-101813 (PDF) Advanced Verification Methods for Safety-Critical Airborne Electronic Hardware