【24h】

FERRARI: a tool for the validation of system dependability properties

机译:FERRARI:用于验证系统可靠性属性的工具

获取原文

摘要

The authors present FERRARI, a fault and error automatic real-time injector, which can evaluate complex systems by emulating most hardware faults in software. The current version of FERRARI runs on SPARC workstations, in an Xwindow environment. The motivation, methodology, design, implementation, and evaluation of FERRARI are presented. The techniques used to emulate permanent faults and transient errors in software are described in detail. Experimental results are presented for several error detection techniques. They demonstrate the effectiveness of FERRARI in its role as a fault and error injector.
机译:作者介绍了一种具有错误和错误的自动实时注入器FERRARI,它可以通过在软件中模拟大多数硬件故障来评估复杂的系统。当前版本的FERRARI在Xwindow环境中的SPARC工作站上运行。介绍了FERRARI的动机,方法,设计,实施和评估。详细介绍了用于在软件中模拟永久性故障和瞬态错误的技术。给出了几种错误检测技术的实验结果。他们证明了FERRARI作为故障和错误注入器的作用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号