Message-based model verification

摘要

A system and method may generate executable block diagrams having blocks that run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction.

主权项

1. A computer-implemented method comprising:
accessing, from a memory, an executable block diagram, at least a portion of the executable block diagram having message-based execution semantics, the at least a portion of the executable block diagram
including a plurality of interconnected message-based blocks, where the message-based blocks send and receive messages, the messages
including payloads that remain fixed while the messages travel between respective pairs of the interconnected message-based blocks, andpersisting for determined execution time intervals, the determined execution time intervals, during which the messages persist, being defined time periods occurring within a simulation time of the executable block diagram that starts with an execution start time and ends with an execution stop time of the executable block diagram; adding an observer block to the executable block diagram, the observer block configured to observe one or more of the messages generated by the message-based blocks; and displaying, on a display by a processor coupled to the memory, information associated with the one or more messages observed by the observer block.