Intervention de Bruno Sido

Une des faiblesses de l'industrie européenne de logiciels réside dans le fait que, sauf exception, les sociétés en développement sont très souvent rachetées par des entreprises américaines. Quel est le diagnostic de l'INRIA sur cette situation ? Quels sont les moyens prévus dans les programmes français et européens pour y remédier ?

En second lieu comment régler la question de la taille des logiciels de vérification dans la conception assistée par ordinateur, puisque, par exemple, le logiciel de vérification utilisé pour le train d'atterrissage de l'A 380 est six fois plus important que le logiciel de conception ? Quelles sont les recherches effectuées par l'INRIA dans ce domaine ?