Recherche dans les collections de brevets nationales et internationales

1. (WO2011149555) VÉRIFICATION DE MODÈLE À BASE DE MESSAGES

Pub. No.:    WO/2011/149555    International Application No.:    PCT/US2011/000967
Publication Date: Fri Dec 02 00:59:59 CET 2011 International Filing Date: Sat May 28 01:59:59 CEST 2011
IPC: G06F 9/46
G06F 9/44
Applicants: THE MATHWORKS, INC.
MOORE, Alan, J.
MESTCHIAN, Ebrahim, Mehran
Inventors: MOORE, Alan, J.
MESTCHIAN, Ebrahim, Mehran
Title: VÉRIFICATION DE MODÈLE À BASE DE MESSAGES
Abstract:
Un système et un procédé peuvent générer des diagrammes de blocs exécutables dans lesquels au moins certains des blocs s'exécutent conformément à une sémantique d'exécution à base de messages. Un message peut comprendre une charge de données d'entrée qui n'évolue pas au fil du temps, et le message peut persister uniquement pendant un intervalle déterminé au cours de l'exécution d'un diagramme de blocs. Un moteur d'exécution à base de messages peut contrôler l'exécution de blocs à base de messages dans lesquels un bloc source peut générer un message à un instant spécifique, le message peut être envoyé à un ou plusieurs blocs de destination pour déclencher l'exécution de ces blocs, et le message peut être détruit pendant ou après un intervalle déterminé. D'autres domaines d'exécution, tels qu'un domaine d'exécution basé sur le temps ou l'état, peuvent être fournis, et le système peut implémenter un modèle d'exécution hybride. Un moteur de vérification peut fournir un ou plusieurs outils pour évaluer et vérifier le fonctionnement de blocs à base de messages. Le moteur de vérification peut prendre en charge un ou plusieurs blocs de vérification qui peuvent être ajoutés au diagramme de blocs et associés aux blocs à base de messages du diagramme. Les blocs de vérification peuvent capturer et présenter les messages échangés entre les blocs à base de messages. Les blocs de vérification peuvent également spécifier une interaction attendue de messages, et déterminer si les messages réels correspondent à l'interaction attendue. Dans la négative, le bloc de vérification peut exécuter une ou plusieurs actions prédéfinies, telles que la suspension d'une autre exécution du diagramme de blocs.