The present invention relates to a system for formally monitoring communications of a set of specific applications of a platform, comprising: an acquisition module (9) configured to acquire a formal model (13) of a data stream describing the behaviour of a group of participants modelling said set of specific applications, and a communication specification (15) 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 (11) configured to verify that a sequence for calling up said communication functions complies with the expected behaviour of said group of participants.
SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS
2022-08-11
Patent
Electronic Resource
English
Vicinity supervising device and vicinity supervising method of vehicle
European Patent Office | 2020
|ELEVATOR SAFETY SUPERVISING ENTITY WITH TWO SEPARATE SAFETY SUPERVISING UNITS
European Patent Office | 2018
|