公开(公告)号：US09244510B1

公开(公告)日：2016-01-26

申请号：US13242936

申请日：2011-09-23

申请人： Mirko Conrad ,  Peter Szpak ,  Thomas Joseph Erkkinen ,  Xiaocang Lin ,  David William Hoadley

发明人： Mirko Conrad ,  Peter Szpak ,  Thomas Joseph Erkkinen ,  Xiaocang Lin ,  David William Hoadley

IPC分类号： G06F9/44 ,  G06F1/30 ,  G06F11/07

CPC分类号： G06F11/30 ,  G06F11/0706 ,  G06F11/0766 ,  G06F11/0781

摘要： A method may include storing bug reports in a memory, where a particular one of the bug reports describes a software bug and includes information about a modeling application. The method may further include receiving, from another computer device, a request for bug reports relevant to a model generated using the modeling application, where the request includes information about the model; identifying one or more relevant bug reports, in the stored bug reports, by comparing the information about the modeling application, included in the stored bug reports, with the information about the model, included in the received request; and providing information about the one or more relevant bug reports to the other computer device.

摘要翻译： 方法可以包括将错误报告存储在存储器中，其中特定的一个错误报告描述了软件错误并且包括关于建模应用的信息。 该方法还可以包括从另一计算机设备接收与使用建模应用生成的模型相关的错误报告的请求，其中请求包括关于模型的信息; 通过将包含在存储的错误报告中的建模应用程序的信息与收到的请求中包含的模型信息进行比较，在存储的错误报告中识别一个或多个相关的错误报告; 并向其他计算机设备提供关于一个或多个相关错误报告的信息。

公开(公告)号：US08667463B2

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

申请号：US13335556

申请日：2011-12-22

申请人： Xiaocang Lin ,  Aravind Pillarisetti ,  William J Aldrich ,  Kai Tuschner

发明人： Xiaocang Lin ,  Aravind Pillarisetti ,  William J Aldrich ,  Kai Tuschner

IPC分类号： G06F9/44

CPC分类号： G06F8/34 ,  G06F8/10 ,  G06F8/35 ,  G06F8/355 ,  G06F8/73 ,  G06F11/3664 ,  G06F11/3688 ,  G06F11/3696 ,  G06F17/2241 ,  G06F17/2264

摘要： Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.

摘要翻译： 示例性实施例采用彼此相关的实体之间的映射。 实体可以包括图形模型，生成的代码，生成的报告，需求文档和/或中间表示。 该映射可以促进映射到另一实体的一部分的一个实体的部分之间的图形标识。 图形识别可以基于对其中一个实体中的部分的选择来进行。

公开(公告)号：US20120254827A1

公开(公告)日：2012-10-04

申请号：US13250590

申请日：2011-09-30

申请人： Mirko CONRAD ,  Xiaocang LIN ,  Jun YAN ,  Peter SZPAK ,  Appa Rao NIRAKH ,  Jaya SHANKAR

发明人： Mirko CONRAD ,  Xiaocang LIN ,  Jun YAN ,  Peter SZPAK ,  Appa Rao NIRAKH ,  Jaya SHANKAR

IPC分类号： G06F9/44

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

摘要： In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.

摘要翻译： 在一个实施例中，将模型切成多个切片。 选择多个片中的切片。 根据从模型生成的代码来识别对应于所选切片的一部分代码。 所识别的代码被验证为等同于所选择的切片。 等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。

公开(公告)号：US20080098349A1

公开(公告)日：2008-04-24

申请号：US11605747

申请日：2006-11-29

申请人： Xiaocang Lin ,  Aravind Pillarisetti ,  William Aldrich ,  Kai Tuschner

发明人： Xiaocang Lin ,  Aravind Pillarisetti ,  William Aldrich ,  Kai Tuschner

IPC分类号： G06F9/44

CPC分类号： G06F8/34 ,  G06F8/10 ,  G06F8/35 ,  G06F8/355 ,  G06F8/73 ,  G06F11/3664 ,  G06F11/3688 ,  G06F11/3696 ,  G06F17/2241 ,  G06F17/2264

摘要： Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.

摘要翻译： 示例性实施例采用彼此相关的实体之间的映射。 实体可以包括图形模型，生成的代码，生成的报告，需求文档和/或中间表示。 该映射可以促进映射到另一实体的一部分的一个实体的部分之间的图形标识。 图形识别可以基于对其中一个实体中的部分的选择来进行。

公开(公告)号：US20070169039A1

公开(公告)日：2007-07-19

申请号：US11283343

申请日：2005-11-17

申请人： Xiaocang Lin

发明人： Xiaocang Lin

IPC分类号： G06F9/45

CPC分类号： G06F8/34 ,  G06F8/35 ,  G06F8/443

摘要： The present invention provides a method and system for optimization of an intermediate representation in a graphical modeling environment. A first intermediate representation is provided. At least one optimization technique is applied to the first intermediate representation. A second intermediate representation is generated responsive to the application of the at least one optimization technique to the first intermediate representation.

摘要翻译： 本发明提供了一种用于在图形建模环境中优化中间表示的方法和系统。 提供了第一个中间表示。 至少一种优化技术被应用于第一中间表示。 响应于将至少一个优化技术应用于第一中间表示而生成第二中间表示。

公开(公告)号：US08856726B2

公开(公告)日：2014-10-07

申请号：US13250590

申请日：2011-09-30

申请人： Mirko Conrad ,  Xiaocang Lin ,  Jun Yan ,  Peter Szpak ,  Appa Rao Nirakh ,  Jaya Shankar

发明人： Mirko Conrad ,  Xiaocang Lin ,  Jun Yan ,  Peter Szpak ,  Appa Rao Nirakh ,  Jaya Shankar

IPC分类号： G06F9/44

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

摘要： In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.

摘要翻译： 在一个实施例中，将模型切成多个切片。 选择多个切片中的切片。 根据从模型生成的代码来识别对应于所选切片的一部分代码。 所识别的代码被验证为等同于所选择的切片。 等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。

公开(公告)号：US08448130B1

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

申请号：US11894391

申请日：2007-08-20

申请人： Aravind Pillarisetti ,  Peter Szpak ,  Jesung Kim ,  Xiaocang Lin ,  Pieter J. Mosterman

发明人： Aravind Pillarisetti ,  Peter Szpak ,  Jesung Kim ,  Xiaocang Lin ,  Pieter J. Mosterman

IPC分类号： G06F9/44

CPC分类号： G06F8/447

摘要： A technique for generating an executable document that includes information for validating generated code is provided. The technique can include mapping an assumption to a portion of generated code, the portion containing functional code that is related to implementing the assumption, the mapping allowing at least the portion to be validated with respect to the assumption. The technique can include generating the executable document, where the executable document includes the mapping, and where the generated document validates the at least the portion of the generated code, where validating the at least the portion of the generated code validates the generated code.

摘要翻译： 提供了一种用于生成包括用于验证生成的代码的信息的可执行文档的技术。 该技术可以包括将假设映射到生成的代码的一部分，该部分包含与实现该假设相关的功能代码，该映射允许至少该部分相对于该假设被验证。 该技术可以包括生成可执行文档，其中可执行文档包括映射，并且其中生成的文档验证所生成的代码的至少一部分，其中验证所生成的代码的至少一部分验证生成的代码。

公开(公告)号：US08260598B2

公开(公告)日：2012-09-04

申请号：US11652955

申请日：2007-01-11

申请人： Hongbo Yang ,  Xiaocang Lin ,  Haihua Feng

发明人： Hongbo Yang ,  Xiaocang Lin ,  Haihua Feng

IPC分类号： G06F17/50 ,  G06F9/44 ,  G06F9/45 ,  G06G7/62

CPC分类号： G06F8/34

摘要： A method and apparatus to generate code to represent a graphical model formed of multiple graphical modeling components and at least one variable-sized signal is presented. Each variable-sized signal is represented using a size-vector in the generated code. The generated code is optimized by representing multiple variable-sized signals with the same size-vector such that at least two variable-sized signals share a size-vector in the generated code. The size of the variable-sized signal is capable of changing during the execution of the graphical model. The method and apparatus also identifies the owners of the variable-sized signals.

摘要翻译： 提出了一种生成代码以表示由多个图形建模组件和至少一个可变大小的信号形成的图形模型的方法和装置。 每个可变大小的信号使用生成的代码中的大小向量来表示。 生成的代码通过表示具有相同大小向量的多个可变大小的信号而被优化，使得至少两个可变大小的信号在生成的代码中共享一个大小向量。 可变尺寸信号的大小在图形模型的执行过程中能够改变。 该方法和装置还识别可变大小信号的所有者。

公开(公告)号：US08015543B1

公开(公告)日：2011-09-06

申请号：US11651623

申请日：2007-01-10

申请人： 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.

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

公开(公告)号：US20090007064A1

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

申请号：US11652955

申请日：2007-01-11

申请人： Hongbo Yang ,  Xiaocang Lin ,  Haihua Feng

发明人： Hongbo Yang ,  Xiaocang Lin ,  Haihua Feng

IPC分类号： G06F9/44

CPC分类号： G06F8/34

摘要： A method and apparatus to generate code to represent a graphical model formed of multiple graphical modeling components and at least one variable-sized signal is presented. Each variable-sized signal is represented using a size-vector in the generated code. The generated code is optimized by representing multiple variable-sized signals with the same size-vector such that at least two variable-sized signals share a size-vector in the generated code. The size of the variable-sized signal is capable of changing during the execution of the graphical model. The method and apparatus also identifies the owners of the variable-sized signals.

摘要翻译： 提出了一种生成代码以表示由多个图形建模组件和至少一个可变大小的信号形成的图形模型的方法和装置。 每个可变大小的信号使用生成的代码中的大小向量来表示。 生成的代码通过表示具有相同大小向量的多个可变大小的信号而被优化，使得至少两个可变大小的信号在生成的代码中共享一个大小向量。 可变尺寸信号的大小在图形模型的执行过程中能够改变。 该方法和装置还识别可变大小信号的所有者。