When EADS Launch Vehicles became part of EADS Astrium Space Transportation, it continued to serve as a prime contractor for launching satellites into orbit. On every space mission, ensuring the reliability of the launch is critical. The costs and delays associated with losing commercial, scientific, and military payloads because of a launch failure would be enormous.
EADS must perform extensive verifications and tests, simulating the launch system software’s execution environment. All these tests are conducted on the ground, well before the launch date. To guarantee mission safety, EADS used Polyspace® products for Ada to exhaustively analyze thousands of lines of code and identify potential run-time errors that could cripple a mission.
“The Polyspace solution is unique—it detects run-time errors without execution and also has the advantage of being exhaustive,” notes one EADS engineer.