skip to main content
10.1145/3551349.3559535acmotherconferencesArticle/Chapter ViewAbstractPublication PagesaseConference Proceedingsconference-collections
short-paper
Public Access

SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems

Published: 05 January 2023 Publication History

Abstract

Many organizations seek to increase their agility in order to deliver more timely and competitive products. However, in safety-critical systems such as medical devices, autonomous vehicles, or factory floor robots, the release of new features has the potential to introduce hazards that potentially lead to run-time failures that impact software safety. As a result, many projects suffer from a phenomenon referred to as the big freeze. SAFA is designed to address this challenge. Through the use of cutting-edge deep-learning solutions, it generates trees of requirements, designs, code, tests, and other artifacts that visually depict how hazards are mitigated in the system, and it automatically warns the user when key artifacts are missing. It also uses a combination of colors, annotations, and recommendations to dynamically visualize change across software versions and augments safety cases with visual annotations to aid users in detecting and analyzing potentially adverse impacts of change upon system safety. A link to our tool demo can be found at https://www.youtube.com/watch?v=r-CwxerbSVA.

References

[1]
[n.d.]. Accurate Trace Link Generation for Querying Software Projects at Scale, PhD Dissertation. ([n. d.]).
[2]
[n.d.]. Requirements Management Software | Jama Connect™ Features. https://www.jamasoftware.com/platform/jama-connect/features/
[3]
2020. ASCE: The Assurance and Safety Case Environment. https://www.adelard.com/partners_files/customer_collateral/MK95v10_ASCE_5.pdf
[4]
2021. Overview of Rational DOORS Next Generation. https://prod.ibmdocs-production-dal-6099123ce774e592a519d7c33db8265e-0000.us-south.containers.appdomain.cloud/docs/en/ermd/9.7.0?topic=overview-doors
[5]
Atlassian. [n.d.]. Jira | Issue & Project Tracking Software. https://www.atlassian.com/software/jira
[6]
Jane Cleland-Huang, Ankit Agrawal, Michael Vierhauser, and Christoph Mayr-Dorn. 2021. Visualizing Change in Agile Safety-Critical Systems. IEEE Software 38, 3 (May 2021), 43–51. https://doi.org/10.1109/MS.2020.3000104
[7]
Ewen Denney and Ganesh Pai. 2018. Tool support for assurance case development. Autom Softw Eng 25, 3 (Sept. 2018), 435–499. https://doi.org/10.1007/s10515-017-0230-5
[8]
Luke Emmet, Sofia Guerra, and Adelard Drysdale. 2005. Application of a Commercial Assurance Case Tool to Support Software Certification Services. In Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent’05), Association for Computing Machinery. 51–55.
[9]
Brian Fitzgerald, Klaas-Jan Stol, Ryan O’Sullivan, and Donal O’Brien. 2013. Scaling agile methods to regulated environments: An industry case study. In 2013 35th International Conference on Software Engineering (ICSE). 863–872. https://doi.org/10.1109/ICSE.2013.6606635
[10]
Janusz Górski. 2020. Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges. Ada Lett. 40, 1 (Oct. 2020), 53–59. https://doi.org/10.1145/3431235.3431238
[11]
Elizabeth Hull, Kenneth Jackson, and Jeremy Dick. 2005. DOORS: A Tool to Manage Requirements. https://doi.org/10.1007/1-84628-075-3_9
[12]
Timothy Patrick Kelly 1999. Arguing safety: a systematic approach to managing safety cases. PhD Thesis, University of York York, UK.
[13]
T P Kelly and J A McDermid. 2001. A systematic approach to safety case maintenance. (2001), 14.
[14]
Nancy G Leveson. 2011. The use of safety cases in certification and regulation. Massachusetts Institute of Technology. Engineering Systems Division.
[15]
Jinfeng Lin, Yalin Liu, Qingkai Zeng, Meng Jiang, and Jane Cleland-Huang. 2021. Traceability Transformed: Generating more Accurate Links with Pre-Trained BERT Models. arXiv:2102.04411 [cs] (Feb 2021). http://arxiv.org/abs/2102.04411 arXiv:2102.04411.
[16]
Jon Speer. [n.d.]. THE ULTIMATE GUIDE TO ISO 13485:2016 QUALITY MANAGEMENT SYSTEM FOR MEDICAL DEVICES. MEDICAL DEVICES ([n. d.]), 60.

Cited By

View all
  • (2024)Supporting Software Maintenance with Dynamically Generated Document Hierarchies2024 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58944.2024.00046(426-437)Online publication date: 6-Oct-2024
  • (2023)Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process2023 IEEE 31st International Requirements Engineering Conference Workshops (REW)10.1109/REW57809.2023.00089(475-478)Online publication date: Sep-2023

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
October 2022
2006 pages
ISBN:9781450394758
DOI:10.1145/3551349
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: 05 January 2023

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Short-paper
  • Research
  • Refereed limited

Funding Sources

  • NSF

Conference

ASE '22

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)247
  • Downloads (Last 6 weeks)25
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Supporting Software Maintenance with Dynamically Generated Document Hierarchies2024 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58944.2024.00046(426-437)Online publication date: 6-Oct-2024
  • (2023)Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process2023 IEEE 31st International Requirements Engineering Conference Workshops (REW)10.1109/REW57809.2023.00089(475-478)Online publication date: Sep-2023

View 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

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media