Skip to page content
Official US Government Icon

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure Site Icon

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

The latest general information on the Coronavirus (COVID-19) is available on Coronavirus.gov. For FAA-specific COVID-19 resources, please visit faa.gov/coronavirus.
United States Department of TransportationUnited States Department of Transportation

Research Reports

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

Research Reports
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
DOT/FAA/TC-15/27 (PDF) Reverse Engineering for Software and Digital Systems
DOT/FAA/TC-12/21 (PDF) Qualification of Tools for Airborne Electronic Hardware
DOT/FAA/TC-16/4 (PDF) Verification of Adaptive Systems
DOT/FAA/TC-15/33 (PDF) Obsolescence and Life Cycle Management for Avionics
DOT/FAA/TC-14/41 (PDF) Advanced Verification Methods for Safety-Critical Airborne Electronic Hardware
DOT/FAA/TC-14/49 (PDF) Selection of Cyclic Redundancy Code and Checksum Algorithms to Ensure Critical Data Integrity
DOT/FAA/TC-16/39 (PDF) Safety Issues and Shortcomings with Requirements Definition, Validation, and Verification Processes Final Report
DOT/FAA/TC-16/57 (PDF) Commercial-Off-The-Shelf Airborne Electronic Hardware Issues and Emerging Solutions: Authority for Expenditure No. 75 Report
DOT/FAA/TC-15/16 (PDF) Definition of Capabilities Needed for a Single Event Effects Test Facility
DOT/FAA/TC-16/51 (PDF) Assurance of Multicore Processors in Airborne Systems
DOT/FAA/TC-15/62 (PDF) Single Event Effects Mitigation Techniques Report
DOT/FAA/TC-15/57 (PDF) Software Assurance Approaches, Considerations, and Limitations: Final Report
DOT/FAA/TC-16/18 (PDF) Final Report for Software Service History and Airborne Electronic Hardware Service Experience in Airborne Systems
DOT/FAA/TC-16/40 (PDF) Commercial Off-The-Shelf Airborne Electronic Hardware Assurance Methods- Phase 3- Commodity Memories
DOT/FAA/TC-17/26 (PDF) Definition and Measurement of Complexity in the Context of Safety Assurance
DOT/FAA/TC-XX/XX (PDF) System Level Assurance of AEH
DOT/FAA/TC-17/67 (PDF) Explicate '78: Assurance Case Applicability to Digital Systems
N/A Understanding the Overarching Properties (PDF)
N/A Understanding Assurance Cases: An Educational Series in Five Parts (PDF)
DOT/FAA/TC-19/22 (PDF) Use of Virtual Machines in Avionics Systems and Assurance Concerns
N/A A Primer on Argument (Overarching Properties Edition) (PDF)
N/A The Friendly Argument Notation (PDF)
N/A Final Report AFE 87 — Machine Learning (PDF)

Page last modified: