摘要 |
The method according to the invention involves sending the symbols file of an airborne computer (1) initially placed in off operating conditions during the initialization of said computer to a validation bank (6) which thus builds up a symbols dictionary for each of the computers that may be used. In operational mode, the computer to which the bank is connected sends its identity to said bank. This makes it possible for the bank to associate the corresponding data dictionary with the computer. The invention can be used in the validation of executable software for a Flight Management System (FMS). |