Cross-model verification of the electrical power subsystem in space projects. (July 2018) - Zoppi, Maurizio
Highlights: Cross-model verification of space systems functional and performance requirements. Verification performed on spacecraft SW simulators and engineering models. Application to the electrical power subsystem requirements. XML-based test procedure language, enabling testing artifacts reuse. Independence of the testing artifacts from the underlying test environment. 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.