Found in 1 comment on Hacker News
kejaed · 2024-02-03 · Original thread
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.

Fresh book recommendations delivered straight to your inbox every Thursday.