多态k-out-of-n:G型系统可用性评测

来源 :第十四届全国容错计算学术会议 | 被引量 : 0次 | 上传用户:lightingguo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  本文将用于事务处理操作的容错计算机抽象为由独立同分布部件组成的多态k-out-of-n:G 系统, 针对这一类事务 处理型容错计算机建立系统模型, 考虑系统在不同工作状态等级下维修率存在差异, 利用状态转移方程推导得到系统可用度的表达式, 进一步地提出基于故障注入的MTTR测试方法通过实地测量来获取不同工作状态等级下的系统维修率, 并设计了故障集以及测试方法。
其他文献
  本文针对利用多样性防御入侵和容忍入侵的典型方法的不足,提出了一种在操作系统的系统调用层上实现的多版本冗余进程的容侵系统。采用指令集随机化实现了多版本的冗余进程
  电动汽车作为清洁绿色的新能源汽车,将在未来交通体系中发挥越来越重要的作用。电动汽车的研发需要在大 量实际行驶数据的基础上进行统计分析,以定位存在的问题、改进技术
会议
张建奎,1975年1月生,赞皇县赞皇镇南街村人,大专学历,中共党员,赞皇县政协委员。现任南街村村委会主任,赞皇县第六建筑公司总经理,赞皇县诚美装潢维修有限公司董事长,石家庄
针对Web应用负载测试的需要,提出了一种基于TTCN-3的Web应用负载测试方法。采用TTCN-3函数建模用户访问Web应用的基本行为,通过并发测试组件模拟并发用户行为。由主测试组件创建大量并发测试组件形成负载,并协调不同测试节点上的并发测试组件实现负载测试。为便于组织实施测试,设计了基于TTCN-3的分布式负载测试框架。将该方法用于网上书店的测试,验证了该方法的可行性与有效性。
Wireless sensor networks are being widely researched and are expected to be used in several scenarios. On the leading edge of treads, on-demand, high-reliabilit
  混合信号SoC模拟核的测试是SoC测试的难点之一,常用片上DAC、ADC配合模拟核进行测试。本文对于片上DAC、模拟核、ADC同时待测的情况,基于模拟核的振荡测试、ADC柱状图测试
结合贵州省余庆至凯里高速公路余凯七标重安大桥40m T梁的架设安装实例,介绍了小曲线半径大纵坡桥梁在架设安装上应注意的事项,通过合理的选用架梁设备,改进架梁施工工艺,使40m T
1范围本标准规定了无公害芹菜每公顷单茬产45000~750000kg(3000~5000kg/667)的产地环境技术条件,肥料农药使用原则和要求,生产管理等系列措施。本标准适用于河北省露地和保护地芹菜无公害生产。2引用标准下列
●大会精彩看点●rn作为全球技术爱好者翘首以盼的科技盛宴,今年的大会可谓亮点纷呈.rn为了让开发者们积极交流、尽情享受,2020 Techo Park特意选址北京751D·Park.其独具特
期刊
  单元覆盖测试的目标是达到尽可能高的覆盖率。根据覆盖准则选取目标覆盖元素,并针对目标覆盖元素选择路径,是单元覆盖测试中的一个重要步骤。本文为了提高单元自动覆盖测试