• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Symposium on Theoretical Aspects of Software Engineering >Probabilistic Model of System Survivability
【24h】

Probabilistic Model of System Survivability

机译：系统生存性的概率模型

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

摘要

The paper completely formalizes the concept of system survivability on the basis of Knight's research in cite{Knight03}. We present a computable probabilistic model of survivable system which is divided into two layers, i.e. the function and service. The probabilistic refinement is introduced to reason about the survivable system, which is modeled by a probabilistic choice of accepted services with respect to the operating environment. Furthermore, we present an elegant survivability specification and the differences with Knight's related works are discussed. The command-and-control example is also revisited in our framework.
机译：本文在Cite {Knight03}的骑士研究的基础上完全正式确定了系统生存能力的概念。我们提出了一种可生存系统的可计算概率模型，其分为两层，即功能和服务。概率的细化被引入有关可生存的系统的原因，它由关于操作环境的概率选择的概率选择。此外，我们讨论了优雅的生存能力规范，并讨论了与骑士相关工程的差异。我们的框架中也会重新访问命令和控制示例。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号