News for hackers. Stuff that matters.
Re:Designing Safe Software Systems Part 2 (2009) by hNewsLover99 on Tuesday July 19, 2016 @10:40PM (#12126504)
A classic DrDobbs blog. Here's a link to Walter Bright's preceding part 1 blog:

http://www.drdobbs.com/architecture-and-design/safe-systems-...

Re:Designing Safe Software Systems Part 2 (2009) by i_feel_great on Wednesday July 20, 2016 @02:29AM (#12127242)
This article mentions "dual path".

Can anyone confirm the tale that some aircraft/spacecraft have the same system built with different versions of Ada/Ada compilers on different hardware running at the same time for redundancy?