Re:Please do not attempt to simplify this code
by nradov on Thursday December 27, 2018 @07:57PM
(#18774032)
For background on how actual Space Shuttle flight control software was written I recommend reading the "NASA Manager's Handbook for Software Development". It contains some great guidelines for writing safety-critical software. AFAIK, no Space Shuttle mission ever suffered a serious safety incident due to a software defect.
https://ntrs.nasa.gov/search.jsp?R=19910006460