CN108228404A - A kind of domestic processor verification method based on aerospace applications - Google Patents

A kind of domestic processor verification method based on aerospace applications Download PDF

Info

Publication number
CN108228404A
CN108228404A CN201611153883.5A CN201611153883A CN108228404A CN 108228404 A CN108228404 A CN 108228404A CN 201611153883 A CN201611153883 A CN 201611153883A CN 108228404 A CN108228404 A CN 108228404A
Authority
CN
China
Prior art keywords
verification
test
processor
domestic processor
domestic
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
Application number
CN201611153883.5A
Other languages
Chinese (zh)
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.)
Xian Aeronautics Computing Technique Research Institute of AVIC
Original Assignee
Xian Aeronautics Computing Technique Research Institute of AVIC
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 Xian Aeronautics Computing Technique Research Institute of AVIC filed Critical Xian Aeronautics Computing Technique Research Institute of AVIC
Priority to CN201611153883.5A priority Critical patent/CN108228404A/en
Publication of CN108228404A publication Critical patent/CN108228404A/en
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/22Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26Functional testing

Abstract

The invention belongs to rapid photo detectors, it is related to a kind of domestic processor verification method based on aerospace applications, the Pyatyi verification method being previously mentioned according to the present invention, it can realize that component grade, plate grade, complete machine grade, the system-level and typical case of domestic processor support verification, and the present invention and external processor have carried out analysis comparison, the validity of verification flow and method is demonstrated, risk is reduced for promoting the use of for domestic processor.

Description

A kind of domestic processor verification method based on aerospace applications
Technical field
The invention belongs to rapid photo detectors, are related to a kind of domestic processor verification method based on aerospace applications.
Background technology
With the development of processor technology, high-performance processor is applied in new Aviation AirborneComputer.For assessment The use reliability of processor needs to carry out a series of verification work after processor manufacture.Foreign countries pay much attention to highly reliable The verification related work of property component, has assessment and application study that specialized agency is responsible for component, forms complete technology Method system.The test verification work of domestic component is concentrated mainly on space industry, forms first device with space flight Part application verification system and flow have the characteristics that the processor application verification system and flow of aviation but without formation.
With the continuous development of China's avionics, the function and task complexity of aircraft are continuously improved, airborne meter The characteristics of multitask of calculation machine, hard real time, is more prominent, and also the function to processor used, performance propose higher requirement.For Realize the autonomous controllable of air weapon, in Aviation AirborneComputer development process, using domestic integrated circuit into For mainstream, but many problems are also all exposed in use, whether domestic processor, which can meet aviation field environment, is fitted Answering property is particularly important.
Invention content
The purpose of the present invention:The present invention be with existing technology and test verification equipment, for the demand of aviation field, from Component grade, plate grade, complete machine grade, system-level and typical case support five aspects to carry out test verification work to domestic processor Make.
Technical scheme of the present invention:
A kind of domestic processor verification method based on aerospace applications, includes the following steps:
Step 1:Proof scheme is write, whether decision processor meets verification acceptable conditions, if met, enters step Two, if do not met, feedback analysis result;
Step 2:Component level verification is carried out to domestic processor, judges whether to meet proof scheme and detail specification It is required that if it is satisfied, three are entered step, if conditions are not met, entering step seven;
Step 3:To domestic processor into andante level verification, judge whether to meet plate level verification requirement, if it is satisfied, into Enter step 4, if conditions are not met, entering step seven;
Step 4:Complete machine level verification is carried out to domestic processor, judges whether to meet complete machine level verification requirement, if full Foot, enters step five, if conditions are not met, entering step seven;
Step 5:Whole-system verification is carried out to domestic processor, to domestic processor supported application system integrated treatment General performance is verified, judges whether to meet whole-system verification requirement, if it is satisfied, six are entered step, if conditions are not met, into Enter step 7;
Step 6:Typical case enabling capabilities verification is carried out to domestic processor, enters step seven;
Step 7, integrated application verification result provide domestic processor application verification evaluation.
A kind of domestic processor verification method based on aerospace applications, the component level verification include foundation The test requirements document of GJB548B-2005 microelectronic components test method and GJB597A-96 semiconductor integrated circuit generic specifications confirms Domestic processor influences plate grade and the physical characteristic of complete machine level verification;The component level verification specifically includes:It is physical package, outer Shape size, solderability, exit intensity, flip-chip pull, solder ball coplanarity, operational characteristic, power consumption test and basic function Test.
A kind of domestic processor verification method based on aerospace applications, the plate level verification are included based on processor Module design, emulation, operating system adaptation, test software design, the most of function and performance of domestic processor are carried out Verification;The plate level verification includes plate grade hardware verification and plate grade software verification, and plate grade hardware verification uses general purpose test equipment, Verification Project has module design verification, dominant frequency test, memory test, heat analysis, operating voltage test, I/O pin level to survey Examination;Plate grade software verification platform is vxworks operating system, and Verification Project has operating system to be adapted to, operational capability is tested and steady Qualitative test.
A kind of domestic processor verification method based on aerospace applications, the complete machine level verification is to software and hardware collection The operation of module after, access, graphics process, function, performance, the stability of interface transmission, fault-tolerant ability, Fault Isolation energy Power, environmental suitability are verified;The complete machine level verification includes complete machine hardware verification, complete machine software verification and machine failure point Three aspects of analysis, the complete machine hardware verification include power consumption test, external interrupt response test, bus transfer test and discrete magnitude Input/output test;The complete machine software verification platform be vxworks operating system, Verification Project include operational capability test and The concurrent stability test of multibus;Machine failure analysis include phenomenon of the failure and analysis, fault location and Analysis on Mechanism and Corrective action and regression test.
A kind of domestic processor verification method based on aerospace applications, the whole-system verification is to domestic processing The general performance of device supported application system integrated treatment is verified, vxworks operating system shifting is carried out on application verification plate It plants, develops validation test program;The whole-system verification includes comprehensive performance verification and interface airworthiness compliance, comprehensive performance are tested Card includes real-time response performance verification, the verification of real-time response stability, startability verification, information processing performance verification, interface Airworthiness compliance includes bus interface specifications airworthiness compliance and operating system interface airworthiness compliance.
A kind of domestic processor verification method based on aerospace applications, the typical case enabling capabilities verification are Typical case proving program is loaded on airborne computer system;The typical case enabling capabilities verification includes airborne synthesis and shows Control verification and Electromechanical Management verification, the particular content of the typical case enabling capabilities verification are included at the data of domestic processor Reason ability, bus communication ability, display processing ability, task scheduling ability, real-time;Control verification and electromechanics are shown in airborne synthesis While admin-authentication is run, task run efficiency, resources occupation rate need to be monitored.
Advantageous effect
According to the Pyatyi verification method that the present invention is previously mentioned, the component grade, plate grade, complete machine of domestic processor can be realized Grade, the support verification of system-level and typical case, and the present invention and external processor have carried out analysis comparison, it was demonstrated that verification stream The validity of journey and method reduces risk for promoting the use of for domestic processor.
Description of the drawings
A kind of domestic processor verification method flow charts based on aerospace applications of Fig. 1
Specific embodiment
The present invention is applied to for domestic processor in new Aviation AirborneComputer, with reference to existing technology and test Method forms the domestic processor application verification system and flow with aviation, as shown in Figure 1.
Step 1:Proof scheme is write, judges whether to meet verification acceptable conditions, if met, enters step two, if It does not meet, then feedback analysis result.
Step 2:Component level verification, the examination of Main Basiss GJB548B-2005 microelectronic components are carried out to domestic processor The test requirements document of proved recipe method and GJB597A-96 semiconductor integrated circuit generic specifications confirms that domestic processor influences plate grade and complete machine The physical characteristic of level verification.The Verification Project of design includes:Physical package class, solderability, exit intensity, is fallen at appearance and size Load pulls, solder ball coplanarity, operational characteristic, power consumption test and Basic function testing.After completing component level verification, judgement is It is no to meet the requirement of proof scheme and detail specification, if it is satisfied, three are entered step, if conditions are not met, entering step seven.
Step 3:To domestic processor into andante level verification, it is substantially carried out processor-based module design, emulation, behaviour Make system adaptation, test software design, by the board level test that software and hardware integrates to the most of function and property of domestic processor It can be verified.Hardware verification uses general purpose test equipment, and Verification Project has module design verification, dominant frequency test, memory to survey Examination, heat analysis, operating voltage test, I/O pin level detecting.Software verification platform be vxworks operating system, Verification Project There are operating system adaptation, operational capability test and stability test.After completing plate level verification, judge whether that meeting plate level verification wants It asks, if it is satisfied, four are entered step, if conditions are not met, entering step seven.
Step 4:Complete machine level verification is carried out to domestic processor, be the operation of module after being integrated to software and hardware, access, Graphics process, interface transmission etc. function, performance, stability, fault-tolerant ability, trouble isolation serviceability, environmental suitability into Row verification provides basic test data for the domestic processor type selecting in airborne field and supports.Verification Project includes hardware verification, software Three aspects of verification and accident analysis.Hardware verification project includes power consumption test, external interrupt response test, bus transfer test With discrete magnitude input/output test.Software verification platform be vxworks operating system, Verification Project include operational capability test and The concurrent stability test of multibus.Research to accident analysis, including phenomenon of the failure and analysis, fault location and Analysis on Mechanism and Corrective action and regression test.After completing complete machine level verification, judge whether to meet complete machine level verification requirement, if it is satisfied, into Step 5, if conditions are not met, entering step seven.
Step 5:Whole-system verification is that the general performance of domestic processor supported application system integrated treatment is tested Card carries out vxworks operating system transplanting on application verification plate, develops validation test program, and Verification Project includes comprehensive It is able to verify that and interface airworthiness compliance.Comprehensive performance verification includes real-time response performance verification, the verification of real-time response stability, opens Dynamic performance verification, information processing performance verification.Interface airworthiness compliance includes bus interface specifications airworthiness compliance and operation is System interface airworthiness compliance.After completing whole-system verification, judge whether to meet whole-system verification requirement, if it is satisfied, entering step Rapid six, if conditions are not met, entering step seven.
Step 6:Typical case enabling capabilities verification be under the premise of domestic processor performance requirements is up to standard, The Verification Project that typical case proving program is implemented is loaded on airborne computer system.In this method using airborne synthesis show control and The enabling capabilities verification of two typical cases of Electromechanical Management, the verification of the two typical cases can reflect domestic processing from application angle Data-handling capacity, bus communication ability, display processing ability, task scheduling ability, real-time of device etc..In typical case journey While sort run, task run efficiency, resources occupation rate need to be monitored, be supervised by specific purpose tool and self-compiling program It surveys, and as possible so that test program and monitoring program take up less resources, to reduce the influence to application system.It is evaluated with this domestic Processor runs the quality of typical application applicability.After completing the verification of typical case enabling capabilities, seven are entered step.
Step 7, integrated application verification result provide domestic processor application verification evaluation.

Claims (6)

1. a kind of domestic processor verification method based on aerospace applications, which is characterized in that include the following steps:
Step 1:Proof scheme is write, whether decision processor meets verification acceptable conditions, if met, enters step two, such as Fruit does not meet, then feedback analysis result;
Step 2:Component level verification is carried out to domestic processor, judges whether the requirement for meeting proof scheme and detail specification, If it is satisfied, three are entered step, if conditions are not met, entering step seven;
Step 3:To domestic processor into andante level verification, judge whether to meet plate level verification requirement, if it is satisfied, entering step Rapid four, if conditions are not met, entering step seven;
Step 4:Complete machine level verification is carried out to domestic processor, judges whether to meet complete machine level verification requirement, if it is satisfied, into Enter step 5, if conditions are not met, entering step seven;
Step 5:Whole-system verification is carried out to domestic processor, to the synthesis of domestic processor supported application system integrated treatment Performance is verified, judges whether to meet whole-system verification requirement, if it is satisfied, six are entered step, if conditions are not met, entering step Rapid seven;
Step 6:Typical case enabling capabilities verification is carried out to domestic processor, enters step seven;
Step 7:Integrated application verification result provides domestic processor application verification evaluation.
2. a kind of domestic processor verification method based on aerospace applications according to claim 1, it is characterised in that:It is described Component level verification is included according to GJB548B-2005 microelectronic components test method and GJB597A-96 semiconductors in step 2 The test requirements document of integrated circuit generic specification confirms that domestic processor influences plate grade and the physical characteristic of complete machine level verification;The member Device level verification specifically includes:Physical package, appearance and size, solderability, exit intensity, flip-chip pull, solder ball coplanarity, Operational characteristic, power consumption test and the test of basic function.
3. a kind of domestic processor verification method based on aerospace applications according to claim 1, it is characterised in that:It is described Plate level verification includes processor-based module design, emulation, operating system adaptation, test software design in step 3, to state The most of function and performance for producing processor are verified;The plate level verification includes plate grade hardware verification and plate grade software is tested Card, plate grade hardware verification use general purpose test equipment, and Verification Project has module design verification, dominant frequency test, memory test, heat Analysis, operating voltage test, I/O pin level detecting;Plate grade software verification platform is vxworks operating system, and Verification Project has Operating system adaptation, operational capability test and stability test.
4. a kind of domestic processor verification method based on aerospace applications according to claim 1, it is characterised in that:It is described Step 4 complete machine level verification is function, the property of the operation of the module after being integrated to software and hardware, access, graphics process, interface transmission Energy, stability, fault-tolerant ability, trouble isolation serviceability, environmental suitability are verified;The complete machine level verification includes complete machine hardware Verification, complete machine software verification and machine failure analyze three aspects, and the complete machine hardware verification includes power consumption test, external interrupt Response test, bus transfer test and discrete magnitude input/output test;The complete machine software verification platform is VxWorks operation system System, Verification Project include operational capability test and the concurrent stability test of multibus;The machine failure analysis includes failure and shows As with analysis, fault location and Analysis on Mechanism and corrective action and regression test.
5. a kind of domestic processor verification method based on aerospace applications according to claim 3, it is characterised in that:It is described Whole-system verification is that the general performance of domestic processor supported application system integrated treatment is verified in step 5, is being applied Vxworks operating system transplanting is carried out on witness plate, develops validation test program;The whole-system verification is tested including comprehensive performance Card and interface airworthiness compliance, comprehensive performance verification include real-time response performance verification, the verification of real-time response stability, startability It is able to verify that, information processing performance verification, interface airworthiness compliance includes bus interface specifications airworthiness compliance and operating system connects Mouth airworthiness compliance.
6. a kind of domestic processor verification method based on aerospace applications according to claim 4, it is characterised in that:It is described The verification of typical case enabling capabilities is the loading typical case proving program on airborne computer system in step 6;The typical case Include airborne synthesis using enabling capabilities verification and show control verification and Electromechanical Management verification, the typical case enabling capabilities verification The data-handling capacity of particular content including domestic processor, bus communication ability, display processing ability, task scheduling ability, Real-time;It, need to be to task run efficiency, resources occupation rate while airborne synthesis shows control verification and Electromechanical Management verification operation It is monitored.
CN201611153883.5A 2016-12-14 2016-12-14 A kind of domestic processor verification method based on aerospace applications Pending CN108228404A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201611153883.5A CN108228404A (en) 2016-12-14 2016-12-14 A kind of domestic processor verification method based on aerospace applications

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201611153883.5A CN108228404A (en) 2016-12-14 2016-12-14 A kind of domestic processor verification method based on aerospace applications

Publications (1)

Publication Number Publication Date
CN108228404A true CN108228404A (en) 2018-06-29

Family

ID=62638500

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201611153883.5A Pending CN108228404A (en) 2016-12-14 2016-12-14 A kind of domestic processor verification method based on aerospace applications

Country Status (1)

Country Link
CN (1) CN108228404A (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109684151A (en) * 2018-12-12 2019-04-26 中国航空工业集团公司西安航空计算技术研究所 A kind of processor system application verification method
CN110675014A (en) * 2019-07-24 2020-01-10 中国电子科技集团公司电子科学研究院 Method and equipment for determining substitute verification project of domestic electronic device
CN110865916A (en) * 2019-11-01 2020-03-06 广东省信息工程有限公司 Integrated test verification method based on domestic equipment

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20070139898A1 (en) * 2005-12-16 2007-06-21 Inventec Corporation System motherboard having expansibility and variability
CN103700407A (en) * 2013-12-14 2014-04-02 中国航空工业集团公司第六三一研究所 Aviation application-based verification method for domestic storages

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20070139898A1 (en) * 2005-12-16 2007-06-21 Inventec Corporation System motherboard having expansibility and variability
CN103700407A (en) * 2013-12-14 2014-04-02 中国航空工业集团公司第六三一研究所 Aviation application-based verification method for domestic storages

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
吴蓬勃: "国产大规模数字集成电路的航空应用验证探讨", 《电子质量》 *

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109684151A (en) * 2018-12-12 2019-04-26 中国航空工业集团公司西安航空计算技术研究所 A kind of processor system application verification method
CN110675014A (en) * 2019-07-24 2020-01-10 中国电子科技集团公司电子科学研究院 Method and equipment for determining substitute verification project of domestic electronic device
CN110865916A (en) * 2019-11-01 2020-03-06 广东省信息工程有限公司 Integrated test verification method based on domestic equipment

Similar Documents

Publication Publication Date Title
US20150100296A1 (en) Method and system for automated test and result comparison
CN108228404A (en) A kind of domestic processor verification method based on aerospace applications
CN108089975A (en) A kind of method of constructing environment Control System Software virtual testing environment
CN203070097U (en) Comprehensive test device based on aviation flight management control display assembly
CN105868114A (en) FPGA software system and all module testing system and method thereof
CN103700407A (en) Aviation application-based verification method for domestic storages
CN101715577A (en) Can carry out from the order of simulation system with from the electronic cards of the order of diagnostic module and relevant analogy method
CN103376340A (en) Adapter plate, a multi-platform serial test system and method
CN116149801B (en) Airborne maintenance and health management simulation system and simulation method
CN109408399A (en) A kind of calculation power estimation method, device, equipment and storage medium
CN112836351B (en) Design method and system for sine vibration test of commercial microsatellite satellite-mounted product
Li et al. Toward Sustainable HPC: Carbon Footprint Estimation and Environmental Implications of HPC Systems
US8539429B1 (en) System yield optimization using the results of integrated circuit chip performance path testing
CN101763453B (en) Standardized IP core evaluating method and system
CN115792583B (en) Method, device, equipment and medium for testing vehicle-gauge chip
CN105371892B (en) Inferior grade screening of electric components method and device thereof for satellite
US20170115658A1 (en) Use of Multivariate Models to Control Manufacturing Operations
CN108073157A (en) A kind of method for building Cabin Pressure Control System application software virtual testing environment
US9454149B2 (en) Extracting attribute fail rates from convoluted systems
Song et al. Transformer Equipment Temperature Monitoring Based on the Network Framework of Django
US8798944B2 (en) Estimating ball-grid-array longevity in a computer system
US11816016B2 (en) Identifying causes of anomalies observed in an integrated circuit chip
Fan et al. Big data analytics to improve photomask manufacturing productivity
Ding et al. An Airborne Software CMA Application Method Based on ARP4761
Björkman et al. Verification of safety logic designs by model checking

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
RJ01 Rejection of invention patent application after publication
RJ01 Rejection of invention patent application after publication

Application publication date: 20180629