System Verification: Approach, Methods, and Tools for Galileo

G. Strodl, G. Naddeo, J. Samson, P. Dieleman, M. Ferraguto, H-J. von der Hardt, F. Gottifredi

Abstract:	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).
Published in:	Proceedings of the 16th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GPS/GNSS 2003) September 9 - 12, 2003 Oregon Convention Center Portland, OR
Pages:	2445 - 2456
Cite this article:	Strodl, G., Naddeo, G., Samson, J., Dieleman, P., Ferraguto, M., Hardt, H-J. von der, Gottifredi, F., "System Verification: Approach, Methods, and Tools for Galileo," Proceedings of the 16th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GPS/GNSS 2003), Portland, OR, September 2003, pp. 2445-2456.
Full Paper:	ION Members/Non-Members: 1 Download Credit Sign In