See this current HN item on writing Space Shuttle software: https://news.ycombinator.com/item?id=12014248 https://news.ycombinator.com/item?id=12014248 For an

See this current HN item on writing Space Shuttle software: https://news.ycombinator.com/item?id=12014248 https://news.ycombinator.com/item?id=12014248 For an early thorough review of that team, there was a great CACM article I read in 1982-3 as I recall, it was written not long after the first launch in 1981, mentions how they changed/touched 70%? of the software after that launch, and in simulation found a possible error that would do something asymmetric with the SRBs, which would have been fatal to the shuttle (although maybe not the pilots, who in the first 4 flights had SR-71 derived ejection systems).