Research on the Transition between the Software Reliability and Safety

摘要：

In this paper, the transition between the software reliability and safety of a software system is studied. A transition occurs when the program states are changed and different environmental factors are chosen. By using the formal method, the transition rules are established and proved in this paper.

关键词： software reliability software safety formal methods logical proof

作者: Fan Lin-bo Wu Ying-cheng Gong Ming-qing Zhao Ming

作者单位: Reliability Engineering Center, Guizhou University, Guiyang, 550025, China Dept of Computer Science Reliability Engineering Center, Guizhou University, Guiyang, 550025, China Reliability Engineering Center, Guizhou University, Guiyang, 550025, China Department of Industrial

会议类型: 国际会议

会议名称: 2009 2nd IEEE International Conference on Computer Science and Information Technology(第二届计算机科学与信息技术国际会议 ICCSIT2009)

会议地点: 北京

会议语种:英文

页码: 2320-2324

在线出版日期: 2009-08-08（万方平台首次上网日期，不代表论文的发表时间）