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
11.08.2022
Patent
Elektronische Ressource
Englisch
Vicinity supervising device and vicinity supervising method of vehicle
Europäisches Patentamt | 2020
|ELEVATOR SAFETY SUPERVISING ENTITY WITH TWO SEPARATE SAFETY SUPERVISING UNITS
Europäisches Patentamt | 2018
|Cell supervising circuit and battery management system
Europäisches Patentamt | 2024
|