发明名称 System and method for using a truth table graphical function in a statechart
摘要 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.
申请公布号 US8798971(B2) 申请公布日期 2014.08.05
申请号 US200210268541 申请日期 2002.10.10
申请人 The MathWorks, Inc. 发明人 Aberg Robert O.;Raghavan Vijaya;Ren Yao
分类号 G06G7/48;G06F9/45;G06F9/44;G06F17/50 主分类号 G06G7/48
代理机构 Cesari and McKenna, LLP 代理人 Cesari and McKenna, LLP ;Reinemann Michael R.
主权项 1. 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, andincludes 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, andadding 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, andbeing 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, andperforming the action when the decision result matches the decision set.
地址 Natick MA US