[nSLUG] XEN & Heartbeat

Hatem Nassrat 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.


-- 
Hatem Nassrat



More information about the nSLUG mailing list