{
  "$type": "site.standard.document",
  "description": "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…",
  "path": "/patents/1324395",
  "publishedAt": "2022-08-11T00:00:00.000Z",
  "site": "at://did:plc:oql6ds5vnff4ugar6rruliwd/site.standard.publication/3mn3ohu7oxx5w",
  "tags": [
    "B60R16/0232",
    "COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES"
  ],
  "textContent": "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.",
  "title": "SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS"
}