...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE transactions on dependable and secure computing >Stochastic Model Checking for Predicting Component Failures and Service Availability
【24h】

Stochastic Model Checking for Predicting Component Failures and Service Availability

机译：随机模型检查以预测组件故障和服务可用性

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

When a component fails in a critical communications service, how urgent is a repair? If we repair within 1 hour, 2 hours, or n hours, how does this affect the likelihood of service failure? Can a formal model support assessing the impact, prioritisation, and scheduling of repairs in the event of component failures, and forecasting of maintenance costs? These are some of the questions posed to us by a large organisation and here we report on our experience of developing a stochastic framework based on a discrete space model and temporal logic to answer them. We define and explore both standard steady-state and transient temporal logic properties concerning the likelihood of service failure within certain time bounds, forecasting maintenance costs, and we introduce a new concept of envelopes of behaviour that quantify the effect of the status of lower level components on service availability. The resulting model is highly parameterised and user interaction for experimentation is supported by a lightweight, web-based interface.
机译：当组件在关键通信服务中发生故障时，维修的紧急程度如何？如果我们在1个小时，2个小时或n个小时内进行维修，这对服务故障的可能性有何影响？正式的模型能否支持在组件故障的情况下评估影响，优先级和维修计划，并预测维护成本？这些是大型组织向我们提出的一些问题，在这里我们将报告我们在基于离散空间模型和时态逻辑的基础上开发随机框架以回答这些问题的经验。我们定义并探索了有关在特定时间范围内服务失败的可能性的标准稳态和瞬态时态逻辑属性，预测了维护成本，并引入了行为包络的新概念，该概念可量化下级组件状态的影响服务可用性。生成的模型经过高度参数化，基于轻量级基于Web的界面支持用于实验的用户交互。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号