专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US09244510B1 Bug report checks in a modeling system 有权
标题翻译：建模系统中的错误报告检查
公开(公告)号：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.
摘要翻译：方法可以包括将错误报告存储在存储器中，其中特定的一个错误报告描述了软件错误并且包括关于建模应用的信息。该方法还可以包括从另一计算机设备接收与使用建模应用生成的模型相关的错误报告的请求，其中请求包括关于模型的信息; 通过将包含在存储的错误报告中的建模应用程序的信息与收到的请求中包含的模型信息进行比较，在存储的错误报告中识别一个或多个相关的错误报告; 并向其他计算机设备提供关于一个或多个相关错误报告的信息。

2. 发明授权

US08667463B2 Traceability in a modeling environment 有权
标题翻译：建模环境中的可跟踪性
公开(公告)号：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.
摘要翻译：示例性实施例采用彼此相关的实体之间的映射。实体可以包括图形模型，生成的代码，生成的报告，需求文档和/或中间表示。该映射可以促进映射到另一实体的一部分的一个实体的部分之间的图形标识。图形识别可以基于对其中一个实体中的部分的选择来进行。

3. 发明申请

US20120254827A1 VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL 有权
标题翻译：从模型生成的计算机可执行代码的验证
公开(公告)号：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.
摘要翻译：在一个实施例中，将模型切成多个切片。选择多个片中的切片。根据从模型生成的代码来识别对应于所选切片的一部分代码。所识别的代码被验证为等同于所选择的切片。等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。

4. 发明申请

US20080098349A1 Traceability in a modeling environment 有权
标题翻译：建模环境中的可跟踪性
公开(公告)号：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.
摘要翻译：示例性实施例采用彼此相关的实体之间的映射。实体可以包括图形模型，生成的代码，生成的报告，需求文档和/或中间表示。该映射可以促进映射到另一实体的一部分的一个实体的部分之间的图形标识。图形识别可以基于对其中一个实体中的部分的选择来进行。

5. 发明申请

US20070169039A1 Application of optimization techniques to intermediate representations for code generation 有权
标题翻译：将优化技术应用于代码生成的中间表示
公开(公告)号：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.
摘要翻译：本发明提供了一种用于在图形建模环境中优化中间表示的方法和系统。提供了第一个中间表示。至少一种优化技术被应用于第一中间表示。响应于将至少一个优化技术应用于第一中间表示而生成第二中间表示。

6. 发明授权

US08856726B2 Verification of computer-executable code generated from a slice of a model 有权
标题翻译：验证从一个模型片生成的计算机可执行代码
公开(公告)号：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.
摘要翻译：在一个实施例中，将模型切成多个切片。选择多个切片中的切片。根据从模型生成的代码来识别对应于所选切片的一部分代码。所识别的代码被验证为等同于所选择的切片。等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。

7. 发明授权

US08448130B1 Auto-generated code validation 有权
标题翻译：自动生成代码验证
公开(公告)号：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.
摘要翻译：提供了一种用于生成包括用于验证生成的代码的信息的可执行文档的技术。该技术可以包括将假设映射到生成的代码的一部分，该部分包含与实现该假设相关的功能代码，该映射允许至少该部分相对于该假设被验证。该技术可以包括生成可执行文档，其中可执行文档包括映射，并且其中生成的文档验证所生成的代码的至少一部分，其中验证所生成的代码的至少一部分验证生成的代码。

8. 发明授权

US08260598B2 Size vector sharing in code generated for variable-sized signals 有权
标题翻译：为可变大小的信号生成的代码中的尺寸向量共享
公开(公告)号：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.
摘要翻译：提出了一种生成代码以表示由多个图形建模组件和至少一个可变大小的信号形成的图形模型的方法和装置。每个可变大小的信号使用生成的代码中的大小向量来表示。生成的代码通过表示具有相同大小向量的多个可变大小的信号而被优化，使得至少两个可变大小的信号在生成的代码中共享一个大小向量。可变尺寸信号的大小在图形模型的执行过程中能够改变。该方法和装置还识别可变大小信号的所有者。

9. 发明授权

US08015543B1 Hardware specific code generation 有权
标题翻译：硬件特定代码生成
公开(公告)号：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.
摘要翻译：用于基于图形模型生成代码的计算机实现的方法可以包括：将所述图形模型转换成图形模型代码，所述图形模型代码包括第一图形模型代码功能; 在硬件特定库中执行对第一图形模型代码功能的查找，硬件特定库包括图形模型代码功能和硬件特定功能之间的多个关系，其中第一图形模型代码功能是图形模型代码功能之一 ; 基于查找获得匹配的硬件特定功能，其中匹配的硬件特定功能是来自硬件特定库的硬件特定功能之一; 并基于匹配的硬件特定功能修改图形模型代码。

10. 发明申请

US20090007064A1 Size vector sharing in code generated for variable-sized signals 有权
标题翻译：为可变大小的信号生成的代码中的尺寸向量共享
公开(公告)号：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.
摘要翻译：提出了一种生成代码以表示由多个图形建模组件和至少一个可变大小的信号形成的图形模型的方法和装置。每个可变大小的信号使用生成的代码中的大小向量来表示。生成的代码通过表示具有相同大小向量的多个可变大小的信号而被优化，使得至少两个可变大小的信号在生成的代码中共享一个大小向量。可变尺寸信号的大小在图形模型的执行过程中能够改变。该方法和装置还识别可变大小信号的所有者。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式