System Verification: Approach, Methods, and Tools for Galileo

The objective of this paper is to present an overview of the approach applied for Galileo system verification. To this end it includes an overview on Galileo and verification and validation background followed by a description of the methods to be applied and the tools required for the verification on system level. The high level Galileo mission requirements [1], which capture user requirements, have been translated by ESA into Galileo system requirements [2]. These system requirements have formed the basis for specifying the Galileo system, segments, and elements. Thus, for the verification and the validation of the Galileo system it is necessary to verify the Galileo system against these requirements. This paper addresses the approach for system verification and elaborates on methods and tools to be applied throughout the various system development phases up to full deployment and operational readiness of the Galileo system. The Galileo system requirements document [2] lists requirements for the final operational capability of the Galileo system. The requirements consist of: •·Service Requirements • Functional Requirements • Implementation Requirements • Operational Requirements • Security Requirements • Safety Requirements • Verification Requirements • Signal-in-Space Requirements • External Interfaces Requirements Suitable system verification methods are applied - as far as applicable and possible - for the following three milestones: • System Critical Design Review (S-CDR) • In-Orbit Validation (IOV) Review • Final Validation Review (FVR) with Final Operational Capability (FOC) The set of identified system verification methods for each milestone has been used as the main input in order to specify the requirements for the verification tools and to map the tools requirements to existing tools, i.e. checking if the requirements are adequately covered by these tools. Then the analysis of system verification tools has allowed the definition and selection of the most suitable tools to be used for the verification process, taking into account also the validation status and the quality standard followed by the tools (in view of the future certification of the Galileo system).