DO-178 avionics certification

Concept

DO-178 is referenced in the evidence as an avionics certification context associated with the software layer of safety-critical embedded systems. The cited work discusses how processor conformance testing and certification kits can support certification activities around commercial off-the-shelf processors, especially where software-layer DO-178 concerns meet hardware-layer concerns such as DO-254.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 2 chunks

Wiki v1

WIKI

Overview

In the provided evidence, DO-178 is discussed as an avionics certification context for the software layer. The cited case study contrasts this software-layer certification concern with the hardware layer, where avionics certification is associated with DO-254, and argues that validation techniques are needed to bridge the gap between the two layers.

Role in software–hardware certification boundaries

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% 2e

The paper mentions DO-178 avionics certification in the context of certification kits.

LINKED ENTITIES

2 links

DO-254 avionics certification contrasted_hardware_layer_certification The evidence explicitly contrasts avionics software certification according to DO-178 with hardware-layer avionics certification according to DO-254.

certification kit uses_supporting_artifact The evidence defines certification kits as sets of test cases/test programs used to support certification processes and gives DO-178 avionics certification as an example context.

CITATIONS

6 sources

6 citations — click to expand

[1] DO-178 is referenced as an avionics certification context for the software layer. Test Program Generation for a Microprocessor: A Case Study

[2] The evidence contrasts DO-178 software-layer certification with DO-254 hardware-layer certification in avionics. Test Program Generation for a Microprocessor: A Case Study

[3] Certification kits are described as sets of test cases or test programs used to support certification processes, including avionics certification according to DO-178. Test Program Generation for a Microprocessor: A Case Study

[4] The cited work presents model-based generation of test programs as the basis for a certification kit and as a way to check hardware conformance to a processor model. Test Program Generation for a Microprocessor: A Case Study

[5] Assembly-level processor models are described as important for COTS processors because that level of detail is usually available and is the target level of high-level compilers. Test Program Generation for a Microprocessor: A Case Study

[6] The approach is described as supporting certification of COTS processors when manufacturers are not willing to certify the processor or disclose necessary internal details. Test Program Generation for a Microprocessor: A Case Study