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.


    Access

    Download


    Export, share and cite



    Title :

    SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS


    Contributors:

    Publication date :

    2022-08-11


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    IPC:    B60R Fahrzeuge, Fahrzeugausstattung oder Fahrzeugteile, soweit nicht anderweitig vorgesehen , VEHICLES, VEHICLE FITTINGS, OR VEHICLE PARTS, NOT OTHERWISE PROVIDED FOR / G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung



    Vicinity supervising device and vicinity supervising method of vehicle

    TERADA TOSHIHIKO / ITO HIROAKI / UCHIDA NAOHIDE et al. | European Patent Office | 2020

    Free access

    ELEVATOR SAFETY SUPERVISING ENTITY WITH TWO SEPARATE SAFETY SUPERVISING UNITS

    STUDER CHRISTIAN / SONNENMOSER ASTRID / LUSTENBERGER IVO | European Patent Office | 2018

    Free access

    VEHICLE EXTERNAL SUPERVISING DEVICE

    OKUBO TOSHIMI | European Patent Office | 2018

    Free access

    Unmanned system for supervising overloaded vehicle

    KIM HYUN JIN / KIM JAE HYEON | European Patent Office | 2016

    Free access

    Unmanned system for supervising overloaded vehicle

    European Patent Office | 2017

    Free access