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

1. 发明授权

US08627272B1 Traceability in a modeling environment 有权
公开(公告)号：US08627272B1
公开(公告)日：2014-01-07
申请号：US11880620
申请日：2007-07-23
申请人： 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.

2. 发明申请

US20120096430A1 TRACEABILITY IN A MODELING ENVIRONMENT 有权
公开(公告)号：US20120096430A1
公开(公告)日：2012-04-19
申请号：US13335546
申请日：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. 发明授权

US08972931B1 Contextual verification of generated code 有权
标题翻译：生成代码的上下文验证
公开(公告)号：US08972931B1
公开(公告)日：2015-03-03
申请号：US13285845
申请日：2011-10-31
申请人： Aravind Pillarisetti
发明人： Aravind Pillarisetti
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/35 , G06F8/10
摘要： Functional testing of computer programming code generated from an executable graphical model is performed. The model may include a plurality of graphical objects. The generated code may be stand-alone code, and may include a plurality of functions. A designation of one of the graphical objects may be received. The designated object has input/output defined graphically in the model. Meta-data mapping the designated object to one or more functions of the generated code may be created. The meta-data may also map the graphically defined input/output for the designated object to function input/output of the one or more functions of the generated code. A function interface may be generated using the meta-data that includes a call to the one or more functions, and the function input/output. During execution of the model, execution of the designated object is by-passed and the function interface and the portion of the generated code are executed.
摘要翻译：执行从可执行图形模型生成的计算机程序代码的功能测试。该模型可以包括多个图形对象。生成的代码可以是独立代码，并且可以包括多个功能。可以接收一个图形对象的指定。指定对象在模型中以图形方式定义输入/输出。可以创建将指定对象映射到生成代码的一个或多个功能的元数据。元数据还可以将用于指定对象的图形定义的输入/输出映射到生成代码的一个或多个功能的功能输入/输出。可以使用包括对一个或多个功能的调用的元数据和功能输入/输出来生成功能接口。在模型执行期间，指定对象的执行被旁路，并且执行功能接口和生成代码的部分。

4. 发明授权

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

5. 发明授权

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

6. 发明授权

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

7. 发明申请

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

8. 发明授权

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.
摘要翻译：一种包括可执行指令的计算机可读介质，其被执行时执行执行用于使用可执行约束文档来验证生成的代码中的优化的方法。介质可以包括用于在码生成期间将假设与优化相关联的指令。介质可以包括用于在代码生成期间生成可执行约束文档的指令，可执行约束文档包括关于相关的信息; 并且所述介质可以包括当执行所述验证时执行所述约束文档的指令，所述验证包括基于由所述验证产生的验证结果执行操作，其中所述操作包括向所述用户显示所述验证结果，存储所述验证结果，将验证结果发送到目的地，或修改生成的代码。

9. 发明授权

US08667470B2 Traceability in a modeling environment 有权
公开(公告)号：US08667470B2
公开(公告)日：2014-03-04
申请号：US13335485
申请日：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.

10. 发明授权

US08627276B2 Traceability in a modeling environment 有权
公开(公告)号：US08627276B2
公开(公告)日：2014-01-07
申请号：US13335546
申请日：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.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式