WSEAS Transactions on Systems
Print ISSN: 1109-2777, E-ISSN: 2224-2678
Volume 16, 2017
Model-Supported Verification of Space Systems
Authors: ,
Abstract: Verification of space systems is a complex process that involves large amounts of resources, engineering work and documentation. Several criticalities exist which can reduce the effectiveness of the process, as the need to track requirements and verification activities along the product life cycle, the consistency of data and the generation of documentation containing punctual pieces of information. The current verification approach is effective from a technical point of view, which means that few non conformances able to impact the mission escape the verification campaign prior of launch. Nevertheless, the process can have margin of improvement. The introduction of a model-based methodology has been theorized and is described in this paper, evidencing how the documents and products currently involved in the verification process can be represented as models to obtain a number of advantages. The approach is differentiated per verification method, with a particular focus on test and analysis, which involve a major part of the system requirements and the most costly verification activities.
Search Articles
Keywords: verification of space systems, model-based methodology, test and analysis, system requirements
Pages: 64-68
WSEAS Transactions on Systems, ISSN / E-ISSN: 1109-2777 / 2224-2678, Volume 16, 2017, Art. #9