This book describes the reliability research results and experience of BeiDou navigation satellite in engineering development. According to the characteristics of high reliability and high availability, this book discusses the reliability requirements, reliability design, reliability modeling, and reliability analysis of navigation satellite and constellation, focusing on the demonstration and decomposition of reliability requirements, constellation availability design, satellite availability design, and availability analysis. Based on the characteristics of batch production of navigation...