导航

ACTA AERONAUTICAET ASTRONAUTICA SINICA ›› 2017, Vol. 38 ›› Issue (7): 320768-320768.doi: 10.7527/S1000-6893.2016.320768

• Electronics and Electrical Engineering and Control • Previous Articles     Next Articles

A virtual test method for satellite system level verification and case study

WUNIRI Qiqige1,2, LI Xiaoping1,2, YANG Fan1,2, MA Shilong1,2, WANG Huamao3   

  1. 1. State Key Laboratory of Software Development Environment, Beihang University, Beijing 100083, China;
    2. Joint Laboratory of Spacecraft Automated Test Technology, Beijing 100083, China;
    3. Institute of Spacecraft System Engineering, China Academy of Space Technology, Beijing 100094, China
  • Received:2016-09-08 Revised:2016-10-24 Online:2017-07-15 Published:2016-12-26
  • Supported by:

    National Natural Science Foundation of China (61003016,61300007,61305054);Base Research Foundation of Ministry of Science and Technology of China (YWF-14-JSJXY-007);Independent Discovery Foundation of State Key Laboratory of Software Development Environment of China (SKLSDE-2012ZX-28,SKLSDE-2014ZX-06)

Abstract:

As a complex system, the verification of design and interface implementation of spacecraft is an effective way to increase its reliability. In this paper a virtual test method, which is a fusion approach on the combination of automata-based model checking theory and systems engineering theory, is proposed. An automaton of window tree model (WTM) based on multi-tree to describe the system behavior as a system-model is used on one hand, and a state transition graph (STG) based on automaton to describe design correctness as a specification is used on the other hand. An automaton-based model checking mechanism is proposed to build the foundation of the virtual test method. Moreover, the two main aspects of the method, including the design correctness verification and the interface implementation verification, are defined. Finally, a case study is followed to illustrate the technical approaches of virtual test method, the modelling process of a complex system as well as the verification process in a virtual test platform (VTP), which implements the method. The VTP is composed of three main features of the virtual test configuration, the virtual test execution as well as the virtual test evaluation.

Key words: virtual test method, state transition graph, model checking, window tree model, test case generation, virtual test platform

CLC Number: