General Development Framework and Its Application Method for Software Safety Case

摘要

Safety case has already been adopted anddeveloped across many industries because it is a good meansto demonstrate whether software safety is acceptable.Despite the wide requirements for safety cases across manyindustries, it is a major challenge to construct compellingand general software safety arguments. The generaldevelopment framework for software safety case(GDFSSC)and its application method has been discussed in this paper.Firstly, construction principle for software safety case fromthe view of hazard is given. Secondly, the generaldevelopment framework for software safety case is proposed.Then the application method for the GDFSSC based onGSN pattern is elaborated, and braking control software ischosen as experimental example for proposed approach.The experimental results preliminarily show the proposedapproach is feasible and more effective to develop a safetyargument for demonstrating the acceptability of softwarewith respect to safety.