Code Design for Dependable Systems

Chapter 9.4.2 - Design for SEC-Se/bEL Codes

9.4.2 Design for SEC-Se/bEL Codes

The tensor product of the error correcting codes and the error detecting codes is also
applied in the design of SEC-Se/bEL codes. That is, tensor product of an SbEC code and a
single-bit error correcting and e-bit error detecting code (or SEC-eED code) produces the
SEC-Se/bEL code, as shown in the following theorem.

Theorem 9.14   The code described by the following matrix H is an SEC-Se/bEL code
whose code length N = b × n bits:

 

where Ä represents the tensor product, H' is the parity-check matrix of the Sb'EC code
whose code length is n bytes, H'i is the submatrix of H' corresponding to the i-th byte, H' is
the parity-check matrix of the (b, b − b') SEC-eED code, and Hi is the submatrix of H
corresponding to the i-th byte.

Proof   It is apparent that the code satisfies condition 1 of Theorem 9.10 for any single-
bit errors and any e or fewer bits errors. Condition 2 of Theorem 9.10 is satisfied
because the binary columns of H all differ. The syndromes resulting from any single-
byte errors in the i-th byte is different from those in the j-th byte, where ij, because
each column in Hi is determined by the product of H'i by H'. In general, every H'i
includes a b' ×b' nonsingular matrix, and every Hi includes a b' × b matrix obtained
by the product of the nonsingular matrix and H'. Consequently any syndrome resulting
from e or fewer errors in a byte is nonzero and therefore satisfies condition 3 of Theorem
9.10. This condition also tells us that the syndromes caused by any single-bit
errors are different from those caused by any single-byte errors excluding single-bit
errors, and therefore condition 4 is also satisfied. From the above, the indicated matrix
H satisfies all conditions of Theorem 9.10, and hence the code described by H is an
SEC-Se/bEL code.                                                                                         Q.E.D.

If we apply the maximal Sb'EC codes [HONG72] shown in Subsection 5.1.4, the
maximum code length in bits of the SEC-Se/bEL codes, defined by Theorem 9.14, can be
expressed as follows:

 

where R is the check-bit length of the SEC-Se/bEL code and b' is the code length in bits of
the SEC-eED code having c check bits where c = R mod b'. If e = 2, for example, then
b = 2b' − 1 and b' = 2c− 1.

Example 9.3 [KITA95]: (36, 30) SEC-S2/4EL Code

For b = 4, e = 2 and b' = 3, the following matrices H' and H' show the (27, 21) S3EC
code and the (4, 1) SEC-DED code, respectively:

 

The tensor product of these two codes produces the (36; 30) SEC-S2/4EL code shown
in the following matrix H:

 

UNLIMITED FREE
ACCESS
TO THE WORLD'S BEST IDEAS

SUBMIT
Already a GlobalSpec user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your GlobalSpec Experience

Category: ISO Containers
Finish!
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.