检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:饶岚[1] 王占林[2] 李沛琼[2] 姚一平[2]
机构地区:[1]清华大学计算机系设计自动化教研组 [2]北京航空航天大学
出 处:《宇航学报》1998年第4期52-59,共8页Journal of Astronautics
基 金:中国博士后科研基金
摘 要:从硬/软件综合的角度对计算机进行可靠性研究具有非常重要的意义。本文作者对硬、软件相互作用进行了明确的划分和定义。并指出,是现行的软件可靠性黑箱分析方法禁锢了人们从更深层次对于硬/软件系统可靠性进行研究。基于上述认识,本文提出了解决软件分解单元之间耦合问题的办法。进而提出了一种新的软件可靠性分析方法,为对计算机系统进行可靠性分析时,考虑硬、软件之间的复杂的相关作用提供了基础,从而为更准确地评估计算机系统的可靠性提供了可能。文中分析了一个飞行控制系统实例。It is significant to perform reliability analysis of computer systems from the point view of integrated hardware and software.In this paper,interplay types of hardware and software are patitioned and defined explicitly.It is also pointed that it is the current software reliability analysis methods that restrains deeply study of hardware/software reliability.Based on cognition above,a methodology to solve coupling in decomposed units of software in reliability analysis is presented firstly,then a new methodology to analyze software reliability is presented.It enables considerating the complex interplay in hardware and software,and then assessing computer systems more accurately.A real Flying By Wire system is analyzed using the method.
关 键 词:软件系统可靠性 硬/软件相关性 阶段任务性 建模
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.157