A method for synchronizing at least two computing units of an aircraft, these two computing units being configured to implement a plurality of identical partitions, each of said computing units comprising at least a scheduler, an internal clock and a software platform comprising said plurality of partitions, the method comprising at least the sequence of following steps, said sequence of steps being implemented repeatedly:
- a generating step, implemented by a generation unit, of generating a calibrated synchronization pulse, said synchronization pulse being generated based on data from an independent clock associated with the generation unit, wherein the generation unit comprises a pulse generator, and a form generator, the pulse generator generating a pulse that is shaped by the form generator to correct an execution time drift of the identical partitions of the computing units, the form generator generating the calibrated synchronization pulse, the calibrated synchronization pulse being generated periodically, and the generation unit further comprising a receiving element configured to receive information from each of the computing units;
- a transmitting step, implemented by transmission links, of transmitting the synchronization pulse to each of said computing units;
- controlling steps, specifically a control step for each of said computing units, each of said controlling steps, which is implemented by a controller, comprising comparing the synchronization pulse received by the computing unit with a pulse generated by the internal clock of this computing unit, and in concluding therefrom that there is conformity when the synchronization pulse and the pulse generated by the internal clock are of the same temporal form or a lack of conformity when the synchronization pulse and the pulse generated by the internal clock are of different temporal forms based on this comparison;
- and
- triggering steps, specifically a triggering step for each of said computing units, each of said triggering steps, which is set by the scheduler of the corresponding computing unit, comprising triggering a sequence of implementing at least some of said partitions upon receiving the synchronization pulse, and doing so only when the corresponding control step concludes that there is conformity.