Die Gesamtheit geplanter Aktivitäten und Nachweise, die zeigen, dass Avionik‑Software korrekt die spezifizierten Anforderungen implementiert und sich im vorgesehenen Einsatzkontext wie vorgesehen verhält.

Prinzip

Stelle Nachvollziehbarkeit von Anforderungen zu Tests her, wende statische und dynamische Analysen an, führe Code in repräsentativen Szenarien aus und sammle objektive Nachweise, dass die Software funktionale, zeitliche und sicherheitsrelevante Einschränkungen vor Freigabe oder Zulassung erfüllt.

Demonstration

Verifikation eines Autopilotmoduls: Jede Flugsteuerungsanforderung auf Unit‑Tests und Systemintegrations‑Tests zurückführen; statische Analyse zur Auffindung potenzieller Laufzeitfehler durchführen; Hardware‑in‑the‑Loop‑Szenarien für Sensorsausfälle ausführen und deterministische Reaktionszeiten messen, um Fristen sicherzustellen.

Fehlanwendung

Sich ausschließlich auf Endanwender‑Flugtests als Verifikation zu verlassen, ohne Anforderungsnachverfolgbarkeit, automatisierte Tests oder Analysen; dadurch können Randfälle, Timing‑Verletzungen oder latente Fehler übersehen werden, die nur unter seltenen Bedingungen auftreten.

Konsequenz

Effektive Avionik‑Softwareverifikation erzeugt objektive, nachvollziehbare Artefakte zur Unterstützung von Zulassungen, reduziert latente Softwarefehler im Betrieb und erhöht das Vertrauen, dass die Software reale Betriebsbedingungen erfüllt.

Umkehrung

Die Umkehr besteht darin, exhaustive Codetests ohne Anforderungsnachverfolgbarkeit oder formale Abnahmekriterien durchzuführen, große Testmengen zu erzeugen, aber nicht zu belegen, dass die Software die Missionsanforderungen oder Sicherheitsziele erfüllt.

Abgrenzung

Umfasst anforderungsbasierte Tests, statische/dynamische Analysen, Integrations‑ und Hardware‑in‑the‑Loop‑Tests für Avioniksoftware; definiert nicht selbst die Systemsicherheitsfälle und garantiert nicht Fehlerfreiheit, liefert jedoch entscheidende Nachweise für diese Argumente.

Semantische Spannung

Wird oft mit Softwarevalidierung (Prüfung der Bedürfnisse der Stakeholder und der operationellen Eignung) verwechselt. Verifikation fragt: 'Haben wir das Produkt richtig gebaut?' mit Fokus auf Anforderungskonformität; Validierung fragt: 'Haben wir das richtige Produkt gebaut?' mit Fokus auf operationelle Eignung.

Synthese

Avionik‑Softwareverifikation ist eine anforderungsnachverfolgbare, evidenzbasierte Disziplin, die Analysen und Tests kombiniert, um zu demonstrieren, dass die Implementierung Spezifikation, Timing und Sicherheitsanforderungen für einen verlässlichen Einsatz in der Luftfahrt erfüllt.