 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Problembeschreibung |
|
Einhaltung von Standards im Luftfahrtbereich (z.B. DO-178B) |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Die von der amerikanischen RTCA entwickelte Spezifikation DO-178B enthält Richtlinien zur Produktion von Systemen für Luftfahrzeuge. Sie enthält im wesentlichen Techniken und Methoden, welche die angemessene Korrektheit und Zuverlässigkeit solcher Systeme sicherstellen sollen und von den Entwicklern von Flugzeugsystemen bei der Entwicklung berücksichtigt und eingehalten werden müssen, was zu einer signifikanten Erhöhung der Entwicklungskosten führt. Mit dem Einsatz formaler Methoden ist es möglich, die geforderte Zuverlässigkeit bei gleichzeitiger Senkung der erforderlichen Kosten zu ermöglichen. | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
 | Typisch im Kontext | | ||
| ||||
|
| | ||
|
| | ||
| ||||
| ||||
| ||||
| ||||
| Einhaltung von Standards... | ||||
| ||||
| ||||
| ||||
| ||||
| Wird behandelt in | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
