DO-254 Technical Publications

Demystifying DO-254

This paper introduces DO-254 to the novice.

DO-254: Understanding the Issues that Impact Business

This paper discusses some of the most common business-level issues aerospace companies are struggling with when seeking compliance to DO-254.

Achieving Quality and Traceability in FPGA/ASIC Flows for DO-254 Aviation Projects

This IEEE paper discusses the needs of DO-254 and solutions for improving quality and automating requirements traceability throughout the design flow.

The Use of Advanced Verification Methods to Address DO-254 Design Assurance

This IEEE paper, which was co-authored with Rockwell Collins, discussing using an advanced verification methodology on DO-254 projects.

Effective Functional Verification Methodologies for DO-254 Level A/B and Other Safety-Critical Devices

This paper, which was presented at the FAA’s 2007 National Software and Complex Electronic Hardware Conference, discusses how advanced verification methods meet the needs of complex electronic hardware.

Assessing the ModelSim Tool for Use in DO-254 and ED-80 Projects

This paper helps our ModelSim/Questa customers understand and navigate the DO-254 process of Tool Assessment.

Automating Clock-Domain Crossing Verification for Do-254 (and other Safety-Critical) Designs

This paper introduces the significance of Clock-Domain Crossing verification in the context of a DO-254 project.

DO-254 Compliant Design and Verification with VHDL-AMS

This paper introduces VHDL-AMS and how it can be used as part of the verification solution for certain types of DO-254 projects.