SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS

The present invention relates to a system for formally monitoring communications of a set of specific applications of a platform, comprising: an acquisition module () configured to acquire a formal model () of a data stream describing the behaviour of a group of participants modelling said set of specific applications, and a communication specification () describing software implementations implementing the applications modelled by said participants, said software implementations being configured to call up predetermined communication functions, and a monitoring module () configured to verify that a sequence for calling up said communication functions complies with the expected behaviour of said group of participants.