We study the radial part of sub-Riemannian Brownian motion in the context of totally geodesic foliations. Itô’s formula is proved for the radial processes associated to Riemannian distances approximating the Riemannian ...