Patent ID: 8798971

Claim:
A computer-implemented method, comprising: accessing, using a processor of a computer, a statechart, wherein the statechart: is in a block diagram model of a system, models a finite state machine, and includes an action language: graphically defining a truth table graphical function in the statechart in the block diagram model of the system, the graphically defining comprising: generating a visual representation of the truth table graphical function in the statechart, generating a truth table in the statechart, the truth table implementing one or more logical decisions in a textual truth table form, receiving a selection of the visual representation of the truth table graphical function, opening an editor in response to the receiving of the selection of the visual representation, defining the one or more logical decisions implemented by the truth table using the editor, the defining comprising: adding a condition to the truth table using the editor, the condition specifying at least one evaluatable parameter, adding a decision set to the truth table using the editor, the decision set comprising: an evaluation of the at least one evaluatable parameter specified in the condition, and adding an action to the truth table using the editor, the action: identifying a command to be executed based on the evaluation of the at least one evaluatable parameter, and being written in the action language of the statechart; and simulating the statechart and the block diagram model, the simulating comprising: invoking the truth table graphical function in the statechart, executing the truth table graphical function based on the invoking, evaluating the truth table with the truth table graphical function by performing the evaluation of the at least one evaluatable parameter to generate a decision result, comparing the decision result to the decision set, determining whether the decision result matches the decision set based on the comparing, and performing the action when the decision result matches the decision set.