Der Zustand, die in RTCA DO-254 beschriebenen Prozesse und Ziele für Design Assurance von luftfahrtelektronischer Hardware zu erfüllen, nachgewiesen durch anforderungsbasierte Konstruktion, Verifikation, Dokumentation und Lebenszykluskontrollen, die dem zugewiesenen Hardware-Design-Assurance-Level entsprechen.

Prinzip

Führen Sie den Hardware-Lebenszyklus mit anforderungsgesteuertem Design, formaler Verifikation und Tests, Konfigurations- und Änderungssteuerung sowie dokumentierten Nachweisen, skaliert zum Hardware-Assurance-Level, damit sicherheitskritische elektronische Hardware (FPGAs, ASICs, PLDs) akzeptable Zuverlässigkeits- und Zertifizierungskriterien erfüllt.

Demonstration

Ein FPGA in flugkritischer Avionik wird nach DO-254-Praktiken entwickelt: System-Hardwareanforderungen werden in Hardwareanforderungen überführt, Designartefakte und RTL werden überprüft, Hardware-Verifikation umfasst anforderungsbasierte Tests und strukturelle Coverage, wo anwendbar, und der konfigurierte Bitstream sowie das Nachweispaket werden zur Zertifizierungsprüfung bereitgestellt.

Fehlanwendung

Hardware-Design wie Software behandeln und nur Softwareprozesse anwenden, hardware-spezifische Verifikation überspringen (z. B. strukturelle Hardware-Coverage) oder FPGA-Bitstreams und Lieferantenkomponenten nicht unter Konfigurationskontrolle stellen.

Konsequenz

Korrekte DO-254-Konformität liefert ein nachvollziehbares Assurance-Paket für Hardwarekomponenten, das für die Zertifizierung akzeptabel ist, reduziert das Risiko unerkannter Hardwarefehler im Betrieb und bietet klare Prüfpfade für Designentscheidungen und Verifikationstätigkeiten.

Umkehrung

Nicht konforme Hardwareentwicklung kann zu Qualifikationsversagen, Einschränkungen bei der Betriebsfreigabe, notwendiger Hardware-Neuentwicklung oder Zertifizierungsverzögerungen führen, die die Produkteinführung beeinträchtigen.

Abgrenzung

Gilt für airborne electronic hardware (AEH) und komplexe elektronische Komponenten, wenn DO-254-Ziele von Zertifizierungsbehörden gefordert werden; es ersetzt nicht DO-178C für Software, obwohl sich beide Normen überschneiden, wenn Funktionen zwischen Hardware und Software aufgeteilt werden.

Semantische Spannung

Es besteht eine Spannung zwischen der Anwendung softwareähnlicher Praktiken auf Hardware (was Hardwareverhalten untertesten kann) und der Anerkennung hardware-spezifischer Verifikationsanforderungen; Programme müssen hardwarezentrierte Nachweise wählen statt Softwareannahmen zu übernehmen.

Synthese

DO-254-Konformität ist die nachgewiesene Durchführung von Hardware-Design-Assurance-Prozessen — Anforderungsrückverfolgbarkeit, kontrolliertes Design und Verifikation sowie Konfigurationsmanagement — skaliert zum Hardware-Assurance-Level, sodass luftfahrtelektronische Hardware als sicher und zuverlässig zertifiziert werden kann.