公开(公告)号：US08108728B2

公开(公告)日：2012-01-31

申请号：US12753166

申请日：2010-04-02

申请人： Dipankar Das ,  Partha P. Chakrabarti ,  Purnendu Sinha

发明人： Dipankar Das ,  Partha P. Chakrabarti ,  Purnendu Sinha

IPC分类号： G06F11/00

CPC分类号： G06F17/504 ,  G06F2217/70

摘要： An apparatus and method are provided for analyzing fault tolerance of a system, and performing “what if?” analysis for various fault-tolerant system design options. The fault tolerance analysis approach handles logical failures and quality faults emanating from loss of precision in signal values. The method can detect quality faults, which can allow systems to be built which are resilient to precision losses. Two analysis steps are provided, one static and another simulation-based, which are used in tandem to check the fault tolerance of an automotive or other system. While a simulation-based method checks fault-resilience under specific test cases and fault-scenarios, the static analysis method quickly checks all test cases and fault-scenarios. The static analysis method makes approximations while performing the analysis, and any fault detected is reproduced using the simulation-based method. All analysis operations are performed on operations-level behavioral models of the applications, thereby reducing the cost of analysis.

摘要翻译： 提供了一种用于分析系统的容错性并对各种容错系统设计选项执行“如果？”分析的装置和方法。 容错分析方法处理信号值精度损失所产生的逻辑故障和质量故障。 该方法可以检测质量故障，这可以允许建立能够抵御精度损失的系统。 提供了两个分析步骤，一个静态和另一个基于模拟，它们一起用于检查汽车或其他系统的容错。 虽然基于仿真的方法会检查特定测试用例和故障场景下的故障恢复能力，静态分析方法可快速检查所有测试用例和故障场景。 静态分析方法在执行分析时进行近似，并且使用基于模拟的方法再现所检测到的任何故障。 所有分析操作都在应用程序的操作级行为模型上执行，从而降低了分析成本。

公开(公告)号：US20110246831A1

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

申请号：US12753166

申请日：2010-04-02

申请人： Dipankar Das ,  Partha P. Chakrabarti ,  Purnendu Sinha

发明人： Dipankar Das ,  Partha P. Chakrabarti ,  Purnendu Sinha

IPC分类号： G06F11/07

CPC分类号： G06F17/504 ,  G06F2217/70

摘要： An apparatus and method are provided for analyzing fault tolerance of a system, and performing “what if?” analysis for various fault-tolerant system design options. The fault tolerance analysis approach handles logical failures and quality faults emanating from loss of precision in signal values. The method can detect quality faults, which can allow systems to be built which are resilient to precision losses. Two analysis steps are provided, one static and another simulation-based, which are used in tandem to check the fault tolerance of an automotive or other system. While a simulation-based method checks fault-resilience under specific test cases and fault-scenarios, the static analysis method quickly checks all test cases and fault-scenarios. The static analysis method makes approximations while performing the analysis, and any fault detected is reproduced using the simulation-based method. All analysis operations are performed on operations-level behavioral models of the applications, thereby reducing the cost of analysis.

摘要翻译： 提供了一种用于分析系统的容错性并对各种容错系统设计选项执行“如果？”分析的装置和方法。 容错分析方法处理信号值精度损失所产生的逻辑故障和质量故障。 该方法可以检测质量故障，这可以允许建立能够抵御精度损失的系统。 提供了两个分析步骤，一个静态和另一个基于模拟，它们一起用于检查汽车或其他系统的容错。 虽然基于仿真的方法会检查特定测试用例和故障场景下的故障恢复能力，静态分析方法可快速检查所有测试用例和故障场景。 静态分析方法在执行分析时进行近似，并且使用基于模拟的方法再现所检测到的任何故障。 所有分析操作都在应用程序的操作级行为模型上执行，从而降低了分析成本。