Formal communications supervision system

摘要

The present invention relates to a system for formal communications supervision of a set of concrete applications of a platform, comprising: an acquisition module (9) configured to acquire a formal model (13) of a data flow describing the behavior of a set of actors modeling said set of concrete applications, and a communication specification (15) describing software implementations implementing the applications modeled by said actors, said software implementations being configured to make calls to functions communication channels, and a supervision module (11) configured to verify that a call sequence to said communication functions conforms to the expected behavior of said set of actors. Figure for the abstract: Fig. 1