Research Reports
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 |
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) |
DOT/FAA/TC-23/06 | Assessing the Use of Machine Learning to Find the Worst-Case Execution Time of Avionics Software |
Last updated: Thursday, April 6, 2023