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.