(19)
(11) EP 2 188 723 A2

(12)

(88) Date de publication A3:
30.12.2009

(43) Date de publication:
26.05.2010  Bulletin  2010/21

(21) Numéro de dépôt: 08836799.0

(22) Date de dépôt:  12.09.2008
(51) Int. Cl.: 
G06F 11/36(2006.01)
(86) Numéro de dépôt:
PCT/FR2008/051644
(87) Numéro de publication internationale:
WO 2009/047430 (16.04.2009 Gazette  2009/16)
(84) Etats contractants désignés:
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MT NL NO PL PT RO SE SI SK TR
Etats d'extension désignés:
AL BA MK RS

(30) Priorité: 14.09.2007 FR 0757615

(71) Demandeur: AIRBUS OPERATIONS (S.A.S)
31060 Toulouse (FR)

(72) Inventeur:
  • RANDIMBIVOLOLONA, Famantanantsoa
    F-31300 Toulouse (FR)

(74) Mandataire: Lotaut, Yacine Diaw 
Cabinet Schmit-Chretien 8 Place du Ponceau
95031 Cergy Pontoise
95031 Cergy Pontoise (FR)

   


(54) PROCÉDÉ DE GÉNÉRATION AUTOMATIQUE DE SCRIPT POUR TESTER LA VALIDITÉ D'UN LOGICIEL DE FONCTIONNEMENT D'UN SYSTÈME EMBARQUÉ À BORD D'UN AÉRONEF, ET DISPOSITIF DE MISE EN OEUVRE