On-orbit upgrade method for aerospace software

An aerospace software and abstract syntax tree technology, applied in software engineering design, software maintenance/management, program code conversion, etc., can solve problems such as limited computing power and memory capacity of aerospace vehicle systems, complex system integration, and difficulty in repairing in time

Active Publication Date: 2021-01-29
EAST CHINA NORMAL UNIV +1
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] The computing power and memory capacity of the aerospace vehicle system are limited. Many softwares work together and share system resources. The system integration is relatively complicated, and it is difficult to repair software failures in time.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • On-orbit upgrade method for aerospace software
  • On-orbit upgrade method for aerospace software
  • On-orbit upgrade method for aerospace software

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0042] Such as figure 1 As shown, Embodiment 1 of the present invention provides an on-orbit upgrade method 100 for aerospace software, and the method includes the following steps:

[0043] In the storage path input step 110, an input box is displayed on the display interface, so that the user can input the file storage path of the target code to be upgraded in the input box. Among them, the file storage path of all aerospace software in the spacecraft method has a backup record in the ground system, and the user can find the file storage path of the object code that needs to be upgraded in the backup record.

[0044] The code reading step 120 is to read the target code according to the file storage path.

[0045] The code parsing step 130 is parsing the target code into an abstract syntax tree through syntax analysis and lexical analysis, and saving corresponding version data and version identification. Wherein, the version identifier represents the version record of the ta...

Embodiment 2

[0052] Such as image 3 As shown, Embodiment 2 of the present invention provides an on-orbit upgrade method for aerospace software. On the basis of Embodiment 1 above, the method further includes the following steps:

[0053] Safety checking step 210, if the target code is not the initial version, analyze the abstract syntax tree of the current version and the previous version, traverse all subtrees of the two abstract syntax trees, and check the changes of functions, global variables and types safety.

[0054] Such as Figure 4 As shown, the security check step 210 includes a static analysis step 211 and a fixed point determination step 212 . The static analysis step 211 uses a static analysis method based on abstract interpretation to convert the abstract syntax tree into a state transition system, and selects a program control flow graph to represent the state transition relationship of the source code. The fixed point determination step 212 tracks the change of the type...

Embodiment 3

[0062] Such as Image 6 As shown, Embodiment 3 of the present invention provides an on-orbit upgrade method for aerospace software, including the following steps:

[0063] Step A: An input box is displayed on the display interface, and the user inputs the file storage path of the target code to be upgraded in the input box. Jump to step B after reading;

[0064] Step B: read the object code file, parse the object code into an abstract syntax tree through syntax analysis and lexical analysis, and save the corresponding version data and version identification. Jump to step C after the parsing is completed;

[0065] Step C: judging whether the object code is an initial version according to the version identifier. If the program is the initial version, go to step D; if not, go to step E;

[0066] Step D: Extract the long loop code from the target code, and insert the on-orbit upgrade marker corresponding to the long loop code into the target code. Skip to step F after complet...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses an on-orbit upgrade method for aerospace software, which includes a storage path input step, a code reading step, a code analysis step, a version judgment step, an upgrade mark insertion step, and a code upgrade step. Compile and link the upgraded software, and allow users to define the functional modules that need to be upgraded, and then implement data-based load parameter optimization, code-based reliability improvement, and overall fault handling to achieve online regression testing and system online Refactoring to achieve in-orbit upgrades to aerospace software.

Description

technical field [0001] The invention mainly relates to the field of on-orbit upgrading of aerospace software, in particular to an on-orbit upgrading method for aerospace software. Background technique [0002] Space vehicle system software belongs to the "safety-critical field" software in the division of application fields. Once a failure occurs, it will lead to unpredictable and dire consequences. As the spacecraft's flight missions become more and more complex and its on-orbit life longer and longer, its control system software is also increasingly complex, large and diverse, which undoubtedly puts forward requirements for the reliability and safety of the spacecraft control system. Greater challenge. With the growth of spacecraft life and the increase of mission difficulty, the complexity of aerospace software is getting higher and higher, and on-orbit reconstruction and update capabilities are required to deal with possible mission expansion and potential software defe...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/656G06F8/71G06F8/41
CPCG06F8/427G06F8/71G06F8/656
Inventor 史建琦林荣峰黄滟鸿朱晏庆沈怡颹
Owner EAST CHINA NORMAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap