• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Design, Automation and Test in Europe Conference and Exhibition >Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates
【24h】

Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates

机译：使用统计模型检查来评估浴缸形状故障率的可靠性

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Ideally, the reliability can be assessed analytically, provided that an analytical solution exists and its presumptions are met. Otherwise, alternative approaches to the assessment must apply. This paper proposes a novel, simulation based approach that relies on stochastic timed automata. Based on the automata, our paper explains principles of creating reliability models for various scenarios. Our approach expects that a reliability model is then processed by a statistical model checking method, used to assess the reliability by statistical processing of simulation results over the model. Main goal of this paper is to show that instruments of stochastic timed automata and statistical model checking are capable of facilitating the assessment process even for adverse conditions such as bathtub shaped failure rates.
机译：理想情况下，只要存在分析解决方案并且满足其假设，就可以通过分析评估可靠性。否则，必须采用其他评估方法。本文提出了一种新颖的，基于仿真的方法，该方法依赖于随机定时自动机。基于自动机，我们的论文解释了为各种场景创建可靠性模型的原理。我们的方法期望通过统计模型检查方法处理可靠性模型，然后通过对模型上的模拟结果进行统计处理来评估可靠性。本文的主要目的是证明随机定时自动机和统计模型检查工具即使在不利条件下（例如浴缸形故障率）也能够促进评估过程。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号