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 (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, 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]

  • Jun 22, 2020 News!

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

  • Jun 22, 2020 News!

    The papers published in Vol 15, No 5 have all received dois from Crossref    [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 22, 2020 News!

    Vol 15, No 5 has been published with online version     [Click]