For example, to ensure that a local area network service has omission/performance failure semantics, it is standard practice to use error-detecting codes that detect with high probability any message corruption.
If the data link layer above the physical layer uses at least 2-bit error-detecting codes to detect message corruption and discards corrupted messages, then this failure is propagated as an omission failure at the data link layer.
Assume that, to build S, one decides to use a duplex design based on two physically independent storage servers s, s' which use 1-bit error-detecting codes.
20], then the duplex design based on the omission failure hypothesis for memories with 1-bit error-detecting codes is no longer adequate.
There is a rich literature specializing in error-detecting codes and this subject seems to have reached a fairly mature state [52, 65].