公开(公告)号：US08713528B1

公开(公告)日：2014-04-29

申请号：US12559233

申请日：2009-09-14

申请人： Mirko Conrad ,  Joel David Thornton ,  Peter Szpak ,  Xiaocang Lin

发明人： Mirko Conrad ,  Joel David Thornton ,  Peter Szpak ,  Xiaocang Lin

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

CPC分类号： G06F11/3608 ,  G06F8/35 ,  G06F11/3604

摘要： A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.

摘要翻译： 代码验证工具验证从模型生成的代码是否表示模型的所有功能，并且不包含任何非预期的功能。 代码验证工具可以接收用于检查模型的模型或中间表示（IR）以及生成的代码或生成的代码的中间表示。 代码验证工具可以创建模型和/或生成的代码的进一步的中间表示，以便比较两者中呈现的功能。

公开(公告)号：US08578347B1

公开(公告)日：2013-11-05

申请号：US11646848

申请日：2006-12-28

申请人： James Carrick ,  Peter Szpak

发明人： James Carrick ,  Peter Szpak

IPC分类号： G06F9/44

CPC分类号： G06F11/3447 ,  G06F8/35 ,  G06F8/75 ,  G06F11/3409 ,  G06F11/362 ,  G06F2201/865

摘要： In one embodiment, a method of determining stack usage of at least a portion of a model for deployment on a target system is provided. The method may include obtaining information describing a first target system, and using the information to estimate a stack usage related to executing a representation of a component of the model on the first target system.

摘要翻译： 在一个实施例中，提供了确定用于在目标系统上部署的模型的至少一部分的堆叠使用的方法。 该方法可以包括获得描述第一目标系统的信息，并且使用该信息来估计与在第一目标系统上执行模型的部件的表示相关的堆栈使用。

公开(公告)号：US08458655B1

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

申请号：US12276974

申请日：2008-11-24

申请人： Darel Allen Linebarger ,  Matthew Englehart ,  Peter Szpak

发明人： Darel Allen Linebarger ,  Matthew Englehart ,  Peter Szpak

IPC分类号： G06F9/44

CPC分类号： G06F17/5009 ,  G06F8/31 ,  G06F9/542 ,  G06F2209/543 ,  G06F2217/74

摘要： In an embodiment, one or more computer readable media are provided. The media store executable instructions that when executed by processing logic implicitly change the value of a state in a graphical model while the model executes. The media store one or more instructions for identifying a context that includes a first block having a state and for executing the context when the state has a first value, the executing storing an intermediate result. The media store one or more instructions for changing, implicitly, the state from the first value to a second value based on a user input, where the changing occurs while the context is executing, or while the context is paused. The media store one or more instructions for executing the context when the state has the second value.

摘要翻译： 在一个实施例中，提供一个或多个计算机可读介质。 媒体存储执行指令，当处理逻辑执行时，模型执行时会隐式更改图形模型中状态的值。 媒体存储用于识别包括具有状态的第一块和用于在状态具有第一值时执行上下文的上下文的一个或多个指令，执行存储中间结果。 媒体存储一个或多个指令，用于基于用户输入将隐含状态从第一值更改为第二值，其中在上下文正在执行时发生改变，或者在上下文暂停时。 当状态具有第二值时，媒体存储用于执行上下文的一个或多个指令。

公开(公告)号：US08181150B2

公开(公告)日：2012-05-15

申请号：US11432939

申请日：2006-05-12

申请人： Peter Szpak ,  Paulo Pacheco ,  Christian Robl ,  Martin Orehek

发明人： Peter Szpak ,  Paulo Pacheco ,  Christian Robl ,  Martin Orehek

IPC分类号： G06F9/44

CPC分类号： G06Q10/10 ,  G06F8/10 ,  G06F8/34 ,  G06F9/451 ,  G06Q10/06

摘要： A workflow manager that offers structure and control over the graphical modeling environment so that the graphical modeling environment is reconfigured in a manner appropriate for a particular workflow is disclosed. The workflow manager of the present invention provides hierarchical task management that is synchronized to the graphical modeling environment. The workflow manager also allows a model designer to navigate a series of steps required to achieve the goal of a particular workflow. An API allows the steps to be customized as required by the end user.

摘要翻译： 公开了一种工作流管理器，其提供对图形建模环境的结构和控制，使得图形建模环境以适合于特定工作流的方式被重新配置。 本发明的工作流管理器提供与图形建模环境同步的分级任务管理。 工作流程管理器还允许模型设计者浏览实现特定工作流目标所需的一系列步骤。 API允许根据最终用户的要求定制步骤。

公开(公告)号：US20120005650A1

公开(公告)日：2012-01-05

申请号：US13220080

申请日：2011-08-29

申请人： JAMES E. CARRICK ,  Peter Szpak ,  Robert O. Aberg ,  Andrew C. Bartlett ,  Xiaocang Lin ,  Hongbo Yang

发明人： JAMES E. CARRICK ,  Peter Szpak ,  Robert O. Aberg ,  Andrew C. Bartlett ,  Xiaocang Lin ,  Hongbo Yang

IPC分类号： G06F9/44

CPC分类号： G06F8/34 ,  G06F8/35 ,  G06F8/37 ,  G06F8/38

摘要： A computer-implemented method for generating code based on a graphical model may include: translating the graphical model into a graphical model code, the graphical model code including a first graphical model code function; performing a lookup of the first graphical model code function in a hardware specific library, the hardware specific library comprising a plurality of relationships between graphical model code functions and hardware specific functions, where the first graphical model code function is one of the graphical model code functions; obtaining a matched hardware specific function based on the lookup, wherein the matched hardware specific function is one of the hardware specific functions from the hardware specific library; and modifying the graphical model code based on the matched hardware specific function.

摘要翻译： 用于基于图形模型生成代码的计算机实现的方法可以包括：将所述图形模型转换成图形模型代码，所述图形模型代码包括第一图形模型代码功能; 在硬件特定库中执行对第一图形模型代码功能的查找，硬件特定库包括图形模型代码功能和硬件特定功能之间的多个关系，其中第一图形模型代码功能是图形模型代码功能之一 ; 基于查找获得匹配的硬件特定功能，其中匹配的硬件特定功能是来自硬件特定库的硬件特定功能之一; 并基于匹配的硬件特定功能修改图形模型代码。

公开(公告)号：US07761273B2

公开(公告)日：2010-07-20

申请号：US11841892

申请日：2007-08-20

申请人： Peter Szpak ,  Matthew Englehart

发明人： Peter Szpak ,  Matthew Englehart

IPC分类号： G06F17/50

CPC分类号： G06F17/5009 ,  G06F2217/74

摘要： A computer-implemented method may include defining an input bus signal in a graphical block diagram model by associating the input bus signal with a first group of signals, at least two of the first group of signals having a different data type; defining an output bus signal in the graphical block diagram model by associating the second bus signal with a second group of signals, each of the second group of signals corresponding to one of the first group of signals; defining an input to a non-virtual operation block in the graphical block diagram model as the input bus signal; defining an output to the non-virtual operation block in the graphical block diagram as the output bus signal; and simulating an operation performed on the input bus signal by the non-virtual operation block, the operation being performed on each of the first group of signals and output to each of the second group of signals.

摘要翻译： 计算机实现的方法可以包括通过将输入总线信号与第一组信号相关联来定义图形框图模型中的输入总线信号，第一组信号中的至少两个具有不同的数据类型; 通过将所述第二总线信号与第二组信号相关联来在所述图形框图模型中定义输出总线信号，所述第二组信号中的每一个对应于所述第一组信号之一; 将图形框图模型中的非虚拟操作块的输入定义为输入总线信号; 将图形框图中的非虚拟操作块的输出定义为输出总线信号; 以及模拟通过所述非虚拟操作块对所述输入总线信号执行的操作，对所述第一组信号中的每一个执行所述操作并输出到所述第二组信号中的每一个。

公开(公告)号：US20090007063A1

公开(公告)日：2009-01-01

申请号：US11841808

申请日：2007-08-20

申请人： Peter Szpak ,  Paulo Pacheco ,  Christian Robl ,  Martin Orehek

发明人： Peter Szpak ,  Paulo Pacheco ,  Christian Robl ,  Martin Orehek

IPC分类号： G06F9/44

CPC分类号： G06Q10/10 ,  G06F8/10 ,  G06F8/34 ,  G06F9/451 ,  G06Q10/06

摘要： A system may identify a workflow associated with a graphical model and execute the workflow in a number of stages. The system may display a number of components of the graphical model and identify which of the displayed components are associated with or affected by execution of a current one of the stages of the workflow.

摘要翻译： 系统可以识别与图形模型相关联的工作流并且在多个阶段中执行工作流程。 系统可以显示图形模型的多个组件，并且识别哪个显示的组件与执行工作流的当前阶段相关联或受其影响。

公开(公告)号：US20070266368A1

公开(公告)日：2007-11-15

申请号：US11432939

申请日：2006-05-12

申请人： Peter Szpak ,  Paulo Pacheco ,  Christian Robl ,  Martin Orehek

发明人： Peter Szpak ,  Paulo Pacheco ,  Christian Robl ,  Martin Orehek

IPC分类号： G06F9/44

CPC分类号： G06Q10/10 ,  G06F8/10 ,  G06F8/34 ,  G06F9/451 ,  G06Q10/06

摘要： A workflow manager that offers structure and control over the graphical modeling environment so that the graphical modeling environment is reconfigured in a manner appropriate for a particular workflow is disclosed. The workflow manager of the present invention provides hierarchical task management that is synchronized to the graphical modeling environment. The workflow manager also allows a model designer to navigate a series of steps required to achieve the goal of a particular workflow. An API allows the steps to be customized as required by the end user.

摘要翻译： 公开了一种工作流管理器，其提供对图形建模环境的结构和控制，使得图形建模环境以适合于特定工作流的方式被重新配置。 本发明的工作流管理器提供与图形建模环境同步的分级任务管理。 工作流程管理器还允许模型设计者浏览实现特定工作流目标所需的一系列步骤。 API允许根据最终用户的要求定制步骤。

公开(公告)号：US20060136863A1

公开(公告)日：2006-06-22

申请号：US11015851

申请日：2004-12-16

申请人： Peter Szpak

发明人： Peter Szpak

IPC分类号： G06F9/44

CPC分类号： G06F8/34

摘要： Graphical programming or modeling environments in which a coding standard can be applied to graphical programs or models are disclosed. The present invention provides mechanisms for applying the coding standard to graphical programs/models in the graphical programming/modeling environments. The mechanisms may detect violations of the coding standard in the graphical model and report such violations to the users. The mechanisms may automatically correct the graphical model to remove the violations from the graphical model. The mechanisms may also automatically avoid the violations in the simulation and/or code generation of the graphical model.

公开(公告)号：US20050160397A1

公开(公告)日：2005-07-21

申请号：US10759346

申请日：2004-01-15

申请人： Peter Szpak ,  Matthew Englehart

发明人： Peter Szpak ,  Matthew Englehart

IPC分类号： G06F9/44 ,  G06F9/46 ,  G06F17/50

CPC分类号： G06F17/5009 ,  G06F8/31 ,  G06F9/542 ,  G06F2209/543 ,  G06F2217/74

摘要： A method of specifying and configuring a causal relationship between the dynamics of a graphical model and the execution of components of the model is disclosed. Model component execution is tied to the occurrence of model events. Model events are first defined in the modeling environment. The occurrence of conditions in the model specified in the definition of the event causes the event to be “posted”. Model components that have been associated with the occurrence of the event “receive” the notice of the posting of the event and then execute. Random components within a subsystem may be designated to execute upon the occurrence of an event, as may non-contiguous components within a model. The association between model events and component execution may be specified without drawing graphical indicators connecting components in the view of the model.

摘要翻译： 公开了一种指定和配置图形模型的动力学和模型的部件的执行之间的因果关系的方法。 模型组件执行与模型事件的发生有关。 模型事件首先在建模环境中定义。 在事件定义中指定的模型中的条件的发生导致事件“发布”。 与事件发生相关联的模型组件“接收”事件发布的通知，然后执行。 可以指定子系统内的随机组件在事件发生时执行，如模型中的不连续组件。 可以指定模型事件和组件执行之间的关联，而无需绘制在模型视图中连接组件的图形指示器。