CN202275399U - Debugging verification system for embedded software - Google Patents
Debugging verification system for embedded software Download PDFInfo
- Publication number
- CN202275399U CN202275399U CN2011202138111U CN201120213811U CN202275399U CN 202275399 U CN202275399 U CN 202275399U CN 2011202138111 U CN2011202138111 U CN 2011202138111U CN 201120213811 U CN201120213811 U CN 201120213811U CN 202275399 U CN202275399 U CN 202275399U
- Authority
- CN
- China
- Prior art keywords
- real
- machine
- interface
- computer
- board
- 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.)
- Expired - Lifetime
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
The utility model discloses a debugging verification system for embedded software, which consists of a real-time processing computer, a management computer, a model simulation computer, a network switch, a signal adapter plate and a signal regulating panel. The debugging verification system can be connected with a real target machine or a rocket machine on the ground to carry out debugging verification and can be used for simulating real equipment on a carrier rocket, establishing the simulation running environment of flight software and carrying out debugging and verification on the flight software. A VxWorks operation system is arranged on the real-time processing computer, so that the real-time performance of data transmission is ensured. Due to various board cards, the requirement on connection between the debugging verification system and different types of embedded software systems can be met. A rocket body model operates on the model simulation computer and the model simulation computer can be communicated with the real-time processing computer through a reflection type memory network. A dragging graphical modeling mode is provided by the management computer. The simulation testing environment is rapidly set up. Transceiving timing sequence of data can be configured. Any data can be displayed on a display control panel. The debugging verification system has simple composition and strong universality.
Description
Technical field
The utility model relates to a kind of debugging verification system that is used for embedded software, is mainly used in the debugging and verification of the embedded software of carrier rocket
Background technology
In the Aerospace Control field; Space flight is embedded generally to be meant towards one type of aerospacecraft special embedded software; Be flight software again, the whole flight course of control rocket, common flight software has Flight Control Software, integrated navigation software, bus Control Software etc.; The quality of flight software directly affects the reliability of whole aerocraft system, and is therefore particularly important to the test of flight software.But test flight software has 2 difficult points, the one, the hardware-dependence of flight software, promptly flight software need move under specific hardware environment, and hardware involve great expense and the lead time slow, can influence test period of flight software; The 2nd, the independence of flight software, independence relatively all compare in the development of flight software and test, especially tests required emulation platform and can't accomplish generally, has caused the waste of hardware and software resource.
The utility model content
The technology of the utility model is dealt with problems and is: overcome the deficiency of prior art, a kind of debugging verification system that is used for embedded software is provided, this system forms simple, highly versatile.
The technical solution of the utility model is: a kind of debugging verification system that is used for embedded software; Embedded software is installed in target machine or the arrow machine; Form by real-time processing computer, supervisory computer, model emulation computing machine, the network switch, Signals Transfer Board and signal regulating panel; Build debugging verification platform and in the supervisory computer, operation rocket body realistic model and carry out communication on the model emulation computing machine through reflective internal memory network and real-time processor through among the CPU that installs to real-time processor under the network switch; Real-time processing computer adopts vxworks operating system; LVDS interface card, 1553B bus interface board, CAN bus interface card, serial bus interface card, reflective RAM card, counter interface board, timer interface board, analog quantity input-output card, digital quantity input-output card are installed in the real-time processing computer; LVDS interface card in the real-time processing computer, 1553B bus interface board, CAN bus interface card, serial bus interface cartoon are crossed Signals Transfer Board and are connected with target machine or arrow machine; Counter interface board, timer interface board, analog quantity input-output card and digital quantity input-output card are connected with target machine or arrow machine with Signals Transfer Board through signal regulating panel; Signals Transfer Board with the communication interface of target machine or arrow machine convert to real-time processing computer in the interface that adapts of various interface integrated circuit board, signal regulating panel is used for count signal, timing signal, analog quantity input/output signal and digital quantity input/output signal are carried out signal condition.
The advantage that the utility model is compared with prior art had is: the debugging verification system that the utility model is set up can be connected the debugging checking with real target machine or arrow machine on ground; Real equipment on the simulation carrier rocket; Set up the simulation running environment of flight software, flight software is carried out debugging and verification.This debugging verification system is formed simple, highly versatile, and the real-time processor in the debugging verification system is installed vxworks operating system, has guaranteed the real-time of data transfer, and various integrated circuit boards can satisfy and being connected of dissimilar embedded software systems; Move the rocket body model on the model emulation computing machine and can carry out communication through reflective internal memory network with real-time processor; Supervisory computer provides the graphical modeling pattern that pulls, and fast construction goes out the emulation testing environment, and transmitting-receiving sequential that can configuration data on display and control panel, can show data arbitrarily.
Description of drawings
Fig. 1 is the composition structural drawing of the utility model;
Fig. 2 is a static modeling synoptic diagram in the utility model supervisory computer;
Fig. 3 is the design drawing of data dictionary.
Embodiment
Below in conjunction with accompanying drawing and specific embodiment the utility model is done further detailed description:
As shown in Figure 1; The utility model adopts the distributed structure/architecture technology of real-time processor+model emulation computing machine+supervisory computer; Embedded software is installed in target machine or the arrow machine; The debugging verification system is made up of real-time processing computer, supervisory computer, model emulation computing machine, the network switch, Signals Transfer Board and signal regulating panel; Supervisory computer is connected with real-time processing computer through the network switch; Real-time processing computer is connected through reflective internal memory network with the model emulation computing machine; LVDS interface card, 1553B bus interface board, CAN bus interface card, serial bus interface plate, reflective RAM card, counter interface board, timer interface board, analog quantity input-output card, digital quantity input-output card are installed in the real-time processing computer; LVDS interface card in the real-time processing computer, 1553B bus interface board, CAN bus interface card, serial bus interface plate are connected with target machine or arrow machine through Signals Transfer Board, and counter interface board, timer interface board, analog quantity input-output card, digital quantity input-output card are connected with target machine or arrow machine with Signals Transfer Board through signal regulating panel.
Real-time processor adopts the VxWorks real time operating system; Guaranteed the real-time of data transfer; Being equipped with various IO integrated circuit board equipment can satisfy and being connected of dissimilar embedded software systems; Like data exchange interfaces such as MIL-STD-1553, RS232/422/485, CAN bus, AD/DA, DI/DO; Real-time processing computer is input to the good data of computing in the embedded software in target machine or the arrow machine as pumping signal through signal regulating panel, Signals Transfer Board, and the feedback data of embedded software in receiving target machine or the arrow machine.
Supervisory computer is as the interface of man-machine interaction, and graphical configuration, management and the process control of test card work exchanged in responsible completion, after building the artificial debugging verification platform on the supervisory computer, installs among the CPU of real-time processor down.In the debugging proof procedure, supervisory computer also is responsible for gathering in real time the communication data of real-time processor and arrow machine, and on virtual panel, shows in real time and Treatment Analysis afterwards.Artificial debugging verification platform in the supervisory computer comprises static MBM, dynamic modeling module, real-time display module, ex-post analysis module and fault injection module.IO variable in static modeling based target machine or the arrow machine is set up the peripherals model of target machine or arrow machine.Sequential logic when dynamic modeling is verified based on debugging, the data exchange process of defining virtual model and target machine or arrow machine.Show in real time it is in the debugging proof procedure, on the senior management computer with graphical panel demonstration real-time processor and target machine or arrow machine between the data of real-time exchange.Ex-post analysis is after test is accomplished, with recorded data in the mode analytical test process of figure and form.It is to exchange test card process to intervene input fault data, the disposition of checking target machine or arrow machine that fault is injected.
Static MBM adopts rectangle to represent the peripherals model of target machine or arrow machine, adopts arrow to represent the data communication model.As shown in Figure 2; Rectangle can be represented real physical equipment; Can represent that also the user wants the equipment of emulation, all belong to like " arrow machine " and " rate gyro emulator " etc. and want hardwired true physical equipment that " being used to group ", " servo " and " ground " etc. all belong to the equipment that the user wants emulation.The type of arrow has MIL-STD-1553, RS232, RS422, RS485, CAN, AD/DA, DI/DO; The attribute of arrow comprises that all want the data of communication between peripherals model and the arrow machine; Attributes such as the size of these data and form must be in strict conformity with the communications protocol of embedded flight software on the arrow machine; The data of definition all can get into data dictionary, the modeling work after this dictionary will instruct.
The dynamic modeling module is on the basis of static modeling, carries out second modeling on the level, i.e. the exchange process of specified data.This layer modeling relates to the logic behavior of the raw data of communication between peripherals model and the arrow machine, relates generally to liking the data characteristic in the static modeling, like the flow direction of data, the jump condition of data, time-constrain of data or the like.Briefly: which variable static modeling has confirmed all can have between peripheral model and the arrow machine transmit, and dynamic modeling is exactly the transmission time sequence that will dispose these variablees.
The simulation of fault injection module produces various faults and injects and treat examining system, observes its reaction to the injection fault, and finally obtains evaluation result.Present technique can realize embedded flight software common faults type and fault mode in Physical layer, protocol layer and application layer, like 1553B bus communication fault (Physical layer), transfer check bit-errors (protocol layer), data assignment mistake (application layer) or the like.
The design of data dictionary is as shown in Figure 3, and data dictionary is the global variable table of the various IO data of record.In the data dictionary between target machine or arrow machine and model the raw data of communication; The data that also will have the user in dynamic modeling, to increase; Here be called auxiliary data, under most of situation, auxiliary data has just been done very little calculating to raw data; Like simple arithmetic, type conversion etc., but these auxiliary datas are the data the most intuitively that are used for demonstration in real time and ex-post analysis afterwards.
The model emulation computing machine because rocket body model calculation amount is huge, must independently be carried out, and its rocket body model all operates on the windows, therefore needs independently to be provided with a model emulation computing machine.In order to guarantee that the data between model emulation machine and the real-time processor can in time transmit, stick into row communication with reflective memory between the two.
Realistic model computing machine and supervisory computer adopt the 2U industrial computer.
Signals Transfer Board with the communication interface of target machine or arrow machine convert to real-time processing computer in the interface that adapts of various IO integrated circuit board equipment, purpose is to make the debugging verification system have versatility, can be used in target machine or arrow machine with different communication interface.
Signal regulating panel is used for count signal, timing signal, analog quantity input/output signal and digital quantity input/output signal are carried out signal condition, and signal regulating panel adopts the signal regulating panel of NI company.
The utility model not detailed description is a technology as well known to those skilled in the art.
Claims (1)
1. debugging verification system that is used for embedded software; It is characterized in that: form by real-time processing computer, supervisory computer, model emulation computing machine, the network switch, Signals Transfer Board and signal regulating panel; Supervisory computer is connected with the CPU of real-time processor through the network switch, and the model emulation computing machine carries out communication through reflective internal memory network and real-time processor; LVDS interface card, 1553B bus interface board, the total analog quantity input-output line of CAN interface card, serial bus interface card, reflective RAM card, counter interface board, timer interface integrated circuit board, digital quantity input-output card are installed in the real-time processing computer; LVDS interface card in the real-time processing computer, 1553B bus interface board, CAN bus interface card, serial bus interface cartoon are crossed Signals Transfer Board and are connected with target machine or arrow machine; Counter interface board, timer interface board, analog quantity input-output card and digital quantity input-output card are connected with target machine or arrow machine with Signals Transfer Board through signal regulating panel; Signals Transfer Board with the communication interface of target machine or arrow machine convert to real-time processing computer in the interface that adapts of various interface integrated circuit board, signal regulating panel is used for count signal, timing signal, analog quantity input/output signal and digital quantity input/output signal are carried out signal condition.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2011202138111U CN202275399U (en) | 2011-06-22 | 2011-06-22 | Debugging verification system for embedded software |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2011202138111U CN202275399U (en) | 2011-06-22 | 2011-06-22 | Debugging verification system for embedded software |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN202275399U true CN202275399U (en) | 2012-06-13 |
Family
ID=46195745
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN2011202138111U Expired - Lifetime CN202275399U (en) | 2011-06-22 | 2011-06-22 | Debugging verification system for embedded software |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN202275399U (en) |
Cited By (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103294632A (en) * | 2013-06-24 | 2013-09-11 | 北京经纬恒润科技有限公司 | Bus carrier board, data interaction system and data processing method and device |
| CN104064161A (en) * | 2014-04-07 | 2014-09-24 | 友达光电股份有限公司 | Data transmission system applied to display and operation method |
| CN105372530A (en) * | 2015-11-24 | 2016-03-02 | 中国航空工业集团公司沈阳飞机设计研究所 | Single test debugging system with real-time simulation test capability |
| CN105956267A (en) * | 2016-04-29 | 2016-09-21 | 北京航天自动控制研究所 | Equipment modeling language based embedded type emulated serial port and modeling method thereof |
| CN105974907A (en) * | 2016-05-12 | 2016-09-28 | 上海微小卫星工程中心 | Satellite attitude control ground simulation testing system |
| CN106774264A (en) * | 2016-12-28 | 2017-05-31 | 中国航空工业集团公司西安飞机设计研究所 | A kind of fly-by-wire flight control system online detection instrument and method |
| CN110187200A (en) * | 2019-04-17 | 2019-08-30 | 上海科梁信息工程股份有限公司 | Mechatronic Systems test device |
| CN111949507A (en) * | 2019-05-16 | 2020-11-17 | 上海佑创信息工程有限公司 | Graphical communication interface simulation modeling method |
-
2011
- 2011-06-22 CN CN2011202138111U patent/CN202275399U/en not_active Expired - Lifetime
Cited By (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103294632A (en) * | 2013-06-24 | 2013-09-11 | 北京经纬恒润科技有限公司 | Bus carrier board, data interaction system and data processing method and device |
| CN104064161A (en) * | 2014-04-07 | 2014-09-24 | 友达光电股份有限公司 | Data transmission system applied to display and operation method |
| CN105372530A (en) * | 2015-11-24 | 2016-03-02 | 中国航空工业集团公司沈阳飞机设计研究所 | Single test debugging system with real-time simulation test capability |
| CN105956267A (en) * | 2016-04-29 | 2016-09-21 | 北京航天自动控制研究所 | Equipment modeling language based embedded type emulated serial port and modeling method thereof |
| CN105956267B (en) * | 2016-04-29 | 2019-04-09 | 北京航天自动控制研究所 | A kind of embedded emulation serial ports and modeling method based on equipment modeling language |
| CN105974907A (en) * | 2016-05-12 | 2016-09-28 | 上海微小卫星工程中心 | Satellite attitude control ground simulation testing system |
| CN106774264A (en) * | 2016-12-28 | 2017-05-31 | 中国航空工业集团公司西安飞机设计研究所 | A kind of fly-by-wire flight control system online detection instrument and method |
| CN110187200A (en) * | 2019-04-17 | 2019-08-30 | 上海科梁信息工程股份有限公司 | Mechatronic Systems test device |
| CN111949507A (en) * | 2019-05-16 | 2020-11-17 | 上海佑创信息工程有限公司 | Graphical communication interface simulation modeling method |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN202275399U (en) | Debugging verification system for embedded software | |
| CN105302950B (en) | A kind of programmable logic device crosslinking emulation test method of soft and hardware collaboration | |
| CN109855651B (en) | Ground test system and test method for modern aircraft radio communication navigation system | |
| CN105137807A (en) | Universal full-digital housekeeping simulation platform | |
| CN107942720A (en) | A kind of online flight Simulation System of portable type ground | |
| CN102999425A (en) | Housekeeping software simulation test system based on technology of virtual instrument | |
| CN110502861B (en) | Full-digital simulation system based on satellite information flow | |
| CN103699014A (en) | Semi-physical simulation platform and semi-physical simulation control method of electromobile | |
| CN205788161U (en) | The test system of communication interface | |
| CN107678958A (en) | A kind of method of testing for comprehensive parameters display system software | |
| CN102750849B (en) | Cooperative intelligent mechanical maintenance simulation machine | |
| CN101876825B (en) | Human-computer interface device of small PLC | |
| CN104598373A (en) | Embedded software testing method capable of realizing multi-technology fusion | |
| CN104252550A (en) | High-performance real-time simulation method based on FPGA (field programmable gate array) | |
| CN105810273A (en) | Nuclear power station virtual disk table and virtual disk table testing method | |
| CN204946009U (en) | Simulation of power electronic system | |
| CN202351691U (en) | Embedded controller based on loongson processor and field programmable gate array (FPGA) technology | |
| CN201749350U (en) | Human-machine interface device for miniature PLC | |
| CN110543105A (en) | general semi-physical simulation system | |
| CN114745257B (en) | Data frame debugging method, device, equipment and storage medium | |
| CN203013017U (en) | Distributed-type non-avionic simulation excitation system | |
| CN110008630A (en) | Underwater unmanned vehicle cluster emulation platform | |
| CN106547218B (en) | Direct-current transmission field layer real-time simulation system, simulation system and closed-loop test system | |
| CN106705751B (en) | A kind of simulation system and method for portable fire control/tank fire system | |
| CN204965047U (en) | Embedded synthesis shows emulation instrument based on ARM |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant | ||
| CX01 | Expiry of patent term | ||
| CX01 | Expiry of patent term |
Granted publication date: 20120613 |