4 ms·

http://research.microsoft.com/Terminator/ http://research.microsoft.com/Terminator/ The ultimate goal of the TERMINATOR project is develop automatic techniques

by Freaky 18y ago

http://research.microsoft.com/Terminator/ http://research.microsoft.com/Terminator/ The ultimate goal of the TERMINATOR project is develop automatic techniques (and tools that implement them) that will allow us to prove that industrial software components cannot hang.

deleted 18y ago
[deleted]
cabalamat 18y ago
(Said in an Austrian accent:) They'll be back.
marvin 18y ago
This is actually pretty interesting. They aren't claiming that they are trying to make a general solution, just one that works in most cases. It might even be possible, AFAIK there hasn't been very much research in this area.
LogicHoleFlaw 18y ago
My father designs HVAC systems for nuclear missile silos. I was asked him about how the embedded controls software works, and how they handle error conditions. The biggest concern? EMP blasts. The solution? Mechanical failsafes.
- a-priori 18y ago
  This is the solution in other high-reliability systems as well. You develop to as strict standards as are feasible, then provide provisions (e.g. watchdog timers and replication) for when it fails.
  - mleonhard 18y ago
    And supervisor processes, as in Erlang.