A method for controlling the correct operation of a computer comprising a digital core executing in time-sharing mode a plurality of distinct and independent program applications that are partitioned into tasks, under the control of an operating system (21, 22) allocating memory partitions, time windows for executing application programs and time sub-windows for executing tasks organised into frames, characterised in that it comprises: - associating a hardwired monitoring automaton with said computer that operates independently of said digital core of said computer; - transmitting to said monitoring automaton, by said digital core of said computer and during the initialisation of said operating system (21, 22) of said computer, a definition of the time window and sub-window frames (MAF, MIF) and of the allocations of memory partitions, by means of programming adapted to said computer; - alerting, by said digital core of said computer, said monitoring automaton of each change of time window, by means of programming adapted to said computer; - communicating to said monitoring automaton, by said digital core of said computer and upon each change of allocation of memory partitions, the identity of the exited memory partition, the allocation start and end times of the exited memory partition and the sequence number, within a time window, of the time sub-window in which the allocation of the exited memory partition occurred, by means of programming adapted to said computer; - monitoring, by said monitoring automaton and on the basis of alerts of changes of allocation of memory partitions delivered by said digital core of said computer, the compliance by said computer of the frames of the time windows for executing application programs and the time sub-windows for executing tasks, and the allocations of memory partitions that it has supplied upon the initialisation of its operating system, by means of programming adapted to said monitoring automaton; and - emitting, by said monitoring automaton, a malfunction alarm for each inconsistency detected between the alerts of said digital core of said computer and the definitions of the frame of the time windows and sub-windows (MAF, MIF) for executing application programs and tasks, and the allocations of memory partitions received upon initialisation of the operating system of said computer, by means of programming adapted to said monitoring automaton. - associating a hardwired monitoring automaton with said computer that operates independently of said digital core of said computer; - transmitting to said monitoring automaton, by said digital core of said computer and during the initialisation of said operating system (21, 22) of said computer, a definition of the time window and sub-window frames (MAF, MIF) and of the allocations of memory partitions, by means of programming adapted to said computer; - alerting, by said digital core of said computer, said monitoring automaton of each change of time window, by means of programming adapted to said computer; - communicating to said monitoring automaton, by said digital core of said computer and upon each change of allocation of memory partitions, the identity of the exited memory partition, the allocation start and end times of the exited memory partition and the sequence number, within a time window, of the time sub-window in which the allocation of the exited memory partition occurred, by means of programming adapted to said computer; - monitoring, by said monitoring automaton and on the basis of alerts of changes of allocation of memory partitions delivered by said digital core of said computer, the compliance by said computer of the frames of the time windows for executing application programs and the time sub-windows for executing tasks, and the allocations of memory partitions that it has supplied upon the initialisation of its operating system, by means of programming adapted to said monitoring automaton; and - emitting, by said monitoring automaton, a malfunction alarm for each inconsistency detected between the alerts of said digital core of said computer and the definitions of the frame of the time windows and sub-windows (MAF, MIF) for executing application programs and tasks, and the allocations of memory partitions received upon initialisation of the operating system of said computer, by means of programming adapted to said monitoring automaton.