Abstract Verification of functional and performance requirements in both government and commercial space programs is a challenging task. Nowadays, spacecraft can be regarded as complex systems, and demanding quality requirements have to be fulfilled. Verification activities are performed in different steps and by means of various test environments/spacecraft models. This paper presents a cross-model verification approach for space projects and shows its application to the Electrical Power Subsystem. Functional and performance requirements of such subsystem are verified on the spacecraft Engineering Model by reusing test cases and corresponding test scripts from the On-Board Software testing campaign. This can be achieved thanks to the above-mentioned cross-model verification approach. In particular, test cases can be conceived and implemented by means of an XML-based test procedure language, independently from the underlying test environment.
[1]
D. Bouskela,et al.
Toward a Rigorous Approach for Verifying Cyber-Physical Systems Against Requirements
,
2017,
Canadian Journal of Electrical and Computer Engineering.
[2]
Roberta Fusaro,et al.
Methodology for requirements definition of complex space missions and systems
,
2015
.
[3]
Mukund Patel,et al.
Spacecraft Power Systems
,
2004
.
[4]
K. Wittmann,et al.
Handbook of Space Technology
,
2009
.
[5]
Satoshi Nagano.
Space systems verification program and management process: Importance of Implementing a Distributed-Verification Program with Standardized Modular-Management Process
,
2008,
Syst. Eng..
[6]
Massimo Tipaldi,et al.
Survey on Fault Detection, Isolation, and Recovery Strategies in the Space Domain
,
2015,
J. Aerosp. Inf. Syst..