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

1. 发明授权

US08869103B2 Using intermediate representations to verify computer-executable code generated from a model 有权
标题翻译：使用中间表示法来验证从模型生成的计算机可执行代码
公开(公告)号：US08869103B2
公开(公告)日：2014-10-21
申请号：US13250577
申请日：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分类号： G06F11/3604 , G06F8/35
摘要： 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.
摘要翻译：在一个实施例中，将模型切成多个切片。选择多个切片中的切片。根据从模型生成的代码来识别对应于所选切片的一部分代码。所识别的代码被验证为等同于所选择的切片。等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。

2. 发明授权

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

3. 发明授权

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

4. 发明授权

US08713528B1 Verification of computer-executable code generated from a model 有权
标题翻译：从模型生成的计算机可执行代码的验证
公开(公告)号：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）以及生成的代码或生成的代码的中间表示。代码验证工具可以创建模型和/或生成的代码的进一步的中间表示，以便比较两者中呈现的功能。

5. 发明授权

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

6. 发明授权

US08689194B1 Optimization identification 有权
标题翻译：优化识别
公开(公告)号：US08689194B1
公开(公告)日：2014-04-01
申请号：US11894388
申请日：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/45
CPC分类号： G06F8/30 , G06F8/35 , G06F8/41 , G06F9/45516 , G06F11/362 , G06F11/3664 , G06F11/3676
摘要： A computer readable medium including executable instructions that when executed perform a method for validating an optimization in generated code using an executable constraints document is provided. The medium can include instructions for relating an assumption to the optimization during code generation. The medium can include instructions for generating the executable constraints document during the code generation, the executable constraints document including information about the relating; and the medium can include instructions for executing the constraints document when the validating is performed, the validating including performing an operation based on a validation result produced by the validating, where the operation includes displaying the validation result to a user, storing the validation result, sending the validation result to a destination, or modifying the 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. 发明授权

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

9. 发明申请

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

10. 发明授权

US08280712B2 Simplified data signal support for diagramming environment languages 有权
标题翻译：简化的数据信号支持图表环境语言
公开(公告)号：US08280712B2
公开(公告)日：2012-10-02
申请号：US12771359
申请日：2010-04-30
申请人： Peter Szpak , Matthew Englehart
发明人： Peter Szpak , Matthew Englehart
IPC分类号： G06F17/50 , G06G7/62 , G06G7/48
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.
摘要翻译：计算机实现的方法可以包括通过将输入总线信号与第一组信号相关联来定义图形框图模型中的输入总线信号，第一组信号中的至少两个具有不同的数据类型; 通过将所述第二总线信号与第二组信号相关联来在所述图形框图模型中定义输出总线信号，所述第二组信号中的每一个对应于所述第一组信号之一; 将图形框图模型中的非虚拟操作块的输入定义为输入总线信号; 将图形框图中的非虚拟操作块的输出定义为输出总线信号; 以及模拟通过所述非虚拟操作块对所述输入总线信号执行的操作，对所述第一组信号中的每一个执行所述操作并输出到所述第二组信号中的每一个。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式