With the increasing complexity of embedded satellite platform software, one of the main challenges of software test is how to choose effective testing strategy and how to select a small number of test cases from the huge test case space in order to shorten on-board software development cycle. In response to the current problems of low efficiency and insufficient test coverage in test case design, this paper proposes a method of using dynamic fault tree models to construct equivalent classes for test case design. Firstly, based on fault propagation path and its decision mode of the dynamic run profile and timing sequence of the embedded on-board system, dynamic fault tree model of whole satellite on-board software system must be established. Secondly, the dynamic fault tree is used as the test case design tree, and a certain search and simplification strategy is used to generate minimum cut sequence sets. By the set theory and equivalent class rules, triggering conditions that meet the occurrence of fault path nodes are considered as input of the test case. The resultant status nodes are used as the expected output. After dynamically loading the test case input, the actual response results of the software are judged by consistency with the expected results. Finally, a test experiment analysis was conducted using satellite navigation positioning and orbit calculation submodule of on-board system software. The dynamic fault tree model was established by constructing the operational task profile of orbit processing, so test cases were designed by simplified cut sequence set. The results show that using this method for test case design can greatly optimize the set of test cases. While ensuring coverage and adequacy, compared with traditional TestBed software tools without regard to software task profile, the testing efficiency was improved by about 28%.
Currently, with the continuous enrichment of astronomical observation means (Ligo/Virgo for GW, Parkes, Arecibo and Green Bank Telescope for FRB, IceCube for neutrino observatory, etc…), multi-messenger observation has become one of the hot spots in current astronomical research. X /γ ray observation is one of the important means of multi-messenger observation. Considering the scarcity and preciseness of multi-messenger sources, a special all-sky x/γ-ray monitor is needed to monitor high-energy electromagnetic counterparts in real time. Considering the launch cost, it is an economical and efficient solution that launch low-orbit twin satellites to realize all day monitoring. Due to the constraints of x/γ-ray payload, high-energy payloads generally need to work in low attitude and low inclination orbit (to reduce the interference caused by high-energy particles, and in order to achieve all-day monitoring, the satellite attitude needs to ensure that payload pointing outside earth in real time. The satellite pointing should take into account both the payload pointing constrains and energy acquisition, as well as the operation of thermal control and STR. Different from the sun-synchronous orbit satellite, the satellite attitude needs to be specially designed. This paper presents a satellite pointing law suitable for all-sky monitor low orbit satellite. And the advantages of this pointing law are compared from the perspectives of constrains satisfaction, energy acquisition and economy. Then on this basis, implementation method, error analysis and on-orbit performance are given.
Access to the requested content is limited to institutions that have purchased or subscribe to SPIE eBooks.
You are receiving this notice because your organization may not have SPIE eBooks access.*
*Shibboleth/Open Athens users─please
sign in
to access your institution's subscriptions.
To obtain this item, you may purchase the complete book in print or electronic format on
SPIE.org.
INSTITUTIONAL Select your institution to access the SPIE Digital Library.
PERSONAL Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.