Design Immersion refers to a design principle for distributed
real-time systems which reconciles advantages of asynchronous
solutions regarding assumption coverage and real-time requirements.
By case study we show how a totally time free algorithm can be
implemented in a real network in order to achieve required timeliness
properties.

As first step we introduce a novel implementation of the perfect
failure detector resting on an abstract system model without upper
bounds on end-to-end message delays. In the second step we demonstrate
how this algorithm can be transferred from the abstract model into a
real network architecture. Finally we prove that this solution
exhibits real-time behavior, like a synchronous solution would do. But
additionally our algorithm ensures safety and liveness even with
violated time bounds.