Skip to main content
SpringerLink
Log in

Research on the Availability Analysis Method of Navigation Satellite Based on Petri Nets

  • Conference paper
  • First Online:
Book cover China Satellite Navigation Conference (CSNC) 2018 Proceedings (CSNC 2018)

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 499))

Included in the following conference series:

Abstract

Availability is an important index for measuring the service performance of navigation satellite. The traditional availability analysis methods only take into account the satellite failure factors, but not consider the satellite performance status. An availability analysis method of navigation satellite based on Petri nets is proposed in this paper, considering both the two factors of failure and performance status. With the consideration of three key navigation tasks (satellite uplink signal injection, navigation information processing, and navigation signal broadcasting), the satellite availability model, which describes the health of the single machine and the quality of the navigation signal, is firstly established by the colored Petri nets (CPN) on the basis of information flow. Then, the results of simulating analysis of satellite availability are obtained using Monte Carlo (MC) simulation algorithm.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Zheng H, Li H, Yang Z (2011) Analysis of constellation availability of satellite navigation system. Acospace Contr

    Google Scholar 

  2. Li H (2013) Research on spare satellites strategy of navigation constellation based on system availability. In: China Satellite Navigation Conference (CSNC) 2013 Proceedings, Wuhan

    Google Scholar 

  3. Analysis techniques for dependability—Petri net techniques. IEC 62551.2012

    Google Scholar 

  4. DCPN-based models for dependability assessment. Volume 3, 2002

    Google Scholar 

  5. Assessment of Galileo key dependability and safety parameters: a simulation-based approach. In: Proceedings of ION national technical meeting, Long Beach, CA, September 2005

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. China Academy of Aerospace Standardization and Product Assurance, Beijing, China

    Haisheng Li, Heng Zheng & Zixia Zheng

  2. Beijing Institute of Spacecraft System Engineering, Beijing, China

    Haitao Zhao

Authors
  1. Haisheng Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heng Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Haitao Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zixia Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Haisheng Li .

Editor information

Editors and Affiliations

  1. China Aerospace Science and Technology Corporation, Beijing, China

    Jiadong Sun

  2. China Satellite Navigation Engineering Center, Beijing, China

    Changfeng Yang

  3. China Satellite Navigation Engineering Center, Beijing, China

    Shuren Guo

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Li, H., Zheng, H., Zhao, H., Zheng, Z. (2018). Research on the Availability Analysis Method of Navigation Satellite Based on Petri Nets. In: Sun, J., Yang, C., Guo, S. (eds) China Satellite Navigation Conference (CSNC) 2018 Proceedings. CSNC 2018. Lecture Notes in Electrical Engineering, vol 499. Springer, Singapore. https://doi.org/10.1007/978-981-13-0029-5_12

Download citation

  • DOI: https://doi.org/10.1007/978-981-13-0029-5_12

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-13-0028-8

  • Online ISBN: 978-981-13-0029-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation