SYSTEM FOR FORMALLY SUPERVISING COMMUNICATIONS

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	DUBRULLE, Paul
Format:	Patent
Sprache:	eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PERFORMING OPERATIONS PHYSICS TRANSPORTING VEHICLES IN GENERAL VEHICLES, VEHICLE FITTINGS, OR VEHICLE PARTS, NOT OTHERWISEPROVIDED FOR
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.