This paper considers the joint channel estimation and device activity detection in grant-free random access systems, where a large number of Internet-of-Things devices intend to communicate with low-earth orbit satellite sporadic way. In addition, massive multiple-input multiple-output (MIMO) orthogonal time-frequency space (OTFS) modulation is adopted combat dynamics terrestrial-satellite link...