The Development of a Software Dependability Case Based on GSN

摘要：

The GSN method is used to develop a dependability case to study the software dependability on the basis of the extension of safety case. Given the scalability of GSN, the dependability of the anti-icy software system is analyzed as a case by developing the software dependability case based on extending GSN from the four aspects: the behaviors and results of the software can be predicted; the software behavior states can be monitored; the software behavior results can be assessed and the software abnormal behaviors can be controlled.

关键词： Dependability ease GSN software dependability

作者: Fen Sun Yumei Wu

作者单位: Department of Reliability and System Engineering Beihang University Beijing, China

会议类型: 国际会议

会议名称: 2011 9th International Conference on Reliability,Maintainability and Safety(第九届国际可靠性、维修性、安全性会议 ICRMS2011)

会议地点: 贵阳

会议语种:英文

页码: 681-687

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