Developing Safety-Critical Software
by Leanna Rierson · first published 2013
3mentions
3recommended by
3HN commenters
2016–2024first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
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.
on “Aerugo – RTOS for aerospace uses written in Rust” ↗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…
on “Ask HN: How can I become a flight software engineer?” ↗I would recommend reading "Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance".
on “Amazon cargo plane crashes in Texas” ↗