The growing demand for reliable and extensive connectivity has made low Earth orbit (LEO) satellites aided Internet of Things (IoT) systems a critical area of research. However, current theoretical studies on IoT-over-LEO satellite systems often rely on unrealistic assumptions, such as infinite terrestrial areas and omnidirectional satellite coverage, leaving significant gaps in theoretical analysis for more realistic operational constraints. These constraints involve finite terrestrial area, limited satellite cov…