公开(公告)号：US08812276B2

公开(公告)日：2014-08-19

申请号：US13117936

申请日：2011-05-27

申请人： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

发明人： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

IPC分类号： G06F17/50 ,  G06F11/36

CPC分类号： G06F11/3664 ,  G06F8/10 ,  G06F8/34 ,  G06F11/3608

摘要： A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

摘要翻译： 系统和方法为源模型生成上下文信息。 可以接收在源模型中的感兴趣的一个或多个第一模型元素的识别。 也可以接收对所选择的模型元素的输入的一个或多个约束。 可以指定关于第一模型元件的输出的分析范围。 可以为一个或多个第一模型元素自动导出上下文信息。 上下文信息可以包括在分析范围内包含的一个或多个模型元素，信号或状态，而源模型的执行受到一个或多个约束的限制。 导出的上下文信息可以被提供给输出设备。

公开(公告)号：US08504336B1

公开(公告)日：2013-08-06

申请号：US13163160

申请日：2011-06-17

申请人： Vijay Raghavan ,  Ebrahim Mehran Mestchian

发明人： Vijay Raghavan ,  Ebrahim Mehran Mestchian

IPC分类号： G06G7/48 ,  G06F17/50

CPC分类号： G06F17/50 ,  G06F8/34 ,  G06T11/206

摘要： The illustrative embodiments of this invention are directed to a method, a medium and a system for realizing resettable hierarchically scoped variables in a graphical modeling environment on a computing device. The method includes creating at least one resettable variable in a model within the graphical modeling environment, wherein the resettable variable is hierarchically scoped. The resettable variable is reset to a preset value before or during a subsequent invocation of a part of the model that contains the resettable variable. The graphical modeling environment may be a state diagramming environment or the graphical modeling environment may be a time-based graphical modeling environment.

公开(公告)号：US20110296436A1

公开(公告)日：2011-12-01

申请号：US13117859

申请日：2011-05-27

申请人： Alan J. Moore ,  Ebrahim Mehran Mestchian

发明人： Alan J. Moore ,  Ebrahim Mehran Mestchian

IPC分类号： G06F9/46

CPC分类号： G06F9/546 ,  G06F8/34

摘要： A system and method may generate executable block diagrams in which at least some of the blocks 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 message-based execution engine may control execution of message-based blocks in which a source block may generate a message at a particular point in time, the message may be sent to one or more destination blocks triggering execution of those blocks, and the message may be destroyed on or after a determined time interval. Other execution domains, such as a time-based or state-based execution domain, may be provided, and the system may implement a hybrid execution model. 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 is 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. If not, the verification block may perform one or more predefined actions, such as suspending further execution of the block diagram.

摘要翻译： 系统和方法可以生成可执行框图，其中至少一些块根据基于消息的执行语义运行。 消息可以包括不随时间改变的输入数据有效载荷，并且消息可以在执行框图期间仅持续确定的时间间隔。 基于消息的执行引擎可以控制基于消息的块的执行，其中源块可以在特定时间点生成消息，该消息可以被发送到触发这些块的执行的一个或多个目的地块，并且消息 可能在确定的时间间隔之后或之后销毁。 可以提供其他执行域，例如基于时间或状态的执行域，并且系统可以实现混合执行模型。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互，并确定实际消息是否等同于预期的交互。 如果不是，验证块可以执行一个或多个预定义的动作，诸如挂起框图的进一步执行。

公开(公告)号：US07945886B2

公开(公告)日：2011-05-17

申请号：US11841743

申请日：2007-08-20

申请人： Vijay Raghavan ,  Ebrahim Mehran Mestchian

发明人： Vijay Raghavan ,  Ebrahim Mehran Mestchian

IPC分类号： G06F11/22 ,  G06F17/50

CPC分类号： G06F8/10

摘要： The present invention provides a method a system for facilitating enhanced processing of state diagrams in a state diagram environment. The method may include top-down processing a current state in a state diagram environment; determining whether processing of the current state results in an exception event; and passing the exception event to a superstate that includes the current state when it is determined that the current state results in an exception event. The superstate may be made the current state and it may be determined whether the current state can handle the exception event. When it is determined that the current state cannot handle the exception event, it may be determined whether the current state has a second superstate that includes the current state. An error event may be output from the state diagram environment when it is determined that the current state does not have a second superstate.

摘要翻译： 本发明提供了一种用于在状态图环境中促进状态图的增强处理的系统的方法。 该方法可以包括在状态图环境中自顶向下处理当前状态; 确定当前状态的处理是否导致异常事件; 并且当确定当前状态导致异常事件时，将异常事件传递给包括当前状态的超状态。 可以将超状态设置为当前状态，并且可以确定当前状态是否可以处理异常事件。 当确定当前状态不能处理异常事件时，可以确定当前状态是否具有包括当前状态的第二超状态。 当确定当前状态不具有第二超状态时，可以从状态图环境输出错误事件。

公开(公告)号：US07844943B2

公开(公告)日：2010-11-30

申请号：US11157995

申请日：2005-06-20

申请人： Jay Ryan Torgerson ,  Ebrahim Mehran Mestchian ,  Vijay Raghavan

发明人： Jay Ryan Torgerson ,  Ebrahim Mehran Mestchian ,  Vijay Raghavan

IPC分类号： G06F9/44 ,  G06F9/455

CPC分类号： G06F8/34

摘要： An electronic device with a graphical language environment that includes a method which examines a graphical model to identify textual items having intrinsic executable computational meaning within the graphical model is discussed. The method identifies at least one textual item with intrinsic executable computational meaning. The method further provides an indicator for the at least one identified textual item with intrinsic executable computational meaning in a display of the graphical model. The indicator may be based upon a characteristic of the identified textual item.

摘要翻译： 具有图形语言环境的电子设备包括检查图形模型以识别在图形模型内具有固有可执行计算意义的文本项目的方法。 该方法识别至少一个具有内在可执行计算意义的文本项目。 该方法进一步提供了在图形模型的显示中具有内在可执行计算意义的至少一个识别的文本项的指示符。 指示符可以基于所识别的文本项的特征。

公开(公告)号：US07020850B2

公开(公告)日：2006-03-28

申请号：US09847391

申请日：2001-05-02

申请人： Vijaya Raghavan ,  Ebrahim Mehran Mestchian

发明人： Vijaya Raghavan ,  Ebrahim Mehran Mestchian

IPC分类号： G06F17/50

CPC分类号： G06F8/44 ,  G06F8/34 ,  G06F9/4498

摘要： A computer system receives a description of a finite state machine including a temporal logic condition and generates code for emulating the described finite state machine.