Précédent : Actions industrielles Remonter : Actions industrielles Suivant : Ramasse miettes pour Java

Aérospatiale et Ariane 502

Participants : Damien Doligez, Georges Gonthier, Jean-Jacques Lévy, Robert Ehrlich, Alain Deutsch, François Rouaix, Marcin Skubiszewski

Mots-clés : programmation fonctionnelle

En novembre 96, nous avons commencé une action transversale avec les projets A3, CRISTAL et RODIN pour expertiser le logiciel du lanceur Ariane 5 avec le centre de l'Aérospatiale des Mureaux. A la suite des recommandations de la commission d'enquête du vol 501, nous sommes chargés d'effectuer une approche bottom-up sur les logiciels embarqués. Sur les codes Ada et Assembleur, nous pensons faire fonctionner le programme de détection des débordements de tableau, des variables non initialisées de A. Deutsch, en détournant le compilateur Ada de Gnu pour le transformer en frontal des analyseurs déjà développés pour C ou C++. Par ailleurs, nous voulons mener une modélisation en Promela des automates de synchronisation et lancer des détections de blocages ou de non atteignabilité avec le programme Spin de G. Holtzman. Enfin, nous espérons pouvoir donner des avis sur le style de la programmation et la définition des interfaces.

Ce travail est assez conséquent, puisque la masse des programmes embarqués est imposante, et que les contraintes de temps pour l'étude sont réduits, puisque cela doit se faire avant les commissions de qualification du vol 502.