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: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

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

  • Nov 18, 2019 News!

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

  • Dec 06, 2019 News!

     Vol 13, No 10- Vol 13, No 12 has been indexed by EI (Inspec)   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]