Beobachten
- Pressemitteilung BoxID 532337
Mars-Mission: NASA Jet Propulsion Laboratory testet Flugsoftware von Curiosity mit Coverity
NASA JPL prüft mehr als zwei Millionen missionskritische Codezeilen mit Coverity auf mögliche Fehler
(PresseBox) (Ismaning, )
Das NASA Jet Propulsion Laboratory (JPL), Entwickler von "Curiosity", hat mit Coverity die Zuverlässigkeit seiner Flugsoftware und damit die erfolgreiche Landung des Rovers auf dem Mars sichergestellt. Der Rover soll herausfinden, ob es auf dem Mars Spuren von Leben gibt.
Von Beginn der NASA-Mission "Mars Science Laboratory" setzte das NASA JPL die statische Analyse als einen zentralen Baustein im Code-Review-Prozess ein. Sie sollte den Erfolg einer der größten Missionen der NASA gewährleisten und sicherstellen, dass Curiosity, eine der komplexesten Weltraum-Maschinen aller Zeiten, zuverlässig funktioniert.
Das Entwicklerteam im NASA JPL nutzte Coverity zum Testen der Software, die den Flug und die Onboard-Funktionen von Curiosity steuert.
Das umfasste die Überprüfung von mehr als zwei Millionen Codezeilen und sollte sicherstellen, dass jeder Softwaredefekt bereits vor dem Start entdeckt und behoben werden konnte. Bereits ein einzelner Defekt kann über den Erfolg oder Misserfolg der 2,5 Milliarden Dollar teuren Mission entscheiden.
"Der Einsatz der Coverity-Technologie in Projekten, bei denen keinerlei Fehler erlaubt sind, demonstriert unsere Stärke in der Erkennung unvorhersehbarer und traditionell schwer zu findender Softwarefehler", sagt Jennifer Johnson, Vice President of Marketing bei Coverity. "Deshalb freuen wir uns ganz besonders, dass wir an dieser bedeutenden wissenschaftlichen Leistung beteiligt waren und der NASA bei der Suche nach möglichem Leben auf dem Mars helfen durften."
Coverity Static Analysis ist eine branchenführende Lösung zur Softwareprüfung in der Entwicklung. Dank ausgefeilter Analysetechniken lässt sie Programmierer versteckte, aber gleichzeitig potenziell schwerwiegende Fehler bereits in einem frühen Stadium der Entwicklung aufspüren - dann, wenn sie noch am einfachsten und auf dem kostengünstigsten Weg behoben werden können.
Weitere Details im Internet:
- Video-Beitrag zum Curiosity-Rover
- Informationen zum Thema "Softwareprüfung in der Entwicklung"
- Coverity-Blog
Von Beginn der NASA-Mission "Mars Science Laboratory" setzte das NASA JPL die statische Analyse als einen zentralen Baustein im Code-Review-Prozess ein. Sie sollte den Erfolg einer der größten Missionen der NASA gewährleisten und sicherstellen, dass Curiosity, eine der komplexesten Weltraum-Maschinen aller Zeiten, zuverlässig funktioniert.
Das Entwicklerteam im NASA JPL nutzte Coverity zum Testen der Software, die den Flug und die Onboard-Funktionen von Curiosity steuert.
Das umfasste die Überprüfung von mehr als zwei Millionen Codezeilen und sollte sicherstellen, dass jeder Softwaredefekt bereits vor dem Start entdeckt und behoben werden konnte. Bereits ein einzelner Defekt kann über den Erfolg oder Misserfolg der 2,5 Milliarden Dollar teuren Mission entscheiden.
"Der Einsatz der Coverity-Technologie in Projekten, bei denen keinerlei Fehler erlaubt sind, demonstriert unsere Stärke in der Erkennung unvorhersehbarer und traditionell schwer zu findender Softwarefehler", sagt Jennifer Johnson, Vice President of Marketing bei Coverity. "Deshalb freuen wir uns ganz besonders, dass wir an dieser bedeutenden wissenschaftlichen Leistung beteiligt waren und der NASA bei der Suche nach möglichem Leben auf dem Mars helfen durften."
Coverity Static Analysis ist eine branchenführende Lösung zur Softwareprüfung in der Entwicklung. Dank ausgefeilter Analysetechniken lässt sie Programmierer versteckte, aber gleichzeitig potenziell schwerwiegende Fehler bereits in einem frühen Stadium der Entwicklung aufspüren - dann, wenn sie noch am einfachsten und auf dem kostengünstigsten Weg behoben werden können.
Weitere Details im Internet:
- Video-Beitrag zum Curiosity-Rover
- Informationen zum Thema "Softwareprüfung in der Entwicklung"
- Coverity-Blog
Über Coverity, Inc.
Coverity (www.coverity.com/de/) ist führend auf dem Gebiet der Softwareprüfung in der Entwicklung und setzt damit einen Standard für Unternehmen, die ihre Marken und Gewinne vor Softwarefehlern schützen wollen. Über 1100 Kunden bauen auf Coveritys Suite zum Testen während der Entwicklung, um Sourcecode damit automatisch auf Defekte zu überprüfen, die zu Abstürzen, unerwartetem Verhalten, Sicherheitslücken oder Totalausfällen führen können. Coverity ist ein Unternehmen im Privatbesitz mit Hauptsitz in San Francisco (CA, USA). Coverity wird finanziert von Foundation Capital und Benchmark Capital. Weitere Informationen per Twitter und im Coverity-Blog.
Diese Pressemitteilungen könnten Sie auch interessieren
|
Helipartner Thailand launches its leasing activity with an order for 10 Eurocopter AS350 B3e helicopters
, Luft- / Raumfahrt, Eurocopter Deutschland GmbH
Helipartner Thailand's order of 10 AS350 B3e highlights the effectiveness and capabilities of this Ecureuil family helicopter to meet the increasing demand for light...
|
Hintze: A350-Erstflug ist wichtiger Meilenstein in der europäischen Luftfahrtgeschichte
, Luft- / Raumfahrt, Bundesministerium für Wirtschaft und Technologie (bmwi)
Zum heutigen Erstflug des Airbus A350 XWB erklärt der Koordinator der Bundesregierung für die Luft- und Raumfahrt, Parlamentarischer Staatssekretär Peter Hintze: "Der...
|
Kanadische Luftfahrtbehörde zertifiziert PW306D: MTU hält 25 Prozent
, Luft- / Raumfahrt, MTU Aero Engines GmbH
Das PW306D ist der jüngste Spross der erfolgreichen PW300-Triebwerksfamilie von Pratt & Whitney Canada und hat jetzt seine Zulassung erhalten: Zertifiziert wurde...
