Developing Safety-Critical Software

What Hacker News says

1. kejaedFeb 2024
   Here’s a decent textbook that covers the software side in aerospace (DO-178):

   https://www.amazon.ca/Developing-Safety-Critical-Software-Pr...

   You can read up on the system safety side in documents like ARP5754 and ARP4761 and hardware side in DO-254.

   thread
2. dchichkovFeb 2019
   I would recommend reading "Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance".
   thread
3. dkcMay 2016
   The only one I've ready cover to cover is: "Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance"

   It's on par with everything else I've seen. I've skimmed through a few other books on the same area. They all appear to cover the same stuff.

   I'd recommend the above book to see what most of safety-critical software is (documentation).

   thread