DGLR-Publikationsdatenbank - Detailansicht
Titel:
Bericht über das DGLR-Symposium "Test und Verifikation von Software bei digitalen Systemen der Luft- und Raumfahrt"
Autor(en):
Zusammenfassung:
Veranstaltung:
DGLR-Symposium "Test und Verifikation von Software bei digitalen Systemen der Luft- und Raumfahrt"; Köln-Porz, 1983
Medientyp:
Book
Sprache:
deutsch
Format:
14,8 x 21,0 cm, 252 Seiten
Veröffentlicht:
DGLR-Bericht, 1983-02, 1983; Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., Bonn; ISSN: 0178-6326; ISBN: 3-922010-24-6; 14,8 x 21,0 cm; 252 Seiten
Preis:
16,00 €
ISBN:
3-922010-24-6
ISSN:
0178-6326
Kommentar:
12 Aufsätze
Klassifikation:
Stichworte zum Inhalt:
Verfügbarkeit:
Bestellbar
Veröffentlicht:
1983
Inhaltsverzeichnis dieser Publikation
- Softwareverifikation aus Sicht BMVg-Rü IV6 und Vorstellungen für die Zukunft
W. Fraedrich
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Digitale Elektronik in Verkehrsflugzeugen - Erste Erfahrungen eines Anwenders
J.-P. Hach
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Die unabhängige Nachprüfung von operationellen Programmen in fliegenden Waffensystemen am Beispiel des Waffenrechners der F-4 F
G. Lindner
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - CSTS: Ein Software-Testsystem für den TORNADO-Autopiloten
J. Stocker, J. Rauch
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Eine interaktive Methode zur Bestimmung und Sicherung der Zuverlässigkeit von sicherheitsrelevanten Software-Produkten durch Tests
F. Belli
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Methoden für Test und Verifikation flugkritischer Software mit Hilfe von bodengebundenen Systemprüfständen
A. Bauer, H. Hessel
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Die Notwendigkeit für CADAS (Computer aided design tool for avionic systems)
B. Burford
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Verifikation eines Software-Entwurfs unter Verwendung von Werkzeugen, z.B. EPOS
H.O. Drtil
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Zur Validierung von Simulationsprogrammen stochastischer Vorgänge bei nur wenigen realen Versuchen
F. Hammelrath
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Test und Verifikation der Software von Kurs-Lagereferenz-Systemen
N. Sandner, M. Kleinschmidt
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Verfahren zur Software-Entwicklung für das digitale Bordrechnersystem des Flugversuchsträgers ATTAS der DFVLR
H.H. Lange
Detaillierter Eintrag in der DGLR-Publikationsdatenbank - Erfahrungen mit Flight Standard Software
H. Hofer
Detaillierter Eintrag in der DGLR-Publikationsdatenbank