Projet : PARA

Précédent : Contrats industriels (nationaux, européens et Remonter : Contrats industriels (nationaux, européens et Suivant : Logiciels spatiaux futurs

   
Vérification de logiciel spatial

Participant : Alain Deutsch.

Comme pour le vol 502, A. Deutsch a analysé pour le compte d'Aérospatiale le logiciel bord du lanceur Ariane 5, notamment avant le vol 503. En 1998, d'autres logiciels spatiaux ont aussi été analysés:

• un logiciel de navigation de satellite en collaboration avec le CNES,
• un logiciel bord d'un autre satellite avec le CNES et un autre industriel,
• le logiciel de bord du véhicule spatial ARD (Atmospheric Reentry Demonstrator) dans le cadre d'une étude méthodologique effectuée avec Aérospatiale.