期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一种安全关键软件系统的形式化开发模型
1
作者 王海峰 张仲义 《铁路计算机应用》 2002年第10期10-12,共3页
形式化方法的主要研究对象是计算机系统的设计和验证。近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety C... 形式化方法的主要研究对象是计算机系统的设计和验证。近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例。 展开更多
关键词 安全关键软件系统 开发模型 形式化 开发方法 计算机 软件开发
下载PDF
A software cost model with maintenance and risk costs for safety-critical systems
2
作者 刘宏伟 杨孝宗 +1 位作者 曲峰 董剑 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2006年第5期584-587,共4页
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 ... 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. 展开更多
关键词 safety-critlcal system software reliability growth model software cost model optimal software release time
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部