Interesting lecture about the approach to software programming. The problem is not bad planning or bad programming,
it's the software approach based on Turing's machine. The author gives a solution based on how integrared circuits work
More info here: http://www.rebelscience.org/Cosas/Reliab ility.htm