Professional Documents
Culture Documents
Automatic Repeat Request
Automatic Repeat Request
exactlocations of theerrors.Ineither
case, an erroneous
wordisdelivered
to theuser. Sinceno retransmission is
required in an FEC error-control system, no feedback channel
is needed. The throughput of the system is constant, and is
equal to the rate of the code used by the system.
FEC error-control systems, however, do have some drawbacks. When a received word is detected in error, it must be
decoded, and the decoded word must be delivered to the user
regardless of whetheritiscorrect
or incorrect. Since the
probability of adecodingerrorismuch
greater than the
probability of anundetected error, it isharder to achieve
high system reliability with
FEC schemes. In order to attain
high reliability, a long, powerful error-correcting
code must
be used andalargecollection
of errorpatternsmust
be
corrected. This makesdecodinghard
to implement and
expensive. For
these
reasons, ARQ schemes
are
often
preferred
over
FEC schemes for
error
control
in
data
communicationssystemssuch
as packet-switchingdata
networks and computer communications networks. However,
incommunications(ordatastorage)systems
wherefeedbackchannelsarenotavailable
or retransmissionisnot
suitable for some reason, FEC is the only choice.
Thispaper
surveys a number of ARQ schemes. They
representalternativesolutions
to thedesign
of retransmission
protocols,
particularly
the
mode in
which
the
transmitterstores,orders,andretransmitsthecodewords
which have been received in error. These different schemes
have arisen primarily in an attempt
to combat the problem
that, when the channel error rate increases, the throughput
of an ARQ error-control system may deteriorate very rapidly.
This is caused bythetimewastedinretransmittingthe
codewords detected in error. This problem becomes particularly severe if there is significant round-trip delay between
the transmission of a codeword and the receipt of its error
statusinformationbackat
the transmitter. Long delayis
inevitable when satellites or longterrestrialchannels
are
being used.
Anotherapproach to error control is through
theuse of
hybrid ARQ schemes which incorporate both FEC and retransmission.Hybrid ARQ schemes offerthepotentialforbetter
performance if appropriate ARQ and FEC schemes are
properly combined. Either block or convolutional codes may
tinuously.However,thetransmitteronly
resends
those
codewords that are negatively acknowledged (NAKed). After
resendinga
NAKed codeword,thetransmittercontinues
transmittingnewcodewordsinthetransmitterbuffer(as
illustratedin Fig. 3). Withthis scheme, abuffermust
be
provided at the receiver
to store the error-free codewords
following
received
a
word
detected
in
error,
because,
ordinarily, codewords must be delivered to the end user in
correct order, for example, in point-to-point communications.
When the first NAKed codeword is successfully received, the
receiver then releases any error-free codewords in consecutive order from the receiver buffer until the next erroneously
received
word
is
encountered.
Sufficient
receiver
buffer
storage must be provided in a selective-repeat ARQ system;
otherwise, buffer overflow may occur and codewords may be
lost.
Reliability and Throughput Efficiencies of the Basic ARQ Schemes
The performance of an ARQ error-control
system
is
normally measured by its reliability and throughput .efficiency.Inan ARQ system,thereceivercommitsadecoding
error whenever it accepts a received word with undetected
errors. Such an event is called an error event. Let P(E) denote
the probability of an error event. Clearly, for an ARQ system
to be reliable,the P(E) should be madeverysmall.
The
throughput efficiency (simple throughput) of an ARQ system
is defined as the ratio of the average number of information
c andthatthefeedbackchannelisnoiseless.First,
we
consider the stop-and-wait ARQ scheme. Let A be the idle time
of the transmitter between two successive transmissions. Let
6 be the bitrate
of thetransmitter.
Even thoughthe
transmitter does nottransmitduringtheidleperiod,the
effect of the idle period on the throughput must be taken into
consideration.In one round-trip delay time, the transmitter
couldtransmit n+hs bitsif it didnotremainidle.
For a
codeword to be receivedcorrectly,theaverage
numberof
bits that the transmitter could have transmitted is
PC = probabilitythata
received n-bitwordcontains
no
error;
Pd = probability that a received word contains a detectable
error pattern; and
Pe = probability that a received word contains
anundetectable error pattern.
Tsw = (n
+ Pd + Pd2 + . . .)
(1)
(1 - E ) " .
(2)
Pe I[ l - (1 - , ) k ] 2 - ( " - k ' .
TGBN
(3)
1 ' PC
= 1 + N(1 - PC)
PC
Codes satisfying the above bound have been found and will
be discussedinalatersection.
If sucha code is used for
errordetection
and if thenumber
of paritybits, n-k, is
sufficiently large, P, can be made very small relative to PC
and hence P ( E ) << 1. For example, let C be the (2047,2014)
triple-error-correcting primitive BCH code. This code satisfies
the bound given by (3) [14]. Suppose that this code is used
forerrordetectioninan
ARQ system. Let E =
(a very
high bit error rate).Then PC- 1.25 X lo-', and Pe 5 lo-''. From
( l ) ,we have
We see thatthethroughput
dependson boththechannel
errorrateandtheround-tripdelay
N. The term (1 - Pc)N
represents the effect of thechannelerrorrate
and the
round-tripdelay. For communicationssystemswherethe
data rate is not too high and the round-trip delay is small, N
can be made small by choosing a reasonably long
code. In
this case, theeffect of the round-trip delay is insignificant
and the GBNARQ scheme provides high throughput performance. However, for a communications system with a high
data rate and a long round-trip delay, N may become very
large. As aresult, (1 - Pc)N becomes significantlylarge,
especially when thechannelbiterrorrate
E ishigh. This
P(E) I8 x
From this example we see that high system reliability can be
achievedbyan ARQ error-control scheme usingverylittle
parity overhead.
Now we examine the throughput performance of the three
basic ARQ schemes. For simplicity, we assume that the
forward channel is a random-error channel with bit error rate
December 1984-VOl. 22, No. 1 2
IEEE Communications Magazine
would
make
the
throughput
performance
of GBN
ARQ
inadequate. For example,considerasatellitecommunications system with a data rate
of 1 M b l s andaround-trip
delay of 700 ms. If we choose n = 10000 bits, then N = 70.
For E = lb4,we have PC = 0.886 and (1 - Pc)N 8. This gives
a thro,ughput of less than 10% of the code rate k / n .
Figure 4 shows how vGBNvaries with bit error rate
E for
various values of code block length n. Throughput values are
computed for two values of round-trip delay, namely 30 ms,
such as might be the case for a long terrestrial line, and 700
ms, which is typical for a satellite channel. In bothcases, the
bit rate is 64 kb/s. Each code block is assumed to contain 32
bits ofoverhead, including parity and control bits.
We see
that, for such a low data rate, the
GBNARQ system does
provide
satisfactory
throughput
performance
when the
round-tripdelayisnot
too large,suchas
inaterrestrial
system. For asatellitesystem,however,thethroughput
becomes very low for a bit error rate of t >
Now consideraselective-repeat
(SR) ARQ systemfor
which the receiver has an infinite buffer
to store the errorfreecodewords when a received word is detected in error.
We will call such a system an ideal
SR ARQ system. For a
codeword to be successfully accepted bythereceiver,the
average number of transmissions needed is
r,,
1 . PC
+ 2 . P,(1
+ P . Pc(l - Pc)Q-' + . .
- -1
PC
'
We see that the throughput does not depend on the roundtrip delay. As a result, SR ARQ offers significant benefits for
satelliteandlongterrestrialchannels.Figure
5 presentsa
comparison of ideal SR and GBN ARQ's for a satellite channel
with a data rate of 1.5 M b / s and a round-trip delay of 700
Figure 7 showshowthethroughput
of the SR+GBNARQ
scheme varies with bit error rate for several valuesof Y . As v
increases,
the
throughput
performance
of the SR+GBN
approaches the ideal case.
Another mixed-mode scheme is called the selective-repeat
plus stutter (SR-tST) ARQ scheme [24]. This is the same as
the SR+GBN scheme except that, instead of using the GBN
mode after v retransmissionattempts of agiven NAKed
codeword, the transmitter switches to the ST mode in which
it repeatedly retransmits that codeword until it receives an
ACK.TheSR+STARQ
scheme issimplerbut less efficient
than the SR+GBNARQ scheme.
Avariation of theabovemixed-mode
ARQ scheme was
suggested by Weldon [25]. When the transmitter is in the SR
mode followingthereceipt
of a NAK, it retransmits the
NAKed codeword 91 times (stuttering). Then it proceeds to
December 1 9 8 4 - V O I . 22, NO. 12
IEEE Communications Magazine
10
(1 - t ) k )
(8)
(9)
P, 52-("-k' { 1
+ (1 - 24" - 2(1 y )
-
(10)
11
December 1 9 8 4 - V O 1 . 2 2 , No. 12
IEEE Communications Magazine
@.a)
thethroughput.Severaltype-lhybrid
ARQ schemes using
either block or convolutional codes have been proposed and
analyzed [28, 30-361.
For achannelwithanonstationarybiterrorrate,
one
would like to design an adaptive hybrid ARQ system. When
the channel is quiet, the system behaves just like a pure ARQ
system, with only parity-check bits for error detection being
included in each transmission. Therefore, thethroughput
performanceisthe
sameas that of apure ARQ system.
However,whenthechannel
becomes noisy,extraparitycheck bits are needed. This concept forms the basis
of the
type-ll hybrid ARQ schemes. A message in its first transmission is coded with parity-check bits for error detection only,
asinapure
ARQ scheme. When thereceiverdetectsthe
presence of errors in a received word, it saves the erroneous
word in a buffer, and at the
same time requests a retransmission. The retransmission is not the original codeword but
ablock of parity-check bits which is formed
based onthe
original message and an error-correcting 'code. When this
block of parity-check bits is received, it is used to correct the
errors in the erroneous word stored in the receiver buffer. If
errorcorrectionisnotsuccessful,thereceiverrequestsa
second retransmission of the NAK'ed word. The second
retransmissionmay be eitherarepetition
of theoriginal
codeword or another block of parity-check bits. This depends
ontheretransmissionstrategyandthetype
of errorcorrecting code to be used.
The concept of parity retransmission for error correction
wasfirstintroducedbyMandelbaum
[37]. The first type-ll
hybrid ARQ using
parity-retransmission
a
strategywas
proposedbyMetzner [38, 391. Metzner's scheme waslater
extended andmodifiedbymanyothers
[29, 40-491. Among
all the type-ll hybrid ARQ schemes that have been reported,
the scheme proposed by Lin and Yu [29] is the most analyzed
and forms the basis for the schemes reported in [41-491. The
Lin-Yu scheme provides both high system reliability and high
throughput performance.
WithLin-Yu'stype-llhybrid
ARQ scheme, two codes are
used; one is a high rate (n,k) code Co which is designed for
errordetectiononly, and the other is a half-rate invertible
( 2 k , k ) code C1 whichisdesignedforsimultaneouserror
December 1984-Vol. 22, No. 1 2
IEEE Communications Magazine
12
13
pr
On channels
where
fairly
a constant
noise
level
is
anticipated, type-l hybrid ARQ schemes can offer a throughput advantage over type-ll schemes (see Fig. 8).as well as a
simpler protocol. Type-l schemes using convolutional codes
have been proposedbyseveralauthors
[33, 34,50-521. In
thissection, we will review two recent type-l
schemes for
use inpacket-switchingnetworks
[34, 521. Both of these
make use of convolutional codes withsequentialdecoding
[2, 3,51.
In
conventional
sequential
decoding
of convolutional
codes,decodingproceedsuntilthereceived
message is
completely decoded or an erasure is declared. Erasures are
normally declared when decoding time
becomes excessive.
631 ( 8
December 1984-Vol.
22,
No. 12
IEEE Communications Magazine
Codes
14
In type-Ihybrid
ARQ sequentialdecoding,thistime-out
condition can be used as a signal to request a retransmission. Assume that a data sequence /(X), ready for transmission,
is
encoded into
codeword
a
V(X) in
an
(n,k,m)
convolutional code CI.V(X) isthentransmittedoverthe
channel,andthereceived
sequence P(X) is decoded bya
sequential decoder. If decoding is completed within the timeout limit,the decoded sequence P(X) is accepted by the
receiver.Otherwise,aretransmissionisrequested.Thisis
called t h e time-out algorithm (TOA) [52].The time required to
decode providesanaturalerror-detectingmechanismwith
sequential decoding. When the received sequence is not very
noisy,is
it
decoded quickly, and no
retransmission
is
necessary. When thereceived sequence isnoisy,however,
decoding takes a longer time due to the tree-searching rules
of
the
decoder.
If the
time-out
limit
is
exceeded, a
retransmission is requested.
Since each decoded branch in the code results in k data
bits being delivered to the user, the throughput efficiency of
the TOA assuming an ideal SR protocol is defined as
References
[l]
E. R. Berklekamp, Algebraic Coding Theory, New York: McGrawHill, 1968.
[2] G. C. Clark, Jr., and J. B. Cain, Coding for Error Control, New
Jersey: Plenum, 1981.
[3] S. Linand 0. J. Costello, Jr.. Error ControlCoding:Fundamentals and Applications, New Jersey: Prentice-Hall, 1983.
[4] F. J. MacWilliams,and
N. J. A. Sloane, Theoryof
ErrorCorrecting Codes, Amsterdam: North Holland, 1977.
[5] W.W. Petersonand E. J. Weldon, Jr.,.rror-Correcting Codes,
2nded., Cambridge, MA: MIT Press,1972.
on undetectederrorprobabilityand
[6] V. I. Korzhik,"Bounds
optimumgroup codes in achannelwithfeedback,"
Radiotecknika, no. 20, vol. 1, pp. 27-33,1965. (Englishtranslation:
Telecommun. and Radio ng., vol. 2, pp. 87-92, Jan. 1965.)
of undetected
[7] V. I. Levenshtein,"Boundsontheprobability
error," Problemy Perdachi Informatsii, vol. 13, no. 1 , pp. 3-18,
1977. (Englishtranslation: ProblemofInformationTransmission, vol. 13, no. 1, pp. 1-12, 1978.)
E. Hellman, "Concerning a
[8] S. K. Leung-Yan-Cheong andM.
boundonundetectederrorprobability."
I Trans.Inform.
Theory, IT-22, no. 2, pp. 235-237, March 1976.
[9] S. K. Leung-Yan-Cheong, E. R. Barnes, and 0. U. Friedman, "Some
properties of undetected error probability of linear codes," /E
Trans. lnform. Theory. IT-25, no. 1, pp. 110-112, Jan. 1979.
15
[35]
[36]
[37]
[38]
[39]
[40]
[41]
[42]
[43]
[44]
[45]
[46]
[47]
[48]
[49]
[50]
[51]
[52]
usingsequentialdecoding, ITrans.Inform.Theory,
IT-29,
Pp. 521-535, July 1983.
A. Drukarev and D. J. Costello, Jr., A comparison of block and
convolutional codes in ARQ error control schemes, I Trans.
Commun., COM-30, no. 11, pp. 2449-2455, Nov. 1982.
C. S. K. Leungand A. Lam,Forwarderrorcorrectionforan
ARQ scheme, /E Trans.
Commun.,
COM-29, no. IO, pp.
1514-1519, OCt. 1981.
D. M.Mandelbaum,Adaptive-feedbackcoding
scheme using
incremental redundancy, I Trans. Inform. Theory, IT-20, pp.
388-389, May 1974.
J. J. Metzner, Improvements in Block-Retransmission Schemes,
presentedat IEEE Int.Symp.Inform.Theory,Ithaca,
NY, Oct.
10-14,1977.
J. J. Metzner, Improvements in block-retransmission schemes,
/E Trans. Commun., COM-27, pp. 525-532,Feb.1979.
T.C. Ancheta,ConvolutionalParity
Check Automatic Repeat
Request,presentedat
1979 IEEE Int.Symp.Inform.Theory,
Grignano, Italy, June 25-29, 1979.
S. Linand
J. S. Ma, A Hybrid ARQ SystemwithParity
Retransmission for Error Correction, IBM Res. Rep. 7478(32232),
Jan. 11,1979.
S. Lin and P. S. Yu,SPEC-An
Effective Hybrid-ARQ Scheme,
IBM Res.Rep. 7591(32852), April 4, 1979.
Y.-M. Wangand S. Lin,Amodifiedselective-repeattype-ll
hybrid ARQ system and its performance analysis, /E Trans.
Commun., COM-31, no. 5, pp. 593-608, May 1983.
Y.-M. Wangand S. Lin, A parity-retransmissionhybrid ARQ
usingaconvolutionalcodeandViterbidecodingforerror
control, GiOBECOM 82, Conf.Rec., E7.1, Miami, FL, Nov.
29-Dec.2,1982.
L. R. Lugandand D. J. Costello, Jr., A comparisonofthree
hybrid ARQ schemesusingconvolutionalcodesonanonstationary channel, GLOBECOM 82 Conf. Rec., C8.4, Miami, FL,
Nov. 29-Dec.2,1982.
R. A. Comroeand D. J.Costello,Jr., ARQ schemes for data
transmission in mobile radio systems,
I Trans. Commun.,
COM-32, June 1984.
S. Lin.Parityretransmission
ARQ using
M.J.Millerand
convolutional codes, submitted to I Trans. Inform. Theory,
1982.
M.J.Miller,
ARQ Systems, Ph.D. Dissertation,
Electrical
EngineeringDepartment,University
of Hawaii,Honolulu,
HI,
1982.
L. R. Lugand, ARQ Schemes UsingConvolutional Codes and
ViterbiDecodingoverNon-StationaryChannels,
Elec. Engr.
Dept. Tech. Rept. EE8212-32-02, 111. Inst. of Tech., Chicago, IL,
1982.
K. E. Perry and J. M. Wozencraft, SECO: a self-regulating error
correctingcoder-decoder, IRE Trans. Inform. Theory, IT-8, pp.
128-135, Sept. 1962.
R. J. Fang,Lowerboundsonreliabilityfunctions
of variable
lengthnonsystematicconvolutionalcodesforchannelswith
noiselessfeedback,
/ETrans.Inform.Theory,
IT-17, pp.
161-171, March 1971.
R. E. Kahn, S. A. Gronemeyer, J. Burchfiel, and R. C. Kunzelman,
Advances in packet radio technology, Proc. I, vol. 66, pp.
1468-1496, NOV.1978.
16
Michael J. Miller received the B.E. honors and the graduate Dip.Ed.
degrees from the University of Adelaide, Adelaide, South Australia in
1961, and the M.Sc.(Eng.) degree from Queen's University, Kingston,
Ont., Canada in 1973. He received the Ph.D. degree from the University
of Hawaii, Honolulu, in 1981.
He was with the Australian Postmaster General's Department from
1956-1966, initially as a cadet engineer and subsequently as a radio
engineer
responsible
for
radio
relay
system
development
and
operations.Since 1966, he has been onthefaculty
of theSouth
Australian Institute of Technology, Adelaide, Australia, where he is
currently an associate professor. In
1980 he spent six months as a
visiting research colleague at the University
of Hawaii. His current
research interests are in the fields of error control coding and digital
radio transmission.
e ofFellowa Dr.is Miller
IEE.
17