A method for monitoring an avionics software application, able to be executed on a platform including resources and hosting an operating system, the platform being intended to be on board an aircraft, the method being implemented by an electronic monitoring device and comprising the steps consisting in: - implementing at least one monitoring operation of the application from among the following four monitoring operations: + syntactic monitoring of each call emitted by the application to the operating system, + semantic monitoring of each call emitted by the application to the operating system, + monitoring of a dynamic of the calls emitted by the application to the operating system, and + monitoring of the use of platform resources by the application; the implementation step including the semantic monitoring of each call emitted by the application to the operating system, the semantic monitoring including verifying that at least one of first, second and third semantic criteria is met by one or more data contained in each call from the application to the operating system, the or each data contained in each call from the application being chosen from among the group consisting of: data coming from sensors of the aircraft, data from processing of other applications, data generated after an action by a pilot of the aircraft, the first semantic criterion being the belonging to a predefined interval of values of the update time frame for each datum, the second semantic criterion being a coherence criterion for at least one predefined datum being a position or speed of the aircraft, and the third semantic criterion being a coherence criterion between at least two predefined data being the position or the speed of the aircraft, - generating an alarm signal if an abnormal behavior of the application is detected during the implementation of at least one of said monitoring operations. - implementing at least one monitoring operation of the application from among the following four monitoring operations: + syntactic monitoring of each call emitted by the application to the operating system, + semantic monitoring of each call emitted by the application to the operating system, + monitoring of a dynamic of the calls emitted by the application to the operating system, and + monitoring of the use of platform resources by the application; + syntactic monitoring of each call emitted by the application to the operating system, + semantic monitoring of each call emitted by the application to the operating system, + monitoring of a dynamic of the calls emitted by the application to the operating system, and + monitoring of the use of platform resources by the application; the implementation step including the semantic monitoring of each call emitted by the application to the operating system, the semantic monitoring including verifying that at least one of first, second and third semantic criteria is met by one or more data contained in each call from the application to the operating system, the or each data contained in each call from the application being chosen from among the group consisting of: data coming from sensors of the aircraft, data from processing of other applications, data generated after an action by a pilot of the aircraft, the first semantic criterion being the belonging to a predefined interval of values of the update time frame for each datum, the second semantic criterion being a coherence criterion for at least one predefined datum being a position or speed of the aircraft, and the third semantic criterion being a coherence criterion between at least two predefined data being the position or the speed of the aircraft, - generating an alarm signal if an abnormal behavior of the application is detected during the implementation of at least one of said monitoring operations. - generating an alarm signal if an abnormal behavior of the application is detected during the implementation of at least one of said monitoring operations.