公共文化服务平台

基于构件的NHPP类软件可靠性增长模型的研究被引量：9: 2009年; 随着基于构件的软件开发模式的迅速发展,传统的NHPP模型无法适应大型的基于软构件的新型软件开发模式。结合软件可靠性分析中的黑盒方法和白盒方法,提出一种基于构件的NHPP类软件可靠性增长模型,CB-NHPP模型。该模型以可加模型为基础,实现了时间域模型和体系结构域模型的结合,克服了这两种技术无法同时考虑软件测试过程中的故障排除和软件体系结构的问题。由于同时考虑了更多因素,因此该模型具有更高的准确性。最后通过实验证明了CB-NHPP模型的有效性。; 侯春燕崔刚刘宏伟杨孝宗; 关键词：非齐次泊松过程软件可靠性增长模型可加模型

一个基于响铃形故障检测率函数的软件可靠性增长模型被引量：17: 2005年; 非齐次泊松过程类软件可靠性增长模型是评价软件产品可靠性指标的有效工具.影响软件可靠性增长模型评估和预测准确性的最重要的两个因素是软件中隐藏的初始故障数和故障检测率.一些非齐次泊松过程类模型假设故障检测率是不随测试时间变化的常量,有些模型假设故障检测率是增函数或减函数.这些假设或忽略了测试者的学习过程,或忽略了越迟被检测到的故障的概率就可能越低的特点.该文将测试者的学习过程和软件固有故障检测率的变化特征相结合,提出了一个铃形的故障检测率函数,建立了一个非齐次泊松过程类软件可靠性增长模型——Bbell SRGM.在一组失效数据上的实验分析表明对这组失效数据,Bbell SRGM模型比G O模型等的拟合效果更好.; 刘宏伟杨孝宗曲峰董剑; 关键词：软件可靠性评估非齐次泊松过程软件可靠性增长模型故障检测率

考虑测试环境和实际运行环境的软件可靠性增长模型被引量：12: 2006年; 软件可靠性增长模型中测试阶段和操作运行阶段环境的不同导致了两个阶段故障检测率的不同.非齐次泊松过程类软件可靠性增长模型是评价软件产品可靠性指标的有效工具.在一些非齐次泊松过程类模型中,有些学者提出了常量的环境因子,用来描述测试环境和运行环境的差别.实际上,环境因子应该是随时间变化的变量.考虑了运行阶段和测试阶段环境的不同,根据实测数据得到了变化的环境因子,并且根据测试阶段的故障检测率和变化的环境因子,转化得到了操作运行阶段的故障检测率.考虑到故障的排除效率和故障引入率,从而建立了一个既考虑运行环境和测试环境差别,又考虑故障排除效率和故障引入率的非齐次泊松过程类软件可靠性增长模型(PTEO-SRGM).在两组失效数据上的实验分析表明,对这组失效数据,PTEO-SRGM模型比G-O模型等模型的拟合效果和预测能力更好.; 赵靖刘宏伟崔刚杨孝宗; 关键词：软件可靠性增长模型非齐次泊松过程

两级分配多可用重命名寄存器被引量：3: 2006年; 提出了一种新的寄存器重命名机制———两级分配多可用重命名寄存器,简称2L-MuRR,其特点如下:(1)对重命名寄存器文件(RRF)的占用要经过两级重命名和分配过程,减少了无效占用时间.(2)RRF被划分为多个不同宽度的字段,根据目标值的大小进行按字段分配,这样使每个重命名寄存器都是多可用的.(3)同一重命名寄存器内的多个目标值的写(或读)操作可以合并成一次完成,减少了RRF的访问次数和读/写端口的压力.模拟实验表明,2L-MuRR显著提高了RRF的存储能力(70%以上),能以较少的重命名寄存器满足SMT高并行度的要求,有效缓解了寄存器文件的设计压力.; 杨华崔刚刘宏伟杨孝宗; 关键词：同时多线程寄存器重命名高性能

基于泛洪的可靠广播算法分析被引量：2: 2006年; 由于非一致性可靠广播问题的普遍性,针对该问题已经形成了很多算法,其中最重要的是T.D.Chandra和S.Toueg提出的基于泛洪的可靠广播算法.对该算法的分析,已有的文献或者忽略,或者只是基于简短的自然语言分析.为了深入理解上述算法,对其活动性和安全性进行了严格的分析和证明.在系统模型为Fail-S ilent进程和全互联,可靠的通讯子系统的条件下,首先分析了算法的执行逻辑和执行状态.在对算法的活动性分析中得出的结论:允许故障的条件下会出现接收员进程终止于状态S’0的情况.在对算法的安全性分析中得出的结论:系统中如果存在一个进程终止在SN状态,其他所有进程或者终止在SF状态或者终止在SN状态.; 莫毓昌崔刚; 关键词：活动性分析

面向容错COTS服务器的PB机制研究被引量：1: 2006年; 采用自顶向下的思想对利用PB机制构造容错COTS服务器进行了系统性的研究.首先基于实际研究开发工作给出了容错COTS服务器的系统模型,然后在该系统模型基础上设计了的通用PB机制,最后设计和分析了PB机制的四个核心算法:分布式故障诊断算法、分布式选举算法、分布式一致性控制算法和客户端/服务器协同算法.; 莫毓昌崔刚曲峰

A software cost model with maintenance and risk costs for safety-critical systems: 2006年; According to the consequences of software failures, software faults remaining in safety-critical systems can be classified into two sets： common faults and fatal faults. Common faults cause slight loss when they are activated. A fatal fault can lead to significant loss, and even damage the safety-crltical system entirely when it is activated. A software reliability growth model for safety-critical systems is developed based on G - 0 model. And a software cost model is proposed too. The cost model considers maintenance and risk costs due to software failures. The optimal release policies are discussed to minimize the total software cost. A numerical exampie is provided to illustrate how to use the results we obtained.; 刘宏伟杨孝宗曲峰董剑

多级安全的分布式管理和动态行为被引量：3: 2007年; 传统的多级安全模型和在模型指导下设计出来的多级安全系统存在集中式管理和缺乏明确的动态管理机制这两个重要问题.本文研究了多级安全的分布式管理体系和动态多级安全管理策略.给出一个基于域的多级安全分布式管理模型,该模型集成了域分离、域隔离和域冗余的域管理安全策略.着重讨论了多级安全的动态行为和规范这些行为的安全管理策略.分别论证了所提出的安全策略的有效性和可行性.; 莫毓昌杨孝宗金岩郭建立; 关键词：安全管理策略

考虑测试与运行差别的软件可靠性增长模型被引量：12: 2006年; 软件可靠性增长模型中测试阶段和操作运行阶段环境的不同导致了两个阶段故障检测率的不同.在随机过程类非齐次泊松过程(NHPP)中的经典模型G-O模型基础上,考虑运行剖面和测试剖面的不同,对测试阶段和操作运行阶段的故障检测率进行了转化,得到了较好的刻画测试阶段和操作阶段失效率差别的模型(TO-SRGM).最后,通过实例用最小二乘法对此模型的参数进行了估计.实验结果表明,在某些失效数据集上TO-SRGM的拟和效果比G-O模型和PZ-SRGM好.; 赵靖刘宏伟崔刚杨孝宗; 关键词：软件可靠性增长模型非齐次泊松过程

基于线程感知寄存器重命名的SMT处理器资源分配被引量：3: 2008年; SMT处理器的资源分配一般是通过调控各线程的取指过程间接实现的,这种间接调控有时会导致资源滥用和饥饿,从而严重浪费资源并降低整体性能.以往的改进措施往往实现代价较大,且不能消除资源分配的"不均衡性",因此效果不太理想.文中提出一种新的SMT处理器资源调控机制——线程感知寄存器重命名TSRR(Thread-Sensitive Register Renaming),消除了资源分配的"不均衡性",其优点如下:(1)资源分配自动适应线程运行状态的变化,实现"按需分配";(2)通过调控重命名寄存器文件(RRF)的分配来间接控制其它资源分配,实现代价较低;(3)兼顾资源分配的效率和公平,既防止了资源滥用和饥饿,又充分发掘各线程的性能潜力.此外,TSRR还可以间接降低RRF的尺寸要求和取指逻辑的复杂度.; 杨华崔刚刘宏伟杨孝宗; 关键词：同时多线程资源分配寄存器重命名高性能

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家教育部博士点基金(20020213017)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家教育部博士点基金(20020213017)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈