Verifizierung sicherheitskritischer Software in der Avionik

Verfügbarkeit:
Auf Lager.
Artikelnummer:
2331827
  • Produktbeschreibung

    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.
  • Zusatzinformation

    Autor
    Bindung
    Taschenbuch
    Verlag
    Verlag Unser Wissen
    ISBN / EAN
    9786203074987
  • Sie könnten auch an folgenden Produkten interessiert sein

    Art.Nr. 1901328

    Dolata:Compliance contra Wirtschaftskri

    44,99
    Art.Nr. 1766308

    Freakonomics: A Rogue Economist Explores the Hidden Side of Everything

    10,30
  • 0 Kundenmeinungen

    Schreiben Sie selbst eine Rezension

    Ihre Meinung interessiert uns – und hilft anderen Kunden bei der Auswahl.