Bewertung von Software-Systemen der Luft- und Raumfahrt auf der Basis computergeschuetzter Qaulittsanalysen.

Kurzfassung

Die hohe Komplexitt und enorme Gre von Softwaresystemen der Luft- und Raumfahrt sowie die strikten Anforderungen an deren Sicherheit, Zuverlssigkeit, Verfgbarkeit und Wartbarkeit erfordern die Anwendung moderner Methoden, Verfahren und Werkzeuge zur Softwarequalittssicherung. Im Rahmen dieser Verffentlichung wird ein Ansatz zur effizienten Verifikation dieser Anforderungen mittels moderner computergesttzter Methoden und Verfahren prsentiert. Die Anwendung dieser Methoden, Verfahren und der in diesem Zusammenhang erforderlichen Werkzeuge sowie die Integration dieser Aktivitten in die im Rahmen von Projekten stattfindende Softwarequalittssicherung werden eingehend beschrieben. Abschlieend werden die Effektivitt sowie die Kosteneffizienz dieses Ansatzes an Hand der organisatorischen Integration dieser Aktivitten in den Projektlebenszyklus erlutet.