Für diesen Artikel ist leider kein Bild verfügbar.

Verifizierung sicherheitskritischer Software in der Avionik

Chiranjeevi Aradhya (Autor)

Buch | Softcover

64 Seiten

2020
Verlag Unser Wissen
9786203074987 (ISBN)

Titel nicht im Sortiment

Artikel merken

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.

Aradhya, Chiranjeevi Chiranjeevi Aradhya war in den vergangenen 7 Jahren als Senior Software Engineer bei Collins Aerospace Systems tätig. Er verfügt über mehr als 15 Jahre Erfahrung in der Luft- und Raumfahrtindustrie mit allen neuesten Technologien, einschließlich der Entwicklung eingebetteter Avionikprodukte und der Prüfung von Flugzeugsystemen gemäß DO-178B Level A bis D.

Erscheinungsdatum	06.08.2021
Sprache	deutsch
Maße	150 x 220 mm
Gewicht	113 g
Themenwelt	Sozialwissenschaften ► Soziologie ► Allgemeine Soziologie
Schlagworte	Avionik • SICHERHEITSKRITISCH • Software • Verifikation
ISBN-13	9786203074987 / 9786203074987
Zustand	Neuware