Back to results
US 8,798,971 B2Granted
System and method for using a truth table graphical function in a statechart
AssigneeThe MathWorks, Inc.
InventorsRobert O. Aberg, Vijaya Raghavan, Yao Ren
Life of this patent
Estimating the term…
Abstract
A method of specifying a truth table includes generating a block diagram model, generating a statechart in the block diagram model, selecting a truth table graphical function in the statechart, and applying a set of graphical semantics for logic specification to the truth table graphical function combined with textual language predicates and actions.
Claims10
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.
21 more elements
A non-transitory storage medium storing computer-executable instructions, the instructions comprising:
- one or more instructions that, when executed by a processor, cause the processor to:
- accessing, using the processor, a statechart in a block diagram model of a system, wherein the statechart models a finite state machine;
- graphically defining a truth table graphical function in the statechart, 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 an 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 so that the truth table graphical function executes,
- 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 to determine if the decision result matches the decision set, and
- performing the action when the decision result matches the decision set.
16 more elements
A computer system, comprising:
- a processor configured to:
- access a statechart in a block diagram model of a system, wherein the statechart models a finite state machine;
- graphically define a truth table graphical function in the statechart, 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 an action language of the statechart;
- and
- simulate the statechart and the block diagram model, the simulating comprising:
- invoking the truth table graphical function in the statechart so that the truth table graphical function executes,
- 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 to determine if the decision result matches the decision set, and
- performing the action when the decision result matches the decision set.
16 more elements
Dependencies are inferred from the claim text.