On-orbit upgrade system for aerospace software
A technology of aerospace software and display interface, applied in the field of aerospace software on-orbit upgrade, can solve problems such as difficulty in repairing in time, limited computing power and memory capacity of aerospace vehicle systems, and complex system integration.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment 1
[0042] Such as figure 1 As shown, Embodiment 1 of the present invention provides an on-orbit upgrade system 100 for aerospace software, and the system includes the following modules:
[0043] The storage path input module 110 is configured to display an input box 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 system 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 module 120 is configured to read the target code according to the file storage path.
[0045] The code parsing module 130 is configured to parse the target code into an abstract syntax tree through syntax analysis and lexical analysis, and store corresponding version data and version identification. Wherein, the version identifier r...
Embodiment 2
[0052] Such as image 3 As shown, Embodiment 2 of the present invention provides an on-orbit upgrade system 200 for aerospace software. On the basis of Embodiment 1 above, the system further includes the following modules:
[0053] The safety checking module 210 is used to analyze the abstract syntax tree of the current version and the previous version if the target code is not the initial version, traverse all subtrees of the two abstract syntax trees, and check functions, global variables and types change security.
[0054] Such as Figure 4 As shown, the security checking module 210 includes a static analysis unit 211 and a fixed point determination unit 212 . The static analysis unit 211 converts the abstract syntax tree into a state transition system by using a static analysis method based on abstract interpretation, and selects a program control flow graph to represent the state transition relationship of the source code. The fixed point determination unit 212 tracks ...
Embodiment 3
[0062] Such as Figure 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: The storage path input module displays an input box 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: The code reading module reads the object code file, and the code parsing module parses the object code into an abstract syntax tree through syntax analysis and lexical analysis and saves corresponding version data and version identification. Jump to step C after the parsing is completed;
[0065] Step C: The version judging module judges whether the target 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: The upgrade marker insertion module extracts the long loop code from the...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com