Verifizierung sicherheitskritischer Software in der Avionik

Die Absicht dieses Buches ist es, einen Überblick über die Verifikationstechniken zu geben, die zur Verifikation sicherheitskritischer Avionik-Software gemäß DO-178B-Standard eingesetzt werden, wobei der Schwerpunkt auf dem Testen der Software-Einheit liegt. Eine vollständige Software-Verifikation umfasst das Testen von Software auf verschiedenen Ebenen / Phasen. Das Ziel des Softwaretests besteht darin, nachzuweisen, dass die Software ihre Anforderungen erfüllt, und auch mit einem hohen Maß an Vertrauen nachzuweisen, dass Fehler, die zu inakzeptablen Ausfallbedingungen führen könnten, wie sie durch den Systemsicherheitsbewertungsprozess bestimmt werden, beseitigt wurden. Die Testergebnisse liefern einen Hinweis auf die Zuverlässigkeit und Qualität der Software.

Autorentext

Chiranjeevi Aradhya ha sido el Ingeniero de Software Senior de Collins Aerospace systems durante los últimos 7 años. Tiene más de 15 años de experiencia trabajando en la industria aeroespacial en todas las últimas tecnologías, incluyendo el desarrollo de productos integrados de aviónica y la prueba de software de sistemas de aeronaves siguiendo los procesos DO-178B de nivel A a D.