[go: up one dir, main page]

CN112988120B - Satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language - Google Patents

Satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language Download PDF

Info

Publication number
CN112988120B
CN112988120B CN202110269397.4A CN202110269397A CN112988120B CN 112988120 B CN112988120 B CN 112988120B CN 202110269397 A CN202110269397 A CN 202110269397A CN 112988120 B CN112988120 B CN 112988120B
Authority
CN
China
Prior art keywords
satellite
telemetry
module
parameters
designing
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN202110269397.4A
Other languages
Chinese (zh)
Other versions
CN112988120A (en
Inventor
解加华
杨牧
项杰
周军
张海
张泽浩
颜俊菁
吴侃侃
潘瑞雪
南玲巧
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shanghai Institute of Satellite Engineering
Original Assignee
Shanghai Institute of Satellite Engineering
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Shanghai Institute of Satellite Engineering filed Critical Shanghai Institute of Satellite Engineering
Priority to CN202110269397.4A priority Critical patent/CN112988120B/en
Publication of CN112988120A publication Critical patent/CN112988120A/en
Application granted granted Critical
Publication of CN112988120B publication Critical patent/CN112988120B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/20Software design
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604Analysis of software for verifying properties of programs
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/30Creation or generation of source code
    • G06F8/31Programming languages or programming paradigms
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/445Program loading or initiating
    • G06F9/44505Configuring for program initiating, e.g. using registry, configuration files

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Computing Systems (AREA)
  • Radio Relay Systems (AREA)

Abstract

The invention provides a satellite telemetering downlink scheduling parameter dynamic online binding method and a system for Ada language, which relate to the technical field of satellite measurement and control and comprise the following steps: step 1: designing Ada language satellite-borne embedded loading program; step 2: designing a satellite-borne embedded integrated electronic application program; and 3, step 3: designing a first ground software module; and 4, step 4: designing a second ground software module; and 5: designing a memory structure layout capable of processing the generated information into an Intel Hex grammar according to the information generated in the step 4, and generating a text information flow file module which is in line with the loading in the step 1; step 6: designing a third ground software module; and 7: and realizing the dynamic binding and verification of the telemetering downlink scheduling parameters. The invention can reduce the software change cost and realize the beneficial effects of high flexibility and high reliability of the satellite-borne embedded Ada language program parameter adaptation under the condition of limited storage resources.

Description

Satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language
Technical Field
The invention relates to the technical field of satellite measurement and control, in particular to a dynamic online binding method and system for satellite telemetering downlink scheduling parameters for Ada language.
Background
On a satellite, a plurality of telemetering parameters of each system exist, and because the communication downlink resources are limited, the satellite-borne parameters need to be acquired by a comprehensive electronic computer, then are selected and scheduled to be downlink according to requirements. The Ada language is a general programming language with strong expressive power and is known as a successful representative of the fourth-generation computer languages.
In a thesis of 'design and implementation of a remote measurement parameter simulation and judgment system' of Li Hapeng, wushu, the remote measurement parameter simulation and judgment system of a shooting range test is described, a remote measurement closed loop simulation verification function is completed mainly by using a high-performance processor and a database technology, the simulation verification function is not suitable for being used at an embedded end, and the design parameter modification of a remote measurement terminal computer is not considered.
In the paper of "automatic verification system for correctness of telemetering parameter processing of airship", of Bin, schiff, sun Yan, the province, yan, the focus is also on automatic judgment and verification of parameters, and no consideration is given to the revision of dynamic parameters in the actual engineering development process.
In the initial stage of satellite development, as the telemetering parameters of each system cannot be specifically determined, the design needs to be adjusted frequently according to the application; meanwhile, the satellite telemetry parameter binding exists in a satellite-borne embedded computer in a static compiling mode, so that the integrated electronics needs frequent software adjustment. As the class A software, the time and labor cost required for changing the satellite is high, and the previous development progress of the satellite is influenced.
Disclosure of Invention
Aiming at the defects in the prior art, the invention aims to provide a satellite telemetering downlink scheduling parameter dynamic online binding method and a satellite telemetering downlink scheduling parameter dynamic online binding system for Ada language, which can utilize ground software to construct an on-satellite identifiable data block, realize dynamic loading of scheduling parameters and further reduce the early-stage research and development cost of satellite comprehensive electronic software.
According to the satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language provided by the invention, the scheme is as follows:
in a first aspect, a method for dynamically binding online satellite telemetry downlink scheduling parameters in Ada language is provided, where the method includes:
step 1: designing an Ada language satellite-borne embedded loader capable of supporting Intel Hex;
step 2: designing a satellite-borne embedded integrated electronic application program which supports the telemetry scheduling parameters capable of analyzing static parameters, monitoring dynamic parameters of a memory, extracting dynamic parameter configuration and self-selection parameters and forming dynamic telemetry downlink results according to the telemetry scheduling parameter configuration;
and 3, step 3: designing a telemetry table checking module which supports reading of an Excel telemetry table and carries out validity checking on the telemetry table;
and 4, step 4: designing a memory mapping table analysis module capable of reading Ada language memory distribution information and dynamically organizing parameter memory distribution according to the parameters read in the step 3;
and 5: designing a memory structure layout capable of processing the generated information into Intel Hex grammar according to the information generated in the step 4, and generating a text information flow file module which is in line with the text information flow loaded in the step 1;
and 6: designing a remote measuring analysis monitoring program which can read the parameters in the step 2 and the remote measuring table in the step 3 and carry out parameter closed-loop comparison;
and 7: and (3) loading the text information stream file generated in the step (5) through the satellite-borne embedded loading program in the step (1), running through the satellite-borne embedded comprehensive electronic application program in the step (2), and finally performing closed-loop verification by using the telemetering analysis monitoring program in the step (6) to realize the dynamic binding and verification of the telemetering downlink scheduling parameters.
Preferably, in the step 2, the telemetry scheduling parameter design is combined with the telemetry design characteristics of the satellite and the requirement condition of the actual test.
Preferably, in the step 3, the validity check constraint of the Excel telemetry table is derived from a fault set of a real model test and is consistent with a real service condition of the satellite.
Preferably, the telemetry table in step 3 includes a scheduling table, a package information table, an index table, a telemetry source table, and a preprocessing table.
Preferably, in the step 4, the Ada language memory distribution information should conform to the design features of the Ada 95 language, and the memory layout can be directly recognized by the Ada language without any conversion.
Preferably, in the step 6, the satellite-borne data is directly derived from dynamic data of a satellite factory test or data of a compatible simulation software system by a parameter closed-loop comparison method.
In a second aspect, a satellite telemetry downlink scheduling parameter dynamic online binding system for Ada language is provided, the system includes:
a module M1: designing an Ada language satellite-borne embedded loader capable of supporting IntelHex;
a module M2: designing a satellite-borne embedded integrated electronic application program which supports the telemetry scheduling parameters capable of analyzing static parameters, monitoring dynamic parameters of a memory, extracting dynamic parameter configuration and self-selection parameters and forming dynamic telemetry downlink results according to the telemetry scheduling parameter configuration;
a module M3: designing a telemetry table checking module which supports reading of an Excel telemetry table and carries out validity checking on the telemetry table;
a module M4: designing a memory mapping table analysis module capable of reading Ada language memory distribution information and dynamically organizing parameter memory distribution according to the parameters read by the module M3;
a module M5: designing a memory structure layout capable of processing generated information into Intel Hex grammar according to information generated by the module M4, and generating a text information flow file module which is loaded by the module M1;
a module M6: designing a telemetering analysis monitoring program which can read the module M2 parameters and the module M3 telemetering table and carry out parameter closed-loop comparison;
a module M7: and finally, carrying out closed-loop verification by utilizing a telemetering analysis monitoring program of the module M6 to realize dynamic binding and verification of telemetering downlink scheduling parameters.
Preferably, in the module M2, the telemetry scheduling parameter design is combined with the telemetry design characteristics of the satellite and the requirement condition of the actual test thereof.
Preferably, in the module M3, the validity check constraint of the Excel telemetry table is derived from a fault set of a real model test, and is consistent with a real service condition of the satellite.
Preferably, in the module M4, the Ada language memory distribution information should conform to the design features of the Ada 95 language, and the memory layout can be directly recognized by the Ada language without any conversion.
Compared with the prior art, the invention has the following beneficial effects:
1. the method can be used for carrying out data validity check on the internal relevance among the telemetry table parameters;
2. the invention can directly generate the data structure which is available for the integrated electronics and accords with the Ada language standard on the ground;
3. the data loading can be completed by utilizing the comprehensive electronic loading monitoring software, the satellite A-level software does not need to be additionally changed, and meanwhile, the parameter binding is realized by utilizing the loading monitoring, so that the operation is more convenient;
4. since the number of the satellite parameters is nearly 5000, the telemetering parameters are changed frequently, excel can modify the parameters repeatedly, and the method is used for repeated loading without changing any satellite code, so that the change frequency of satellite-borne class-A software can be greatly reduced;
5. the design of closed-loop comparison verification can be carried out on the telemetering parameters after binding, and programs developed by Ada language and a method for directly constructing data structures are not available at home, so that a new innovative method is created.
Drawings
Other features, objects and advantages of the invention will become more apparent upon reading of the detailed description of non-limiting embodiments with reference to the following drawings:
FIG. 1 is an overall system level block diagram of the present invention;
FIG. 2 is a block diagram of the satellite-borne embedded terminal software of the present invention;
fig. 3 is a block diagram of the ground-side software design of the present invention.
Detailed Description
The present invention will be described in detail with reference to specific examples. The following examples will assist those skilled in the art in further understanding the invention, but are not intended to limit the invention in any way. It should be noted that it would be obvious to those skilled in the art that various changes and modifications can be made without departing from the spirit of the invention. All falling within the scope of the invention.
The embodiment of the invention provides a dynamic online binding method for satellite telemetering downlink scheduling parameters for Ada language, which comprises the following steps:
step 1: the design supports the Ada language satellite-borne embedded loader which can be supported by Intel Hex.
Step 2: the design supports the remote measurement scheduling parameters which can analyze static parameters, monitor dynamic parameters of a memory, extract dynamic parameter configuration and self-selection parameters, and forms a satellite-borne embedded integrated electronic application program of a dynamic remote measurement downlink result according to the remote measurement scheduling parameter configuration.
And 3, step 3: and designing a telemetry table checking module which supports reading of the Excel telemetry table and carries out validity checking on the telemetry table.
And 4, step 4: and (3) designing a memory mapping table analysis module capable of reading Ada language memory distribution information and dynamically organizing parameter memory distribution according to the parameters read in the step (3).
And 5: and designing a memory structure layout capable of processing the generated information into Intel Hex grammar according to the information generated in the step 4, and generating a text information flow file module which can be loaded in the step 1.
And 6: and designing a telemetering analysis monitoring program which can read the parameters in the step 2 and the telemetering table in the step 3 and perform parameter closed-loop comparison.
And 7: and (3) loading the text information stream file generated in the step (5) through the satellite-borne embedded loading program in the step (1), running through the satellite-borne embedded comprehensive electronic application program in the step (2), and finally performing closed-loop verification by using the telemetering analysis monitoring program in the step (6) to realize the dynamic binding and verification of the telemetering downlink scheduling parameters.
In step 2, the telemetry scheduling parameter design is combined with the telemetry design characteristics of the satellite and the actual test requirement condition thereof.
In step 3, the validity check constraint of the Excel telemetry table is derived from a fault set of a real model test and is consistent with the real service condition of the satellite. The telemetry table comprises a scheduling table, a package information table, an index table, a telemetry source table and a preprocessing table.
In step 4, the Ada memory distribution information should conform to the design features of the Ada 95 language, and the memory layout can be directly recognized by the Ada language without any conversion.
In the step 6, by the parameter closed-loop comparison method, the satellite-borne data can be directly derived from dynamic data of satellite plant tests and can also be compatible with simulation software system data.
Next, the present invention will be described in more detail.
Static compilation parameter detection: according to the characteristics of Ada language, static compiling parameter detection of the satellite-borne telemetry parameter table is realized through a compiler and a proper coding grammar rule, and a traditional static parameter compiling working mode is compatible when the satellite has no dynamic parameters.
Dynamic binding parameter detection: according to the characteristics of Ada language, through a compiler and appropriate coding grammar rules, when the integrated electronic software runs, detecting and analyzing corresponding dynamic parameters, and constructing a binary index table according with the Ada grammar rules by using an analysis result, thereby realizing the capability of replacing static parameters with the dynamic parameters to work;
and (3) extracting and checking telemetry table parameters: according to the content of a satellite telemetry table (Excel table), all telemetry parameters in the Excel table are extracted, specifically comprising a scheduling table, a package information table, an index table, a telemetry source table and a preprocessing table, and all telemetry table parameters are checked by using a relational data model, so that the phenomenon that the telemetry table parameters which do not accord with rules occur, and the satellite-borne software is abnormal after being loaded is prevented.
Analyzing a memory mapping table: realizing dynamic parameter binding, wherein the dynamic parameter binding needs to be designed aiming at the satellite-borne embedded memory layout, analyze a memory layout file generated by compiling after the design, and extract key memory position information of binding parameters so as to ensure that the binding parameters generated on the ground meet the memory layout requirements of satellite-borne software;
ada dynamic parameter generation: according to parameters extracted in the telemetry table parameter extraction and inspection and memory information extracted in the memory mapping table analysis, a data structure and data table information which can be used for dynamic loading are generated by combining a dynamic compiling analysis rule of Ada language of dynamic binding parameter detection constraint, the information can be identified by a loading monitoring program, and the data is loaded and ordered to a satellite-borne comprehensive electronic computer from ground test equipment by utilizing serial debugging equipment.
Loading a monitoring program: the embedded loading program is realized by Ada language and conforms to the Intel Hex standard.
Downlink telemetry analysis: and performing on-line operation on the bound parameter data by using a satellite-borne program, acquiring related telemetering information, sending the telemetering information to ground test equipment by using a downlink (responder), and performing closed-loop check verification on parameters such as a telemetering packet downlink period by combining information extracted in the telemetering table parameter extraction and check after the ground test equipment analyzes the telemetering packet.
Referring to fig. 1, the invention is mainly divided into two parts, one is a satellite-borne embedded terminal which includes a loading monitoring program and a satellite-borne embedded integrated electronic application program; one is the surface side, which includes an Ada configuration table generator and a telemetry parsing program.
Referring to fig. 2, the satellite-borne embedded end program mainly consists of two parts:
1. the loading monitoring program of the Intel Hex format text can be realized: the program receives text flow which is in accordance with Intel Hex format and sent by the serial debugging equipment, namely, parameter flow is assembled and analyzed, dynamic telemetering parameters are loaded into a specified memory according to a data address specified by the flow and are read and used by a satellite-borne embedded integrated electronic application program.
2. Satellite-borne embedded integrated electronic application: this program mainly realizes the integrated electronic main functions, and in the present invention, it also needs to have: (1) Whether the memory used by the monitoring program has the function of dynamic parameters is detected, and whether the dynamic parameters or the static parameters are used is determined by detecting the state of the dynamic parameters. (2) And analyzing the static compiling telemetry table which is bound in the program compiling process, and realizing the functions of telemetering organization and downlink through the static parameter table when no dynamic parameter binding exists. (3) If the dynamic parameter table exists, the dynamic parameter configuration is extracted according to the dynamic parameter table information, and the corresponding telemetry table is extracted according to the dynamic parameter configuration information, so that a plurality of scheduling tables, 1 package information table, 1 index table, 1 telemetry source table and 1 preprocessing table can be supported. (4) And performing telemetering organization and downlink function according to the final analysis result of the dynamic parameters.
Referring to fig. 3, the ground-side program consists of two parts:
1. ada configuration table generator for realizing the data structure supporting the Ada language on the satellite:
the configurator is the core of the invention, and mainly has 3 types of functions: and the telemetry table checking module retrieves corresponding 5 types of table tags which are respectively a scheduling table, a package information table, an index table, a telemetry source table and a preprocessing table by reading the Excel file needing to be modified and bound, automatically identifies the table types according to the tags, and checks the legality of each table according to the constraint relation in the 5 types of information tables. The validity check is mainly to prevent the on-board application from being abnormal and crashing due to wrong parameters. And submitting the checked table to an Ada language dynamic parameter generation module for parameter generation.
The memory mapping table analysis module mainly reads the memory distribution information of the satellite-borne embedded comprehensive electronic application program, analyzes and extracts the storage position of the dynamic parameter table, the information of the inlet for starting the satellite-borne application software and the like, and submits the information to the Ada language dynamic parameter generation module to generate the related data structure memory configuration information.
The Ada language dynamic parameter generation module mainly generates data structure and configuration parameter information which accord with Ada language analysis through read telemetering parameter table information and memory mapping table information, and the information mainly comprises two types:
(1) The packet information table, the index table, the telemetry source table and the preprocessing table are used as first-level indexes, namely table information indexes, and are sequentially laid out in a memory.
(2) Because the package dispatching table needs a plurality of parts, secondary indexing needs to be carried out in the memory, the first level is the table head indexing, and the second level is the table information indexing. The specific distribution structure is as follows:
Figure GDA0003823112810000061
Figure GDA0003823112810000071
and constructing a data structure of the telemetering information extracted by the telemetering table checking module according to the organization structure, and analyzing the memory position where the dynamic telemetering parameters extracted by the module are stored according to a memory mapping table to form an address-data structure-data mapping relation.
And finally, the parameter generation module fills the data header and checks the corresponding data structure according to the address by referring to the standard Intel Hex format description according to the formed relation, codes the data structure into a character string format which can be identified by loading and monitoring, and generates a corresponding text file. The file can be sent to the integrated electronic monitoring software through the serial debugging equipment and dynamically loaded into the memory of the integrated electronic computer.
2. Telemetry resolution monitor program:
the software receives telemetering downlink data sent by the comprehensive electronic computer mainly through a telemetering downlink responder. After the integrated electronic computer dynamically assembles the parameters, the operation of the computer can carry out telemetering scheduling and downlink according to the dynamically loaded parameters. After the telemetering analysis monitoring program receives corresponding telemetering downlink data through the telemetering receiving module, the telemetering analysis module is used for deframing, unpacking and channel separation. And comparing the telemetering parameters read by the Ada language configuration table generator with the received telemetering data, including the APID of the telemetering packet, the telemetering packet cycle and the telemetering channel data, judging whether the parameters of the dynamic telemetering state work normally according to the comparison result, and forming a corresponding result report so as to finish the closed-loop verification of the whole dynamic parameter binding.
The invention mainly analyzes a remote measurement configuration table (EXCEL table) by designing special software, reads information in the EXCEL, checks the remote measurement table according to a certain rule, and generates an Ada data structure which can be identified and analyzed by comprehensive electronic software according to a special format of Ada language after the check is passed.
And reading the specified key fields to find the final storage position of the data in the integrated electronic software through a memory mapping file generated after the integrated electronic software is compiled.
And combining the address and the data by using a tool to generate a Hex file, and loading a data structure in the Hex file into a memory of the integrated electronic computer by using the conventional satellite integrated electronic loading monitoring software.
And finally, reading the memory data by satellite-borne comprehensive electronic software, and directly utilizing the formed data structure to carry out telemetering parameter scheduling.
The embodiment of the invention provides a dynamic online binding method for satellite telemetering downlink scheduling parameters for Ada language, which starts from a dynamic data loading technology, constructs an identifiable data block on a satellite by using ground software through a satellite software and ground software collaborative design technology on the basis of not influencing a comprehensive electronic software code, realizes dynamic loading of scheduling parameters, and further reduces the early-stage research and development cost of the satellite comprehensive electronic software.
Those skilled in the art will appreciate that, in addition to implementing the system and its various devices, modules, units provided by the present invention as pure computer readable program code, the system and its various devices, modules, units provided by the present invention can be fully implemented by logically programming method steps in the form of logic gates, switches, application specific integrated circuits, programmable logic controllers, embedded microcontrollers and the like. Therefore, the system and various devices, modules and units thereof provided by the present invention can be regarded as a hardware component, and the devices, modules and units included therein for implementing various functions can also be regarded as structures within the hardware component; means, modules, units for performing the various functions may also be regarded as structures within both software modules and hardware components for performing the method.
The foregoing description has described specific embodiments of the present invention. It is to be understood that the present invention is not limited to the specific embodiments described above, and that various changes or modifications may be made by one skilled in the art within the scope of the appended claims without departing from the spirit of the invention. The embodiments and features of the embodiments of the present application may be combined with each other arbitrarily without conflict.

Claims (10)

1. A satellite telemetering downlink scheduling parameter dynamic online binding method for Ada language is characterized by comprising the following steps:
step 1: designing an Ada language satellite-borne embedded loader capable of supporting Intel Hex;
step 2: designing a satellite-borne embedded integrated electronic application program which supports the telemetry scheduling parameters capable of analyzing static parameters, monitoring dynamic parameters of a memory, extracting dynamic parameter configuration and self-selection parameters and forming dynamic telemetry downlink results according to the telemetry scheduling parameter configuration;
and step 3: designing a telemetry table checking module which supports reading of an Excel telemetry table and carries out validity checking on the telemetry table;
and 4, step 4: designing a memory mapping table analysis module capable of reading Ada language memory distribution information and dynamically organizing parameter memory distribution according to the parameters read in the step 3 to generate memory mapping table information;
and 5: designing a memory structure layout capable of processing the generated information into an Intel Hex grammar according to the information generated in the step 4, and generating a text information flow file module which is in line with the loading in the step 1;
and 6: designing a remote measuring analysis monitoring program which can read the parameters in the step 2 and the remote measuring table in the step 3 and carry out parameter closed-loop comparison;
and 7: and (4) loading the text information stream file generated in the step (5) through the satellite-borne embedded loading program in the step (1), running through the satellite-borne embedded integrated electronic application program in the step (2), and finally performing closed-loop verification by using the telemetering analysis monitoring program in the step (6) to realize the dynamic binding and verification of the telemetering downlink scheduling parameters.
2. The method for dynamically binding on line the satellite telemetry downlink scheduling parameters in Ada language according to claim 1, wherein in the step 2, the design of the telemetry scheduling parameters is combined with the telemetry design characteristics of the satellite and the actual test requirements thereof.
3. The method for dynamically binding downlink scheduling parameters by satellite telemetry in Ada language according to claim 1, wherein in step 3, the validity check constraint of the Excel telemetry table is consistent with the actual service conditions of the satellite from the fault set of the actual model test.
4. The method for dynamically binding online downlink scheduling parameters in Ada language according to claim 1, wherein the telemetry table in step 3 comprises a scheduling table, a packet information table, an index table, a telemetry source table and a preprocessing table.
5. The method according to claim 1, wherein in step 4, the memory distribution information of the Ada language is in accordance with the design features of the Ada 95 language, and the memory layout can be directly recognized by the Ada language without any conversion.
6. The method for dynamically binding downlink scheduling parameters in online manner by satellite telemetry in Ada language of claim 1, wherein in the step 6, the parameter closed-loop comparison method is adopted, and satellite-borne data is directly derived from dynamic data of satellite factory test or data of compatible simulation software system.
7. A satellite telemetering downlink scheduling parameter dynamic online binding system for Ada language is characterized by comprising:
a module M1: designing an Ada language satellite-borne embedded loader capable of supporting Intel Hex;
a module M2: designing a satellite-borne embedded integrated electronic application program which supports telemetry scheduling parameters capable of analyzing static parameters, monitoring memory dynamic parameters, extracting dynamic parameter configuration and self-selection parameters and forming dynamic telemetry downlink results according to the telemetry scheduling parameter configuration;
a module M3: designing a telemetry table checking module which supports reading of an Excel telemetry table and carries out validity checking on the telemetry table;
a module M4: designing a memory mapping table analysis module capable of reading Ada language memory distribution information and dynamically organizing parameter memory distribution according to the parameters read by the module M3 to generate memory mapping table information;
a module M5: designing a memory structure layout capable of processing generated information into Intel Hex grammar according to information generated by the module M4, and generating a text information flow file module which is loaded by the module M1;
a module M6: designing a telemetering analysis monitoring program which can read the module M2 parameters and the module M3 telemetering table and carry out parameter closed-loop comparison;
a module M7: and finally, performing closed-loop verification by using a telemetering analysis monitoring program of the module M6 to realize dynamic binding and verification of telemetering downlink scheduling parameters.
8. The system for dynamically binding on line Ada language downlink scheduling parameters through satellite telemetry according to claim 7, wherein in the module M2, the design of the telemetry scheduling parameters is combined with the telemetry design characteristics of the satellite and the requirement condition of the actual test thereof.
9. The system for dynamically binding on-line Ada language by satellite telemetry and downlink scheduling parameters, according to claim 7, wherein in the module M3, the validity check constraint of the Excel telemetry table is consistent with the actual use condition of the satellite from the fault set of the actual model test.
10. The system of claim 7, wherein in the module M4, the memory distribution information of the Ada language is in accordance with the design features of the Ada 95 language, and the memory layout can be directly recognized by the Ada language without any conversion.
CN202110269397.4A 2021-03-12 2021-03-12 Satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language Active CN112988120B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202110269397.4A CN112988120B (en) 2021-03-12 2021-03-12 Satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202110269397.4A CN112988120B (en) 2021-03-12 2021-03-12 Satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language

Publications (2)

Publication Number Publication Date
CN112988120A CN112988120A (en) 2021-06-18
CN112988120B true CN112988120B (en) 2022-11-29

Family

ID=76336438

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202110269397.4A Active CN112988120B (en) 2021-03-12 2021-03-12 Satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language

Country Status (1)

Country Link
CN (1) CN112988120B (en)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114995226B (en) * 2022-05-26 2023-05-26 中国科学院国家空间科学中心 Flow control system and method for aerospace embedded equipment
CN117290546A (en) * 2023-02-22 2023-12-26 西安天宇星控信息科技有限公司 Telemetry binding and analysis method based on CCSDS-AOS standard

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108932162A (en) * 2018-06-14 2018-12-04 上海卫星工程研究所 Multitask total management system and processing method based on integrated spaceborne computer
CN110850452A (en) * 2019-10-29 2020-02-28 西安中科天塔科技股份有限公司 Method, device and system for processing satellite telemetry data
CN111562952A (en) * 2020-07-16 2020-08-21 南方电网数字电网研究院有限公司 Dynamic loading method and dynamic loading device for double-core intelligent ammeter management unit

Family Cites Families (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7843359B2 (en) * 2005-12-01 2010-11-30 Electronics And Telecommunications Research Institue Fault management system using satellite telemetering technology and method thereof
CN101770541B (en) * 2010-02-03 2012-03-21 北京航空航天大学 A Satellite Data System Simulation Platform Based on AOS Standard
CN102542002B (en) * 2011-12-08 2014-05-07 北京空间飞行器总体设计部 Satellite telemetry data treatment system and realization method thereof
CN104102690B (en) * 2014-05-26 2017-04-19 北京宇航系统工程研究所 Storage structure based telemetry data processing method
CN105094973A (en) * 2015-07-31 2015-11-25 上海卫星工程研究所 ADA program partition running supporting system based on sensitive instruction substitution
US10020876B2 (en) * 2016-07-28 2018-07-10 Spire Global Inc. Systems and methods for command and control of satellite constellations
CN106407531B (en) * 2016-09-05 2019-08-09 北京空间飞行器总体设计部 A Spacecraft Telemetry Method Based on Incremental Model
CN110175051B (en) * 2019-04-11 2022-03-29 上海卫星工程研究所 Satellite-ground integrated remote measurement configuration management method
CN111538497A (en) * 2020-03-26 2020-08-14 航天恒星科技有限公司 Configuration method and device suitable for multi-satellite measurement and control management
CN112379655B (en) * 2020-09-27 2021-09-07 北京控制工程研究所 A satellite on-orbit autonomous management method based on on-board log system

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108932162A (en) * 2018-06-14 2018-12-04 上海卫星工程研究所 Multitask total management system and processing method based on integrated spaceborne computer
CN110850452A (en) * 2019-10-29 2020-02-28 西安中科天塔科技股份有限公司 Method, device and system for processing satellite telemetry data
CN111562952A (en) * 2020-07-16 2020-08-21 南方电网数字电网研究院有限公司 Dynamic loading method and dynamic loading device for double-core intelligent ammeter management unit

Also Published As

Publication number Publication date
CN112988120A (en) 2021-06-18

Similar Documents

Publication Publication Date Title
CN104077140B (en) Automation Compilation Method and compilation device for continuous integrating
CN109189479B (en) Parallel automatic verification method for processor instruction set
CN112988120B (en) Satellite telemetering downlink scheduling parameter dynamic online binding method and system for Ada language
CN109034616B (en) Statistical analysis system based on intelligent substation configuration data management and control
CN103136107A (en) Variable debugging method of embedded program dynamic storage allocation
CN112506757A (en) Automatic test method, system, computer device and medium thereof
CN107783902A (en) A kind of Selenium automated testing methods and system from coding
CN107992306A (en) A kind of avionics software interface realizes uniformity automatic check method
Shin et al. Model-based automatic test case generation for automotive embedded software testing
CN111260336A (en) Business checking method, device and equipment based on rule engine
CN111522741A (en) Interface test code generation method and device, electronic equipment and readable storage medium
CN113065256B (en) Calibration method of ICD (interface control document) model of intelligent device of transformer substation based on rule file
CN103235757B (en) Several apparatus and method that input domain tested object is tested are made based on robotization
CN112001138A (en) Efficient digital circuit algorithm verification device
CN110659200A (en) Method and system for comparing and analyzing source code and target code of airborne software
CN113591422A (en) System for generating test case flow information in chip verification and application
CN109639520B (en) Computer-aided test method for network communication of reactor protection system
CN108363567B (en) Database-based verification platform exciter automatic generation method
CN117851245A (en) Method and device for generating test case, electronic equipment and storage medium
CN106528722A (en) Method and system for consistency testing of equipment data models of intelligent electronic device
CN106033338A (en) Method and device for importing and analyzing source code based on FOG data
CN112306868B (en) Automatic testing method, terminal device and storage medium for Google mobile services
CN111414440B (en) Method and system for verifying control system algorithm configuration diagram by utilizing data flow isomorphism
CN116126707A (en) Test data generation method, device and equipment
CN112965914A (en) Application page testing method, system, device and medium

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant