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

The cited case study discusses processor conformance testing against an abstract model of the processor instruction set at the assembly level. It states that this abstraction level is important because it is often the level of detail available for commercial off-the-shelf (COTS) processors and because it is the target level of high-level compilers.

Within that discussion, the authors argue that such an approach can support certification of COTS processors where the manufacturer is unwilling either to certify the processor directly or to disclose necessary internal implementation details. They further describe the approach as helping bridge the gap between avionics software certification under DO-178 and avionics hardware certification under DO-254.

Hardware/software validation boundary

The evidence frames DO-254 in a broader problem: embedded safety-critical systems increasingly combine hardware and software components to provide core functionality, with “fly-by-wire” given as an example. The authors therefore identify a need for validation techniques that bridge hardware and software and for test-case generation methods that can be applied end-to-end across development steps.

The same source describes these test cases as “certification kits” and states that they are required even when compilers and processors are formally verified, because system builders need them as part of the certification process to show that tools are being applied according to their specifications.