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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS


    Beteiligte:
    DUBRULLE PAUL (Autor:in)

    Erscheinungsdatum :

    11.08.2022


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    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. | Europäisches Patentamt | 2020

    Freier Zugriff

    ELEVATOR SAFETY SUPERVISING ENTITY WITH TWO SEPARATE SAFETY SUPERVISING UNITS

    STUDER CHRISTIAN / SONNENMOSER ASTRID / LUSTENBERGER IVO | Europäisches Patentamt | 2018

    Freier Zugriff

    Unmanned system for supervising overloaded vehicle

    KIM HYUN JIN / KIM JAE HYEON | Europäisches Patentamt | 2016

    Freier Zugriff

    Cell supervising circuit and battery management system

    KOBAYASHI HITOSHI | Europäisches Patentamt | 2024

    Freier Zugriff

    VEHICLE SUPERVISING OF OCCUPANT APPLICATIONS

    RICCI CHRISTOPHER P | Europäisches Patentamt | 2016

    Freier Zugriff