School of Reliability and System Engineering, Beihang University, Beijing, 100191, China

---

Abstract—Safety case has already been adopted and developed across many industries because it is a good means to demonstrate whether software safety is acceptable. Despite the wide requirements for safety cases across many industries, it is a major challenge to construct compelling and general software safety arguments. The general development framework for software safety case(GDFSSC) and its application method has been discussed in this paper. Firstly, construction principle for software safety case from the view of hazard is given. Secondly, the general development framework for software safety case is proposed. Then the application method for the GDFSSC based on GSN pattern is elaborated, and braking control software is chosen as experimental example for proposed approach. The experimental results preliminarily show the proposed approach is feasible and more effective to develop a safety argument for demonstrating the acceptability of software with respect to safety.

Index Terms—software safety, safety case, GSN pattern, development framework.

[PDF]

Cite: Fuping Zeng, Minyan Lu, Deming Zhong, "General Development Framework and Its Application Method for Software Safety Case," Journal of Software vol. 8, no. 12, pp. 3262-3268, 2013.