Active state visualization for finite state machine models

摘要

A device receives information that identifies a model, of a finite state machine, that includes information that identifies a parent state and sub-states of the parent state. The device generates a data structure that designates an enumerated data type associated with the parent state, where the enumerated data type includes values corresponding to the sub-states. The device executes the model, based on the data structure, and monitors operation of the finite state machine and state transitions among some of the sub-states. The device detects, based on the state transitions, a change in an active sub-state that represents a particular sub-state, of the sub-states, that is active at a particular time during execution of the model. The device provides state transition information that identifies changes in the active sub-state over time.

主权项

1. A device, comprising:
one or more processors to:
receive information that identifies a model of a finite state machine,
the model including information that identifies a parent state and a plurality of sub-states of the parent state;generate a data structure that designates an enumerated data type associated with the parent state,
the enumerated data type including an ordered list of a plurality of values corresponding to an order associated with the plurality of sub-states,
the order associated with the plurality of sub-states being based on at least one of: a particular order in which the plurality of sub-states become active during execution of the model, information specifying the order associated with the plurality of sub-states, or durations of time that the plurality of sub-states are active during execution of the model;execute the model based on the data structure;monitor operation of the finite state machine and one or more state transitions among at least some of the plurality of sub-states, based on executing the model;detect, based on the one or more state transitions, a change in an active sub-state that represents a particular sub-state, of the plurality of sub-states, that is active at a particular time during execution of the model; andprovide, based on detecting the change, state transition information that identifies a plurality of changes in the active sub-state,
the plurality of changes including the change.