Cross-model verification of the electrical power subsystem in space projects. (July 2018)

• Record Type: Journal Article
• Authors: Zoppi, Maurizio; Tipaldi, Massimo; Di Cerbo, Antonio
• Is Part Of: Measurement. Volume 122(2018)
• Page Start: 473
• Page End: 483
• Publication Date: 2018-07
• Subjects: Requirement verification -- Satellite -- Electrical power subsystem -- On-board software -- Test case design -- Satellite SW simulator -- Satellite engineering model; Weights and measures -- Periodicals; Measurement -- Periodicals; Measurement; Weights and measures; Periodicals; 530.8
• DOI: 10.1016/j.measurement.2018.01.014
• Languages: English
• ISSNs: 0263-2241

Abstract

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.