DO-254 avionics certification

Concept

DO-254 is referenced in the evidence as the avionics certification associated with the hardware layer, contrasted with DO-178 for the software layer. In the cited microprocessor test-generation case study, DO-254 appears in the context of certifying hardware components such as COTS processors and motivating validation methods that bridge hardware/software development boundaries.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 1 chunks

Wiki v1

WIKI

DO-254 avionics certification

DO-254 avionics certification is cited in the provided evidence as certification associated with the hardware layer in avionics systems. The same source contrasts this with DO-178, which it identifies as applying to the software layer in avionics certification contexts.

Role in hardware-oriented avionics certification

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

Test Program Generation for a Microprocessor: A Case-Study ← mentions 100% 1e

The paper mentions DO-254 hardware certification in the context of bridging software and hardware layers.

CITATIONS

6 sources

6 citations — click to expand

[1] DO-254 is referenced as avionics certification for the hardware layer. Test Program Generation for a Microprocessor: A Case Study

[2] DO-178 is referenced as avionics certification for the software layer and is contrasted with DO-254 for the hardware layer. Test Program Generation for a Microprocessor: A Case Study

[3] Instruction-set-level abstraction is important because it is usually available for COTS processors and is the target level of high-level compilers. Test Program Generation for a Microprocessor: A Case Study

[4] The described conformance-testing approach can support certification of COTS processors when manufacturers will not certify the processor or disclose internal details. Test Program Generation for a Microprocessor: A Case Study

[5] Safety-critical embedded systems combine hardware and software components, motivating validation techniques that bridge hardware and software development. Test Program Generation for a Microprocessor: A Case Study

[6] Certification kits are described as test cases needed by system builders to prove, as part of certification, that tools are applied according to their specifications. Test Program Generation for a Microprocessor: A Case Study