首页> 外文会议>ACM symposium on Operating systems principles >Model-based validation for dealing with operator mistakes
【24h】

Model-based validation for dealing with operator mistakes

机译:基于模型的验证,用于处理运营商错误

获取原文

摘要

Online services are rapidly becoming the supporting infrastructure for numerous users' work and leisure, placing higher demands on their availability and correct functioning. Increasingly, these services are comprised of complex conglomerates of distributed hardware and software components. Added to this complexity, these services evolve quite frequently accumulating considerable heterogeneity within them, while allowing little time for their in-depth understanding by service personnel. Thus, it is not surprising that mistakes by service operators are common, and have been deemed to be the primary cause of service downtime.
机译:在线服务正在迅速成为众多用户的工作和休闲的支持基础设施,对其可用性和纠正功能进行更高的需求。这些服务越来越多地由分布式硬件和软件组件的复杂集团组成。添加到这种复杂性中,这些服务在他们内部发展了相当累积的相当值,同时允许一小一段时间通过服务人员进行深入的理解。因此,服务运营商的错误是常见的,并且被认为是服务停机的主要原因并不奇怪。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号