CN103617095A - VxWorks mapping file accuracy checking method - Google Patents
VxWorks mapping file accuracy checking method Download PDFInfo
- Publication number
- CN103617095A CN103617095A CN201310574633.9A CN201310574633A CN103617095A CN 103617095 A CN103617095 A CN 103617095A CN 201310574633 A CN201310574633 A CN 201310574633A CN 103617095 A CN103617095 A CN 103617095A
- Authority
- CN
- China
- Prior art keywords
- vxworks
- image file
- storer
- mapping file
- vxworks image
- 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.)
- Pending
Links
- 238000000034 method Methods 0.000 title claims abstract description 17
- 238000013507 mapping Methods 0.000 title abstract 7
- 230000000052 comparative effect Effects 0.000 claims description 8
- 238000007689 inspection Methods 0.000 claims description 8
- 238000012550 audit Methods 0.000 claims description 3
- 238000005516 engineering process Methods 0.000 abstract description 9
- 125000004122 cyclic group Chemical group 0.000 abstract 1
- 230000002159 abnormal effect Effects 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 238000013024 troubleshooting Methods 0.000 description 1
Images
Landscapes
- Stored Programmes (AREA)
Abstract
The method discloses a VxWorks mapping file accuracy checking method based on a VxWorks operating system in a military-aircraft avionics system. The VxWorks mapping file accuracy checking method includes, by the VxWorks mapping file accuracy checking technology, when the system is started to guide program operation, calculating a CRC (cyclic redundancy check) value of a VxWorks mapping file and comparing the CRC value with a CRC value acquired during programming of the mapping file; if the two CRC values are the same, determining the VxWorks mapping file to be accurate; if the two CRC values are different, storing a comparison result in a defined Flash space to provide the comparison result for application programs or users to read.
Description
Technical field
The invention belongs to military aviation electronic technology field, relate in particular to the VxWorks image file of vxworks operating system.
Background technology
In Military Avionics, vxworks operating system is used widely.When system starts, the normal startup of VxWorks reflection is particularly important.VxWorks image file is generally deposited in the Flash of each module, and the phenomenon that VxWorks image file damages can occur the reasons such as residing harsh and unforgiving environments of executing the task due to military secret.According to flight-line service personnel's empirical data, in outfield, almost cannot investigate because VxWorks image file damages the problem that causes system operation exception.Therefore, it is particularly necessary that VxWorks image file Correctness checking technology seems, it can carry out the inspection of VxWorks image file correctness before system operation, and fed back check result.
Goal of the invention
Goal of the invention of the present invention is to provide a kind of inspection method of VxWorks image file correctness, can greatly reduce because VxWorks reflection destroys the troubleshooting time that causes system operation exception, strengthen army's quick-reaction capability (QRC), alleviate maintainer's burden, improve the maintainability of avionics system, improve aircraft fighting efficiency.
Goal of the invention of the present invention is achieved through the following technical solutions:
An inspection method for VxWorks image file correctness, comprises the following steps:
1) during programming VxWorks image file, calculation check value, and result is kept in storer;
2) after each system power-up, guidance code is carried out, and adds VxWorks image file audit function in guidance code:
3) calculate the current proof test value that leaves the VxWorks image file in storer in, and the proof test value of preserving during by this proof test value and programming image file compares, unanimously VxWorks image file is normal for comparative result, and system normally starts; Comparative result is inconsistent, will extremely be kept in storer;
4) after system startup, application layer program can be checked the result being kept in storer, if having extremely, can report this fault.
Preferably, described storer is FLASH storer.
Preferably, described proof test value is 16 CRC check values.
Compared with prior art, beneficial effect of the present invention is:
1. while starting, all carry out VxWorks image file Correctness checking at every turn, guarantee that system execution meets expection;
2. when having VxWorks image file to destroy, by this functional check, comparative result can be kept in Flash, for application layer or user, check, the abnormal ability of feeding back is provided, can determine fast fault;
3. while upgrading VxWorks image file, its CRC check value also can be upgraded, and simple to operate, degree of freedom is high.
Accompanying drawing explanation
Fig. 1 is the VxWorks reflection boot sequence based on ROM;
Fig. 2 is VxWorks image file Correctness checking technology programming process;
Fig. 3 is VxWorks image file Correctness checking technology correctness comparison procedure.
Specific implementation
Below in conjunction with accompanying drawing, the present invention is described in further detail.
Vxworks operating system, as shown in Figure 1, it is as follows that VxWorks reflection starts detailed process to the VxWorks reflection boot sequence based on ROM/Flash:
(1) VxWorks reflection packs into.After system power-up, pilot tape code is carried out, and first code segment and the data segment of VxWorks reflection is encased in RAM from ROM or Flash, and non-compression-type VxWorks reflection is directly carried out copy function.
(2) control shifts.After VxWorks reflection is loaded into, system control is transferred to the setup code of VxWorks reflection in RAM.
(3) system initialization.The setup code of static linkage in VxWorks reflection carried out that this step and operated in RAM, final complete operation system initialization operation.
If VxWorks reflection destroys, in boot in said process step (1), VxWorks image file not being carried out to correctness checks, although finally may complete vxworks operating system initialization, but in system implementation, there will be extremely, system operation obtains unexpected result.
The inspection method of VxWorks reflection correctness, by when the programming VxWorks image file, calculate its 16 CRC check values, and result is kept in Flash, after each system power-up, guidance code is carried out, in guidance code, add VxWorks image file audit function: calculate 16 CRC check values of VxWorks image file in the current Flash of leaving in (need to programming time use identical CRC polynomial expression), and 16 CRC check values of preserving during by this proof test value and programming image file compare, unanimously VxWorks image file is normal for comparative result, system normally starts, comparative result is inconsistent, will extremely be kept in Flash.After system starts, application layer program can be checked the result being kept in Flash, if having extremely, can report this fault.
VxWorks image file Correctness checking technology programming process as shown in Figure 2;
VxWorks image file Correctness checking technology correctness comparison procedure as shown in Figure 3.
VxWorks image file Correctness checking technology has following advantage:
1. while starting, all carry out VxWorks image file Correctness checking at every turn, guarantee that system execution meets expection;
2. when having VxWorks image file to destroy, by this functional check, comparative result can be kept in Flash, for application layer or user, check, the abnormal ability of feeding back is provided, can determine fast fault;
3. while upgrading VxWorks image file, its CRC check value also can be upgraded, and simple to operate, degree of freedom is high.
The foregoing is only preferred embodiment of the present invention, be not intended to limit protection scope of the present invention.Within the spirit and principles in the present invention all, any modification of doing, be equal to and replace and improvement etc., the coding of for example proof test value is left in ROM, proof test value being selected other, within all should being included in protection scope of the present invention.
Claims (3)
1. an inspection method for VxWorks image file correctness, comprises the following steps:
1) during programming VxWorks image file, calculation check value, and result is kept in storer;
2) after each system power-up, guidance code is carried out, and adds VxWorks image file audit function in guidance code:
3) calculate the current proof test value that leaves the VxWorks image file in storer in, and the proof test value of preserving during by this proof test value and programming image file compares, unanimously VxWorks image file is normal for comparative result, and system normally starts; Comparative result is inconsistent, will extremely be kept in storer;
4) after system startup, application layer program can be checked the result being kept in storer, if having extremely, can report this fault.
2. the inspection method of a kind of VxWorks image file correctness according to claim 1, is characterized in that, described storer is FLASH storer.
3. the inspection method of a kind of VxWorks image file correctness according to claim 1, is characterized in that, described proof test value is 16 CRC check values.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201310574633.9A CN103617095A (en) | 2013-11-15 | 2013-11-15 | VxWorks mapping file accuracy checking method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201310574633.9A CN103617095A (en) | 2013-11-15 | 2013-11-15 | VxWorks mapping file accuracy checking method |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN103617095A true CN103617095A (en) | 2014-03-05 |
Family
ID=50167798
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201310574633.9A Pending CN103617095A (en) | 2013-11-15 | 2013-11-15 | VxWorks mapping file accuracy checking method |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN103617095A (en) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104123510A (en) * | 2014-08-04 | 2014-10-29 | 上海斐讯数据通信技术有限公司 | Method for verifying running mapping files |
| CN106325941A (en) * | 2016-08-25 | 2017-01-11 | 许继集团有限公司 | FPGA (Field Programmable Gate Array) dynamic function switching method and device for embedded equipment |
| CN113778553A (en) * | 2021-08-27 | 2021-12-10 | 中国航空无线电电子研究所 | High-reliability start loading method for embedded avionic device |
Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1632756A (en) * | 2003-12-24 | 2005-06-29 | 英业达股份有限公司 | A Method of Realizing Automatic Fault Tolerance of Image File in the Booting Process of Linux Operating System |
| CN101135975A (en) * | 2006-08-29 | 2008-03-05 | 中兴通讯股份有限公司 | Method for system application matching detection |
| CN101944051A (en) * | 2010-09-29 | 2011-01-12 | 山东大学 | Multi-copy high-reliability embedded system firmware on chip and working method thereof |
| US20110320794A1 (en) * | 2010-06-28 | 2011-12-29 | Chung-Jen Yang | Flash System And Method For Updating The Flash System |
| CN102521410A (en) * | 2011-12-28 | 2012-06-27 | 天津凯发电气股份有限公司 | VxWorks-operating-system-based file storage structure and storage method |
| CN102801576A (en) * | 2012-04-27 | 2012-11-28 | 上海斐讯数据通信技术有限公司 | Detection system and detection method for network equipment |
| CN102968348A (en) * | 2011-07-29 | 2013-03-13 | 波音公司 | Methods and systems for preboot data verification |
-
2013
- 2013-11-15 CN CN201310574633.9A patent/CN103617095A/en active Pending
Patent Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1632756A (en) * | 2003-12-24 | 2005-06-29 | 英业达股份有限公司 | A Method of Realizing Automatic Fault Tolerance of Image File in the Booting Process of Linux Operating System |
| CN101135975A (en) * | 2006-08-29 | 2008-03-05 | 中兴通讯股份有限公司 | Method for system application matching detection |
| US20110320794A1 (en) * | 2010-06-28 | 2011-12-29 | Chung-Jen Yang | Flash System And Method For Updating The Flash System |
| CN101944051A (en) * | 2010-09-29 | 2011-01-12 | 山东大学 | Multi-copy high-reliability embedded system firmware on chip and working method thereof |
| CN102968348A (en) * | 2011-07-29 | 2013-03-13 | 波音公司 | Methods and systems for preboot data verification |
| CN102521410A (en) * | 2011-12-28 | 2012-06-27 | 天津凯发电气股份有限公司 | VxWorks-operating-system-based file storage structure and storage method |
| CN102801576A (en) * | 2012-04-27 | 2012-11-28 | 上海斐讯数据通信技术有限公司 | Detection system and detection method for network equipment |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104123510A (en) * | 2014-08-04 | 2014-10-29 | 上海斐讯数据通信技术有限公司 | Method for verifying running mapping files |
| CN106325941A (en) * | 2016-08-25 | 2017-01-11 | 许继集团有限公司 | FPGA (Field Programmable Gate Array) dynamic function switching method and device for embedded equipment |
| CN113778553A (en) * | 2021-08-27 | 2021-12-10 | 中国航空无线电电子研究所 | High-reliability start loading method for embedded avionic device |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8683266B2 (en) | Methods and devices for configuration validation of a complex multi-element system | |
| US10929262B2 (en) | Programmable electronic computer in an avionics environment for implementing at least one critical function and associated electronic device, method and computer program | |
| US9513911B2 (en) | Method of detecting stack overflows and processor for implementing such a method | |
| WO2021141543A1 (en) | Method and apparatus for authority control, computer device and storage medium | |
| WO2015051735A1 (en) | Devices and methods for generating test cases | |
| US8756389B2 (en) | Prevention of overlay of production data by point in time copy operations in a host based asynchronous mirroring environment | |
| US20140208294A1 (en) | Domain scripting language framework for service and system integration | |
| US20140208169A1 (en) | Domain scripting language framework for service and system integration | |
| WO2020057253A1 (en) | Method and system for game updating, terminal and computer readable storage medium | |
| US10503582B2 (en) | Method and computer system for fault tolerant data integrity verification of safety-related data | |
| CN103617095A (en) | VxWorks mapping file accuracy checking method | |
| CN106294036A (en) | A kind of hardware fault verification method, device and client | |
| US20140297827A1 (en) | Computer-readable recording medium, verification method, and verification device | |
| CN105279043B (en) | A kind of method and system that scm software mistake is restored | |
| KR101420750B1 (en) | Unmanned Aerial Vehicle Flight Control Software Verification Method | |
| US11231940B2 (en) | System and method for automatic recovery of information handling systems | |
| CN116954708A (en) | System mirror image data processing method, device, equipment and medium | |
| US11209992B2 (en) | Detection of alteration of storage keys used to protect memory | |
| CN106960138A (en) | The method of calibration and device of virtual machine instructions, system | |
| CN111694724B (en) | Test method and device of distributed form system, electronic equipment and storage medium | |
| CN106940667A (en) | The method and apparatus for examining the result of calculation in the system with multiple computing units | |
| US11263313B2 (en) | Securing execution of a program | |
| US11210188B1 (en) | Systems and methods for processor monitoring and recovery | |
| US11429537B2 (en) | Method, device, and computer program product for managing storage system | |
| Montrucchio et al. | Fault injection in the process descriptor of a Unix-based operating system |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| WD01 | Invention patent application deemed withdrawn after publication | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20140305 |