https://rose.geog.mcgill.ca/wordpress/?p=201 Thu, 21 Apr 2005 03:11:44 +0000 hourly 1 https://wordpress.org/?v=5.8.10 https://rose.geog.mcgill.ca/wordpress/?p=201&cpage=1#comment-474 Thu, 21 Apr 2005 03:11:44 +0000 /?p=201#comment-474 There are many fault-tolerance techniques that are used to make computers more reliable.
Usually you will have replication, so if one of your computer freeze the other takes over.
However fault-tolerance is quite expensive so the money invested depends on the criticality
of the application. Life-critical application (airplane auto-pilot, rail shifting program)
usually use quite elaborate fault-tolerance and use formal proofs that proves the program
is correct. But you are right… even with all these techniques catastrophee still occur,
a number of planes have crashed because of software bugs.

]]>