Formal Verification Testing of Galileo RF Constellation Simulators

Peter Boulton, Arnie Read, Ronald Wong

Abstract:	The characterisation and certification of Galileo Ground Receiver Chain (GRC) elements for the Galileo satellitebased navigation system is a critical programme activity, particularly for the In-Orbit Verification phase (IOV). Spirent has been contracted by the European Space Agency (ESA) via Thales Alenia Space to provide reference test equipment in the form of RF Constellation Simulators (RFCS) to support certification of the GRC and Test User receiver elements. These RFCS are able to support all the Galileo frequencies and services, including Open Service, Commercial Service, Safety-of-Life Service and Public Regulated Service (PRS). This paper begins by presenting a brief technical description of the RCFS design and architecture and proceeds to describe the scope of and approach to the formal verification process. Where appropriate, further detail of some of the verification techniques used are presented including a statement of the requirement, the test equipment and procedures involved and a summary of the results obtained. Most specific PRS aspects are excluded from this paper due to their classified status. Initial conclusions are drawn and future work is described.
Published in:	Proceedings of the 20th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS 2007) September 25 - 28, 2007 Fort Worth Convention Center Fort Worth, TX
Pages:	1564 - 1575
Cite this article:	Boulton, Peter, Read, Arnie, Wong, Ronald, "Formal Verification Testing of Galileo RF Constellation Simulators," Proceedings of the 20th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS 2007), Fort Worth, TX, September 2007, pp. 1564-1575.
Full Paper:	ION Members/Non-Members: 1 Download Credit Sign In