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

1. 发明申请

US20120210173A1 ERROR PROPAGATION IN A SYSTEM MODEL 有权
标题翻译：系统模型中的错误传播
公开(公告)号：US20120210173A1
公开(公告)日：2012-08-16
申请号：US13167983
申请日：2011-06-24
申请人： Kirk Schloegel , Devesh Bhatt , David V. Oglesby , Gabor Madl
发明人： Kirk Schloegel , Devesh Bhatt , David V. Oglesby , Gabor Madl
IPC分类号： G06F11/07
CPC分类号： G06F11/3608 , G06F17/504
摘要： Embodiments of the present subject matter can enable the analysis of signal value errors for system models. In an example, signal value errors can be propagated through the functional blocks of a system model to analyze possible effects as the signal value errors impact incident functional blocks. This propagation of the errors can be applicable to many models of computation including avionics models, synchronous data flow, and Kahn process networks.
摘要翻译：本主题的实施例可以使得能够分析系统模型的信号值误差。在一个例子中，信号值误差可以通过系统模型的功能块传播，以便在信号值误差影响入射功能块时分析可能的影响。这种错误的传播可以适用于许多计算模型，包括航空电子模型，同步数据流和卡恩过程网络。

2. 发明授权

US08984343B2 Error propagation in a system model 有权
标题翻译：系统模型中的错误传播
公开(公告)号：US08984343B2
公开(公告)日：2015-03-17
申请号：US13167983
申请日：2011-06-24
申请人： Kirk Schloegel , Devesh Bhatt , David V. Oglesby , Gabor Madl
发明人： Kirk Schloegel , Devesh Bhatt , David V. Oglesby , Gabor Madl
IPC分类号： G06F11/00 , G06F11/36
CPC分类号： G06F11/3608 , G06F17/504
摘要： Embodiments of the present subject matter can enable the analysis of signal value errors for system models. In an example, signal value errors can be propagated through the functional blocks of a system model to analyze possible effects as the signal value errors impact incident functional blocks. This propagation of the errors can be applicable to many models of computation including avionics models, synchronous data flow, and Kahn process networks.
摘要翻译：本主题的实施例可以使得能够分析系统模型的信号值误差。在一个例子中，信号值误差可以通过系统模型的功能块传播，以便在信号值误差影响入射功能块时分析可能的影响。这种错误的传播可以适用于许多计算模型，包括航空电子模型，同步数据流和卡恩过程网络。

3. 发明授权

US08984488B2 Type and range propagation through data-flow models 有权
标题翻译：通过数据流模型进行类型和范围传播
公开(公告)号：US08984488B2
公开(公告)日：2015-03-17
申请号：US13006750
申请日：2011-01-14
申请人： Devesh Bhatt , Steve Hickman , Manish Patodi , David V. Oglesby , Kirk Schloegel
发明人： Devesh Bhatt , Steve Hickman , Manish Patodi , David V. Oglesby , Kirk Schloegel
IPC分类号： G06F9/44 , G06F11/36
CPC分类号： G06F11/3684 , G06F11/3604
摘要： Systems and methods for type and range propagation through data flow models are provided. In one embodiment, a test generating system for processing data flow diagrams, the system comprises: a processor programmed to perform a test generation process; and at least one memory device coupled to the processor, the at least one memory device including a data flow diagram. The test generation process computes range information and data type information for outputs of one or more functional blocks defined by the data flow diagram by applying transformations to input range information for inputs of each of the one or more functional blocks. The transformations are at least in part performed by applying specific mathematical and functional effects that are pre-defined for each of the one or more functional blocks based on block type.
摘要翻译：提供了通过数据流模型进行类型和范围传播的系统和方法。在一个实施例中，一种用于处理数据流程图的测试生成系统，该系统包括：被编程为执行测试生成过程的处理器; 以及耦合到所述处理器的至少一个存储器设备，所述至少一个存储器设备包括数据流程图。测试生成处理通过对一个或多个功能块中的每一个的输入的输入范围信息应用转换来计算由数据流程图定义的一个或多个功能块的输出的范围信息和数据类型信息。至少部分地通过应用基于块类型为一个或多个功能块中的每一个预定义的特定数学和功能效应来执行变换。

4. 发明申请

US20120185729A1 TYPE AND RANGE PROPAGATION THROUGH DATA-FLOW MODELS 有权
标题翻译：通过数据流模型的类型和范围传播
公开(公告)号：US20120185729A1
公开(公告)日：2012-07-19
申请号：US13006750
申请日：2011-01-14
申请人： Devesh Bhatt , Steve Hickman , Manish Patodi , David V. Oglesby , Kirk Schloegel
发明人： Devesh Bhatt , Steve Hickman , Manish Patodi , David V. Oglesby , Kirk Schloegel
IPC分类号： G06F11/263 , G06F11/07
CPC分类号： G06F11/3684 , G06F11/3604
摘要： Systems and methods for type and range propagation through data flow models are provided. In one embodiment, a test generating system for processing data flow diagrams, the system comprises: a processor programmed to perform a test generation process; and at least one memory device coupled to the processor, the at least one memory device including a data flow diagram. The test generation process computes range information and data type information for outputs of one or more functional blocks defined by the data flow diagram by applying transformations to input range information for inputs of each of the one or more functional blocks. The transformations are at least in part performed by applying specific mathematical and functional effects that are pre-defined for each of the one or more functional blocks based on block type.
摘要翻译：提供了通过数据流模型进行类型和范围传播的系统和方法。在一个实施例中，一种用于处理数据流程图的测试生成系统，该系统包括：被编程为执行测试生成过程的处理器; 以及耦合到所述处理器的至少一个存储器设备，所述至少一个存储器设备包括数据流程图。测试生成处理通过对一个或多个功能块中的每一个的输入的输入范围信息应用变换来计算由数据流程图定义的一个或多个功能块的输出的范围信息和数据类型信息。至少部分地通过应用基于块类型为一个或多个功能块中的每一个预定义的特定数学和功能效应来执行变换。

5. 发明申请

US20090287963A1 Method, Apparatus, And System For Automatic Test Generation From Statecharts 有权
标题翻译：方法，设备和系统，用于从状态图生成自动测试
公开(公告)号：US20090287963A1
公开(公告)日：2009-11-19
申请号：US12136146
申请日：2008-06-10
申请人： David Oglesby , Kirk Schloegel , Devesh Bhatt , Stephen O. Hickman
发明人： David Oglesby , Kirk Schloegel , Devesh Bhatt , Stephen O. Hickman
IPC分类号： G06F11/36 , G06F17/30
CPC分类号： G06F11/3684
摘要： An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.
摘要翻译：提供了一种用于从状态图生成多个输出测试向量的装置和方法。状态图可以指定由系统执行设备执行的系统功能的要求。状态图包括多个状态，多个转换和多个变量。可以执行正向传播通过状态图的过程以产生多个向前到达转变环境。可以执行反向传播通过状态图，以产生多个后向到达转变环境。从多个前进到达转变环境和/或多个后向到达转变环境生成多个输出测试向量。测试驱动器可以在系统执行设备上执行多个测试，其中多个测试基于多个输出测试向量。

6. 发明授权

US08307342B2 Method, apparatus, and system for automatic test generation from statecharts 有权
标题翻译：用于从状态图生成自动测试的方法，装置和系统
公开(公告)号：US08307342B2
公开(公告)日：2012-11-06
申请号：US12136146
申请日：2008-06-10
申请人： David Oglesby , Kirk Schloegel , Devesh Bhatt , Stephen O. Hickman
发明人： David Oglesby , Kirk Schloegel , Devesh Bhatt , Stephen O. Hickman
IPC分类号： G06F9/44
CPC分类号： G06F11/3684
摘要： An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.
摘要翻译：提供了一种用于从状态图生成多个输出测试向量的装置和方法。状态图可以指定由系统执行设备执行的系统功能的要求。状态图包括多个状态，多个转换和多个变量。可以执行正向传播通过状态图的过程以产生多个向前到达转变环境。可以执行反向传播通过状态图，以产生多个后向到达转变环境。从多个前进到达转变环境和/或多个后向到达转变环境生成多个输出测试向量。测试驱动器可以在系统执行设备上执行多个测试，其中多个测试基于多个输出测试向量。

7. 发明申请

US20120060145A1 AUTO-GENERATION OF CONCURRENT CODE FOR MULTI-CORE APPLICATIONS 有权
标题翻译：自动生成多核应用程序的同步代码
公开(公告)号：US20120060145A1
公开(公告)日：2012-03-08
申请号：US12874731
申请日：2010-09-02
申请人： Kirk Schloegel , Devesh Bhatt
发明人： Kirk Schloegel , Devesh Bhatt
IPC分类号： G06F9/44
CPC分类号： G06F8/451
摘要： A code generation system comprises a model analyzer configured to identify data dependencies in a data flow diagram that describes functional behavior of an application, wherein the model analyzer is further configured to compute a data and computation map based on the data dependencies and to compute one or more implementation constraints; a model partitioner configured to compute one or more partition boundaries based on the data and computation map and the one or more implementation constraints; and a code generator configured to generate parallelized code based on the data flow diagram, the one or more implementation constraints, and the one or more partition boundaries, wherein the code generator is configured to map the code corresponding to each partition defined by the one or more partition boundaries to one of a plurality of cores of a multi-core processor, and to generate inter-core communication code for at least one line of the data and computation map crossed by the one or more partition boundaries.
摘要翻译：代码生成系统包括模型分析器，其被配置为识别描述应用的功能行为的数据流程图中的数据依赖性，其中所述模型分析器还被配置为基于所述数据依赖性来计算数据和计算图，并且计算一个或更多的实施约束; 模型分割器，其被配置为基于所述数据和计算图以及所述一个或多个实现约束来计算一个或多个分区边界; 以及代码生成器，被配置为基于所述数据流程图，所述一个或多个实施约束以及所述一个或多个分区边界来生成并行化代码，其中所述代码生成器被配置为映射与由所述一个或多个更多的分区边界到多核处理器的多个核心之一，并且生成用于由一个或多个分区边界穿过的数据和计算图的至少一行的核心间通信代码。

8. 发明授权

US08661424B2 Auto-generation of concurrent code for multi-core applications 有权
标题翻译：自动生成多核应用程序的并发代码
公开(公告)号：US08661424B2
公开(公告)日：2014-02-25
申请号：US12874731
申请日：2010-09-02
申请人： Kirk Schloegel , Devesh Bhatt
发明人： Kirk Schloegel , Devesh Bhatt
IPC分类号： G06F9/45
CPC分类号： G06F8/451
摘要： A code generation system comprises a model analyzer configured to identify data dependencies in a data flow diagram that describes functional behavior of an application, wherein the model analyzer is further configured to compute a data and computation map based on the data dependencies and to compute one or more implementation constraints; a model partitioner configured to compute one or more partition boundaries based on the data and computation map and the one or more implementation constraints; and a code generator configured to generate parallelized code based on the data flow diagram, the one or more implementation constraints, and the one or more partition boundaries, wherein the code generator is configured to map the code corresponding to each partition defined by the one or more partition boundaries to one of a plurality of cores of a multi-core processor, and to generate inter-core communication code for at least one line of the data and computation map crossed by the one or more partition boundaries.
摘要翻译：代码生成系统包括模型分析器，其被配置为识别描述应用的功能行为的数据流程图中的数据依赖性，其中所述模型分析器还被配置为基于所述数据依赖性来计算数据和计算图，并且计算一个或更多的实施约束; 模型分割器，其被配置为基于所述数据和计算图以及所述一个或多个实现约束来计算一个或多个分区边界; 以及代码生成器，被配置为基于所述数据流程图，所述一个或多个实施约束以及所述一个或多个分区边界来生成并行化代码，其中所述代码生成器被配置为映射与由所述一个或多个更多的分区边界到多核处理器的多个核心之一，并且生成用于由一个或多个分区边界穿过的数据和计算图的至少一行的核心间通信代码。

9. 发明授权

US08423879B2 Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation 有权
标题翻译：具有组合数据流和状态图符号的混合图的测试生成方法和装置
公开(公告)号：US08423879B2
公开(公告)日：2013-04-16
申请号：US12247882
申请日：2008-10-08
申请人： Devesh Bhatt , Kirk Schloegel , Stephen O Hickman , David Oglesby
发明人： Devesh Bhatt , Kirk Schloegel , Stephen O Hickman , David Oglesby
IPC分类号： G06F7/02
CPC分类号： G06F11/3684
摘要： A test generator and methods for generating tests from a hybrid diagram are provided. A hybrid diagram is a diagram that primarily uses one higher-level semantic notation with portions utilizing one or more secondary higher-level semantic notations. Example higher-level semantic notations are statechart notation and data-flow notation. A test generator processes the hybrid diagram without reducing the higher-level semantic constructs to lower-level semantic constructs. The test generator generates test-generation templates as needed based on the higher-level semantic model used in the diagram. The test generator uses the test-generation templates to generate tests for a system-performing device specified by the diagram. The generated tests may be executed automatically by a test driver or manually by a human tester.
摘要翻译：提供了一种用于从混合图生成测试的测试发生器和方法。混合图是主要使用一个更高级语义符号与利用一个或多个次级更高级语义符号的部分的图。示例性的高级语义符号是状态图符号和数据流符号。测试发生器处理混合图，而不会将较高级语义结构降低到较低级语义结构。测试生成器基于图中使用的更高级语义模型根据需要生成测试生成模板。测试生成器使用测试生成模板来生成由图表指定的系统执行设备的测试。生成的测试可以由测试驱动程序自动执行，或由人类测试人员手动执行。

10. 发明申请

US20090287958A1 METHOD AND APPARATUS FOR TEST GENERATION FROM HYBRID DIAGRAMS WITH COMBINED DATA FLOW AND STATECHART NOTATION 有权
标题翻译：用于从具有组合数据流和状态符号的混合图形测试生成的方法和装置
公开(公告)号：US20090287958A1
公开(公告)日：2009-11-19
申请号：US12247882
申请日：2008-10-08
申请人： Devesh Bhatt , Kirk Schloegel , Stephen O. Hickman , David Oglesby
发明人： Devesh Bhatt , Kirk Schloegel , Stephen O. Hickman , David Oglesby
IPC分类号： G06F11/36
CPC分类号： G06F11/3684
摘要： A test generator and methods for generating tests from a hybrid diagram are provided. A hybrid diagram is a diagram that primarily uses one higher-level semantic notation with portions utilizing one or more secondary higher-level semantic notations. Example higher-level semantic notations are statechart notation and data-flow notation. A test generator processes the hybrid diagram without reducing the higher-level semantic constructs to lower-level semantic constructs. The test generator generates test-generation templates as needed based on the higher-level semantic model used in the diagram. The test generator uses the test-generation templates to generate tests for a system-performing device specified by the diagram. The generated tests may be executed automatically by a test driver or manually by a human tester.
摘要翻译：提供了一种用于从混合图生成测试的测试发生器和方法。混合图是主要使用一个更高级语义符号与利用一个或多个次级更高级语义符号的部分的图。示例性的高级语义符号是状态图符号和数据流符号。测试发生器处理混合图，而不会将较高级语义结构降低到较低级语义结构。测试生成器基于图中使用的更高级语义模型根据需要生成测试生成模板。测试生成器使用测试生成模板来生成由图表指定的系统执行设备的测试。生成的测试可以由测试驱动程序自动执行，或由人类测试人员手动执行。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式