首页>
外国专利>
SYSTEM FOR FORMALLY MONITORING COMMUNICATIONS
SYSTEM FOR FORMALLY MONITORING 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 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.
展开▼