Securing method of a computer program, device, and server updating procedure associated update.

摘要

Securing method in the use of a primary computer program (11) driving at least one device (D1, ..., Dn) which receives and delivers data, having been said main program (11) of a control stage for which it has been subjected to a series of stimuli in order to detect any anomalies, and being in the production phase, implementing this procedure a secondary computer checking program (12), different from said primary program (11) and suitable for delivering the same output data (30) at least a portion, called critical portion, said primary program (11), in the presence of input data (20) identical, said method comprising the following steps, at least when one of said critical portions of said primary program (11) is activated: - execution (102) of said critical portion, delivering first output data (31) based on input data (20); - execution (104) of said control program (12), delivering second output data (32) based on said input data (20); - comparing (106) said data from first and second output (31, 32) and generating (108) a fault information (35) if said data of first and second output (31, 32) are different, corresponding said input data (20) to an atypical stimulus, untreated during said test phase, stages wherein the method further comprises the following - transmission (110) of said anomaly information (35) to a server (S) remote, overlooking a deferred analysis and correction of said primary program (11); - continuation of said primary program (11), transparent to a user, according to said first output data (31) and despite the detection of said anomaly.