Everything about Software safety

🧭 Start here: a 6-step reading path

1. Read the overview: Software safetyA 5-minute orientation
2. Skim a recent paper: Antecedents of psychological safety in agile software development teamsInfluential work since 2022
3. Pick up a classic book: The Alignment ProblemThe most-reprinted book on the subject
4. Read the landmark paper: Evaluation of safety-critical softwareCited 226 times
5. Go sideways: Functional safetyA closely related topic
6. Go sideways: Cantata++A closely related topic

🏆 Landmark papers (most cited)

• Evaluation of safety-critical software

  David L. Parnas, A. John van Schouwen, Shu Po Kwan · 1990 · Communications of the ACM · 226 citations

• Analyzing Software Safety

  N.G. Leveson, P.R. Harvey · 1983 · IEEE Transactions on Software Engineering · 168 citations

• Software FMEA analysis for safety-related application software

  Gee-Yong Park, Dong Hoon Kim, Dong Young Lee · 2014 · Annals of Nuclear Energy · 20 citations

• Software tools for safety-critical software development

  Alan Wassyng, Mark Lawford · 2005 · International Journal on Software Tools for Technology Transfer · 18 citations

• Software safety: relating software assurance and software integrity

  Ibrahim Habli, Richard Hawkins, Tim Kelly · 2010 · International Journal of Critical Computer-Based Systems · 14 citations

• Software intensive systems safety analysis

  A.C. Tribble, S.P. Miller · 2004 · IEEE Aerospace and Electronic Systems Magazine · 13 citations

• Software qualification in safety applications

  J.D. Lawrence · 2000 · Reliability Engineering & System Safety · 10 citations

• A framework for software safety in safety-critical systems

  Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy · 2009 · ACM SIGSOFT Software Engineering Notes · 10 citations

🆕 Influential since 2022

• Antecedents of psychological safety in agile software development teams

  Adam Alami, Mansooreh Zahedi, Oliver Krancher · 2023 · Information and Software Technology · 50 citations

• Automatically generating test cases for safety-critical software via symbolic execution

  Elson Kurian, Daniela Briola, Pietro Braione · 2023 · Journal of Systems and Software · 31 citations

• The role of psychological safety in promoting software quality in agile teams

  Adam Alami, Mansooreh Zahedi, Oliver Krancher · 2024 · Empirical Software Engineering · 27 citations

• New software solutions for microbiological food safety assessment and management

  Arícia Possas, Antonio Valero, Fernando Pérez-Rodríguez · 2022 · Current Opinion in Food Science · 26 citations

• Using software to shape safety on the construction site

  V.S. Tynchenko, I.I. Kleshko, A.S. Borodulin · 2023 · E3S Web of Conferences · 22 citations

📚 Books worth reading

• The Alignment ProblemBrian Christian · 2020
• Cognitive work analysisKim J. Vicente · 1999
• Embedded Software Development for Safety-Critical SystemsChris Hobbs · 2015
• Computer Safety, Reliability, and SecurityErwin Schoitsch · 2011
• Developing Safety-Critical SoftwareLeanna Rierson · 2013
• Medical Instrument Design and DevelopmentAlessandro Neri, Claudio Becchetti · 2013
• 📕High integrity software standards and guidelinesDolores R. Wallace · 1992
• Computer safety, reliability, and securityStuart Anderson, Sandro Bologna · 2002

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Functional safety Functional safety is the part of the overall safety of a system or piece of equipment that depends on automatic protection operating correctly in response…
• Cantata++ Cantata++, commonly referred to as Cantata in newer versions, is a commercial computer program designed for dynamic testing, with a focus on unit testing…
• IEC 61508 IEC 61508 is an international standard published by the International Electrotechnical Commission (IEC) consisting of methods on how to apply, design,…
• ISO 26262 ISO 26262, titled "Road vehicles – Functional safety", is an international standard for functional safety of electrical and/or electronic systems that…
• DO-178B DO-178B, Software Considerations in Airborne Systems and Equipment Certification is a guideline dealing with the safety of safety-critical software used…
• Automotive safety integrity level Automotive safety integrity level (ASIL) is a risk classification scheme defined by the ISO 26262 - Functional Safety for Road Vehicles standard. This…
• Safety integrity level In functional safety, safety integrity level (SIL) is defined as the relative level of risk-reduction provided by a safety instrumented function (SIF)…
• DO-178C DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the primary document by which the certification authorities such as…