Using a redundant time link system in TAI computation

The network of time links for the computation of TAI has always be chosen such as to allow a unique solution, i.e. not using any redundancy. In the present situation, many links can be computed with two or more techniques (mostly Two Way time transfer -TW- and Global Positioning System -GPS-) and the TW network itself is highly redundant. Therefore it makes sense to use all the available information and to compute TAI links using the available redundant network. In the paper, we examine a practical formalism to be used in this aim and we present results of test computations using real TAI data.