[nSLUG] XEN & Heartbeat
hnassrat at gmail.com
Wed Jun 3 23:56:05 ADT 2009
On Wed, Jun 3, 2009 at 9:37 PM, Michael Crawford <mdcrawford at gmail.com> wrote:
> There remains a problem though: it has been found that, while
> difficult and expensive, it is possible to implement fault-tolerant
> real-time safety-critical software completely to spec, without any
> bugs whatsoever.
I find that had to believe. This is the first time I hear that it is
possible to make bug free software.
> What is sometimes discovered with such software is
> that the original spec is incorrect.
That is (IMHO) always the case, from building little toys to building
large systems, the user cannot express exactly what they want.
More information about the nSLUG