skip to main content
10.1145/3631991.3631997acmotherconferencesArticle/Chapter ViewAbstractPublication PageswsseConference Proceedingsconference-collections
research-article

Research on Safety Analysis Techniques for Complex Software Systems

Published: 26 December 2023 Publication History

Abstract

With the increase in software scale and complexity, software systems present complex functions, high levels of integration, multiple levels of system structure.Systems with numerous state variables, complex feedback structures, input and output present non-linear characteristics, and present large complex characteristics in the structure, function, behavior, evolution and other aspects. If a system accident occurs due to disorderly interaction between software system components, omission or incorrect implementation of safety requirements, or subsystem failure, it will cause extremely serious consequences. In this context, this paper investigates a safety analysis technique for complex software systems, systematically analyses the causes and mechanisms of software system incidents, and proposes a framework for safety analysis of the complex software systems. In the system-level safety analysis, the risks and causal scenarios of software systems are analyzed through the construction of a system control structure model to obtain system-level safety requirements. At the configuration item level, software safety requirements are obtained by combining software Safety Bi-Direction Analysis (BDA) and Software Fault Tree Analysis (SFTA) techniques. This provides a practical model, method and process for future safety analysis in the development of complex software systems, which can ensure the safety and improve the quality of complex software systems.

References

[1]
Leveson N G. A new accident model for engineering safer systems[J]. Safety science, 2004,42 (4):237-270.
[2]
Leveson N G. Model-based analvsis of socio-technical risk. Massachusetts Institute of Technology, Cambridge, MA, USA, Tech. Rep. ESD-WP-2004-08, 2004.
[3]
DODD I. HABLI I. Safety certification of airborne software: an empirical study[J]. Reliability Engineering and System Safety, 2012,98(1):7-23.
[4]
ARP4761. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems[S]. Aerospace Recommended Practice (SAE International). Warrendale, PA. 1996
[5]
Geng QC, Duan H B, Li S T. Dynamic fault tree analysis approach to Safety Analysis of Civil Aircraft[C]. 6th IEEE Conference on Industrial Electronics and Applications, 2011:1443-1448
[6]
Ozarin N W. Bridging software and hardware FMEA in complex systems[J]. Reliability and Maintainability Symposium (RAMS), 2013, 25(01): 1-6
[7]
Vygolov O V. Enhanced and synthetic vision systems development based on IMA for civil aviation[C]. IEEE/AIAA 32nd Digital Avionics System Conference, 2013: 1-14
[8]
Kumar N S, Kashyap S K, Naidu VPS, Integrated Enhanced and Synthetic Vision System for Transport Aircraft[J]. Defence Science Journal, 2013, 63(02): 157-163
[9]
Vygolov O, Zheltov S. Enhanced, Synthetic and Combined Vision Technologies for Civil Aviation[J]. Intelligent Systems Reference Library, 2015, 75(03): 201-230
[10]
Krauss S S, Rejzek M, Hilbes C. Tool Qualification Considerations for Tools Supporting STPA[J]. Procedia Engineering, 2015, 128(04): 15-24
[11]
Dakwat A L, Villani E. System safety assessment based on STPA and model checking[J].Safety Science, 2018, 109(12): 130-143
[12]
Banda O A V, Goerlandt F. A STAMP-based approach for designing maritime safety management systems[J]. Safety Science, 2018, 109(10): 109-129
[13]
Rajeev Sobti, Parampreet Kaur. Model-Based Architecture of Software-Intensive Intelligent Automotive Systems[C]. 2018 4th International Conference on Computing Sciences (ICCS). 2018:132-136.
[14]
Eriks Klotins, Michael Unterkalmsteiner, Tony Gorschek. Software-intensive product engineering in start-ups: a taxonomy[J]. IEEE Software, 2018: 44-52
[15]
Stringfellow M V, Leveson N G, Owens B D. Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems[J]. Proceedings of the IEEE, 2010,98(4):515-525.
[16]
Hu Jianbo, Zheng Lei, Xu Shukui. Safety analysis of wheel brake system based on STAMP/STPA and Monte Carlo simulation[J]. Journal of Systems Engineering and Electronics, 2019, 29(6):1327-1339.
[17]
Shweta Sharma and S. Srinivasan, "A Survey on Software Design Based and Project Based Metrics," International Journal of Computer Theory and Engineering vol. 14, no. 2, pp. 54-61, 2022.
[18]
Jing Guo, Lingda Wu, Yashuai Lv, Bo Li, and Ronghuan Yu, "Research on the Integration and Verification of Foundational Software and Hardware," International Journal of Computer Theory and Engineering vol. 8, no. 4, pp. 323-327, 2016.
[19]
Nedhal A. Al-Saiyd, "The Impact of Reusing Open-Source Software Model in Software Maintenance," International Journal of Computer Theory and Engineering vol. 9, no. 1, pp. 6-10, 2017.
[20]
Hyun-Il Lim, "Comparative Analysis of Code Obfuscation Approaches to Protect Software Products," International Journal of Computer Theory and Engineering vol. 9, no. 1, pp. 28-31, 2017.
[21]
O. Moravcik, D. Petrik, T. Skripcak, and P. Schreiber, "Elements of the Modern Application Software Development," International Journal of Computer Theory and Engineering vol. 4, no. 6, pp. 891-896, 2012.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
WSSE '23: Proceedings of the 2023 5th World Symposium on Software Engineering
September 2023
352 pages
ISBN:9798400708053
DOI:10.1145/3631991
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 December 2023

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Complex software systems
  2. Configuration-item-level safety analysis
  3. Control structure models
  4. System-level safety analysis

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

WSSE 2023

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 33
    Total Downloads
  • Downloads (Last 12 months)32
  • Downloads (Last 6 weeks)2
Reflects downloads up to 26 Jan 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media