Volume 8 Number 12 ( Dec. 2013)
Home > Archive > 2013 > Volume 8 Number 12 ( Dec. 2013) >
JSW 2013 Vol.8(12): 3262-3268 ISSN: 1796-217X
doi: 10.4304/jsw.8.12.3262-3268

General Development Framework and Its Application Method for Software Safety Case

Fuping Zeng, Minyan Lu, Deming Zhong

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.

General Information

ISSN: 1796-217X (Online)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Nov 18, 2021 News!

    Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP   [Click]

  • Dec 24, 2021 News!

     Vol 15, No 1- Vol 15, No 6 has been indexed by IET-(Inspec)   [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]