CN102566443A - Simulation verification system and method for integrated avionics system model based on artifact design description language (ADDL) - Google Patents
Simulation verification system and method for integrated avionics system model based on artifact design description language (ADDL) Download PDFInfo
- Publication number
- CN102566443A CN102566443A CN2011104524962A CN201110452496A CN102566443A CN 102566443 A CN102566443 A CN 102566443A CN 2011104524962 A CN2011104524962 A CN 2011104524962A CN 201110452496 A CN201110452496 A CN 201110452496A CN 102566443 A CN102566443 A CN 102566443A
- Authority
- CN
- China
- Prior art keywords
- target machine
- sends
- user interface
- order
- information
- 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
Images
Abstract
The invention relates to a simulation verification system and a simulation verification method for an integrated avionics system model based on artifact design description language (ADDL). The system comprises a host machine module, a target machine module and an operating platform, wherein the operating platform comprises a host machine, a target machine management tool, a plurality of target machines and a target machine server; the host machine is connected with the target machines through a network; the target machine management tool run on the host machine acquires information of the target machines through the target machine server; the target machine module comprises a primary agent, a secondary agent and a global system for mobile communications (GSM) zone agent; and the host machine module comprises a blueprint analyzer, a system manager, an excitation processor, a command manager, a request forwarder and the like. The technical problem that the conventional simulation method for an ADDL member model is difficultly and complexly implemented and difficultly applied to an integrated avionics system is solved, an avionics system application model is established for the ADDL, the correctness of timing behaviors, fault processing and the like of the target machines is subjected to simulation verification, and the correctness of the integrated avionics system is improved.
Description
Technical field
The present invention relates to the synthetic aviation electronic system field, be specifically related to a kind of simulation checking system and method for synthesization avionics system model of the AADL of being directed against description.
Background technology
In synthesization, modularization avionics system, the general-purpose system management software is responsible for the operation of whole synthesization avionics system, realizes the control and the management of resource, workflow, pattern control, fault recovery and information security through the blueprint file.Characteristics according to synthesization, modularization avionics system; Use AADL to set up the avionics system application model; Come the static analysis user in aspect designed rationality such as time, security, reliabilities through various analysis tools; Coming the correctness of the dynamic behaviours such as resources allocation, mode switch, fault handling of dynamic authentication system through emulation mode, is at present at the research focus of avionics system modeling direction.
Emulation to the AADL component model at present has two kinds of methods: a kind of ADeS project based on Eclipse of the SAE of being tissue; It realized on two processors to the model emulation of communication between the AADL member and scheduling, to whole synthesization avionics system; Another kind is the combined method of AADS and SCOPE; It at first carries out code conversion to the component model of AADL according to the POSIX standard; Form standard compliant C/C++ code, be transplanted to then and carry out patterned emulation, visual pattern after this method emulation under the SCOPE under the LINUX again; But the difficulty of realization and complicated is difficult in the synthetic aviation electronic system and uses.
Summary of the invention
Emulation mode to existing AADL component model realizes difficulty and complicated; Be difficult in the technical matters that synthetic aviation electronic system is used; The present invention provides a kind of simulation checking system and method for synthesization avionics system model of the AADL of being directed against description; Avionics system application model to AADL foundation; The correctness of the sequential behavior of simulating, verifying target machine, command response, mode switch, fault handling improves the correctness of synthesization avionics system design, for system development provides data more reliably.
Technical solution of the present invention:
The simulation checking system of the synthesization avionics system model of describing to AADL, its special character is: comprises the host end module that is arranged on the host, is arranged on target machine end module and operation platform on the target machine,
Said operation platform comprises host, target machine management tool (TM), many target machines and target machine server (TS); Said host connects many target machines through network, and the target machine management tool that operates on the host obtains target machine information through the target machine server;
Said host end module comprises blueprint resolver, application generator, user interface, system administration manager, energized process device, command manager, request transponder, task manager, log record processor, simulation analysis device,
Said user interface is obtained the blueprint file of xml form, and sends to the blueprint resolver; Send Simulation Control and order, receive more new user interface of update event that task manager sends, receive that update mode that the simulation analysis device sends shows or new user interface more to task manager;
Said blueprint resolver is resolved be applied partition data and action lists data and encapsulate to the blueprint file that receives; The application partition data are sent to application generator, and with sending to the energized process device behind the action lists data generation excited data;
Said application generator generates the subregion application code according to code Generation with the application partition data and supplies compiling link to load;
Said energized process device obtains corresponding target machine information according to excited data in system administration manager, inject the fault order and send to command manager according to the target machine information generating of being obtained;
The injection fault order that said command manager will receive sends to the request transponder, and receives the order return information that the request transponder sends, and will order return information to send to the energized process device;
The order of the injection fault order that described request transponder reception command manager sends, the acquisition request target machine information that system administration manager sends and the Simulation Control that task manager sends are ordered; TS sends to target machine through the target machine server; The injection fault order answer that receiving target machine server sends, corresponding target machine information and event information; To inject fault order answer and send to command manager; Target machine information is sent to system administration manager, event information is sent to task manager;
Said system administration manager provides target machine information to asking transponder to send the order of acquisition request target machine information to the energized process device, receives the target machine information of the order that is directed against acquisition request target machine information of request transponder transmission;
Said task manager sends to the request transponder with the Simulation Control order, and the event information of replying is transmitted in the request of reception;
The simulation result that said log record processor receiving target machine server sends forms the log analysis record with the simulation result encapsulation and sends to the simulation analysis device;
Said simulation analysis device is used for the graphical treatment of log analysis record, and result is sent to user interface;
Target machine end module comprises first-level agent, secondary agent and GSM partitioned proxies,
The order of target machine target machine that server sends to comprises secondary agent's sign, source address, destination address and command context;
Said first-level agent is used for all orders that receiving target machine server sends; Carry out dissection process, identify secondary agent's sign; Send to the secondary agent after the identification, receive the result that secondary agent sends, result is sent to the target machine server;
Said secondary agent receives the order from first-level agent, analyzes: if secondary agent has the ability of handling this order, then handle, and result is returned to first-level agent; Otherwise, forward the command to the GSM partitioned proxies;
Said GSM partitioned proxies receives the order that secondary agent sends, fill order, and result returned to secondary agent, the GSM partitioned proxies feeds back to the target machine server with the special event that generates in system's operational process through secondary agent, first-level agent.
Above-mentioned target machine server sends to the request transponder with special event automatically, and task manager obtains special event and passes through user interface from the request transponder and shows.
The emulation verification method of the synthesization avionics system model of describing to AADL, its special character is: may further comprise the steps:
1] operation platform powers up; Loading tool through the host end is sent load operation system and general-purpose system management software to the target machine server; The target machine server sends load request to first-level agent; After first-level agent accomplishes load operation, reply loading to the target machine server and accomplish, the loading tool of target machine server notification host end loads to be accomplished;
2] send daily record upload configuration incident:
2.1] open the user interface in the host end module, send daily record upload configuration incident and give task manager,
Said daily record upload configuration incident comprises that daily record uploads the cache size configuration information that path configuration information, daily record are uploaded mode configuration information and target machine end module stores daily record data;
2.2] task manager sends to the request transponder with Configuration events; The request transponder sends to the target machine server with Configuration events; The target machine server sends to first-level agent with Configuration events; By first-level agent Configuration events is distributed to secondary agent; Path configuration information is uploaded in daily record in this daily record Configuration events of secondary agent record, mode configuration information and target machine end module stores daily record data cache size configuration information are uploaded in daily record, and replys the processing configuration event information and give first-level agent, through first-level agent and the completion of target machine server notification user interface daily record Configuration events;
3] user interface is obtained the blueprint file of xml form, and sends to the blueprint resolver, and application partition data and action lists data in the blueprint resolver resolves blueprint file generate the input of application generator and energized process device;
4] application generator is used the generation template based on the subregion of user's appointment in user interface and is generated the subregion application automatically, is loaded into corresponding target machine behind the structure as the simulation work load;
5] user begins incident by user interface transmission emulation; User interface is sent the emulation incident that begins and is given task manager; Task manager is forwarded to the emulation tool in the secondary agent with the emulation incident that begins by request transponder, target machine server, first-level agent; Opening entry event information after this incident is received by secondary agent, and the return information that will handle this incident is notified to user interface by first-level agent, target machine server, request transponder, command manager;
6] user's selected target machine in user interface, send fault injection order and give the energized process device:
6.1] the energized process device is to system administration manager acquisition request current goal machine information; System administration manager sends the request command that obtains target machine information through request transponder, target machine server, first-level agent; First-level agent replies to system administration manager with target machine information through target machine server, request transponder after executing this order; After the energized process device gets access to target machine information, be connected with this target machine;
6.2] the energized process device injects order with fault and send to the simulation work load on institute's linking objective machine through command manager, request transponder, target machine server, first-level agent, secondary agent; Carry out fault by the GSM partitioned proxies on the target machine and inject order; And fault is injected command execution results send to the energized process device through secondary agent, first-level agent, target machine server, request transponder, command manager, the energized process device feeds back to the user through user interface;
7] behind the set event of failure that the target machine appearance injection fault of execution injection fault order is ordered; The GSM partitioned proxies of this target machine sends to user interface with event of failure through secondary agent, first-level agent, target machine server, task manager, and user interface is presented in the interface information of this event of failure for reference;
8] obtain simulation result:
8.1] user uploads daily record through the selected target machine of user interface; User interface is uploaded log event with this and is sent to secondary agent through task manager, request transponder, target machine server, first-level agent; The daily record data that secondary agent will be recorded in the buffer zone sends to the log record processor through first-level agent, target machine server, and secondary agent has also handled this incident through first-level agent, target machine server, task manager notice user interface simultaneously;
8.2] log record processor organization daily record data, obtaining simulation result, the simulation analysis device carries out graphical treatment and is presented at user interface simulation result;
9] through user interface checking simulation result.
The advantage that the present invention had:
1, the present invention proposes a kind of emulation verification method of the synthesization avionics system application model that AADL is described; This method during with the operation of from model, extracting the blueprint file as input; The automated application maker; Whether sequential behavior, command response, mode switch, the fault handling of checking application system be correct, makes that the user can be with the correctness of less cost checking application system design.
2, the present invention provides friendly graphical interfaces and patterned checking result to show; Make things convenient for the user to control simulation process and browse analysis result; This tool implementation cost is little, efficient is high, practical; Improved synthesization avionics system development efficiency, practiced thrift development and maintenance cost, the credibility that improves software systems has been had great importance.
3, the present invention expands the Eclipse plug-in unit, realizes being combined under the unified platform with other plug sets, is user-friendly to.
4, the present invention adopts hierarchical processing, and the agency is divided into three levels with target machine, and treatment effeciency is high, prevents order and stops up, can be immediately efficiently to the user feedback command execution results.
5, operate according to the user and require to utilize Failure Injection Technique to be implemented under the multiple failure scenario and goal systems is verified the present invention is through being injected into fault the target machine system, the feedback information to system carries out analyzing and assessing after the real time record then.
Description of drawings
Fig. 1 is an avionics system operation platform structural drawing;
Fig. 2 is the structural representation of host end module;
Fig. 3 is the structural representation of target machine end module;
Fig. 4 is an emulation verification method process flow diagram of the present invention.
Embodiment
The present invention is directed to the structure and the task characteristics of synthesization, modularization avionics system; This emulation mode is with the blueprint file that extracts from the model data configuration source as whole avionics system; Also as the input of emulation; Adopt the mode of dynamic operation checking, the correctness of the sequential behavior of verification system, command response, mode switch, fault handling, the simulation test platform one-piece construction adopts the HWIL simulation method.Simulation checking system comprises the host end module that is arranged on the host, is arranged on target machine end module and operation platform on the target machine, and is as shown in Figure 1.Operation platform comprises host, target machine management tool, many target machines and target machine server, and said host connects many target machines through network, and the target machine management tool that operates on the host obtains target machine information through the target machine server.
As shown in Figure 2, host end module comprises blueprint resolver, application generator, user interface, system administration manager, energized process device, command manager, request transponder, task manager, log record processor, simulation analysis device,
User interface is obtained the blueprint file of xml form, and sends to the blueprint resolver; Send Simulation Control and order, receive more new user interface of update event that task manager sends, receive that update mode that the simulation analysis device sends shows or new user interface more to task manager;
The blueprint file that the blueprint resolver receives is resolved be applied partition data and action lists data and encapsulate, and the application partition data are sent to application generator, and sends to the energized process device after the action lists data are generated excited data;
Application generator: be used for the application partition data being generated the subregion application code and supply the compiling link loading to belong to according to code Generation;
The energized process device obtains corresponding target machine information according to excited data in system administration manager, inject the fault order and send to command manager according to the target machine information generating of being obtained;
Command manager sends to the request transponder with the injection fault order that the energized process device that receives sends, and receives the order return information that the request transponder sends, and will order return information to send to the energized process device;
The order of the injection fault order that request transponder reception command manager sends, the acquisition request target machine information that system administration manager sends and the Simulation Control that task manager sends are ordered; TS sends to target machine through the target machine server; The injection fault order answer that receiving target machine server sends, corresponding target machine information and event information; To inject fault order answer and send to command manager; Target machine information is sent to system administration manager, event information is sent to task manager;
System administration manager provides target machine information to asking transponder to send the order of acquisition request target machine information to the energized process device, receives the target machine information of the order that is directed against acquisition request target machine information of request transponder transmission;
Task manager sends to the request transponder with the Simulation Control order, and the event information of replying is transmitted in the request of reception;
The simulation result that log record processor receiving target machine server sends forms the log analysis record with the simulation result encapsulation and sends to the simulation analysis device;
The simulation analysis device is used for the log analysis record and carries out graphical treatment, and sends to user interface.
As shown in Figure 3, target machine end module comprises first-level agent, secondary agent and GSM partitioned proxies,
The order of target machine target machine that server sends to comprises secondary agent's sign, source address, destination address and command context; First-level agent is used for all orders that receiving target machine server sends, and carries out dissection process, identifies secondary agent's sign, sends to the secondary agent after the identification, receives the result that secondary agent sends, and result is sent to the target machine server;
Secondary agent receives the order from first-level agent, analyzes: if secondary agent has the ability of handling this order, then handle, and result is returned to first-level agent; Otherwise, order can be forwarded to the GSM partitioned proxies;
The GSM partitioned proxies receives the order that secondary agent sends, fill order, and result returned to secondary agent, the GSM partitioned proxies feeds back to the target machine server with the special event that generates in system's operational process through secondary agent, first-level agent.
As shown in Figure 4, this emulation mode realizes copying by host end parts and the collaborative work of target machine end parts.The job step of host end parts is following:
(1) the blueprint resolver is resolved the data that obtain being correlated with to blueprint data and is encapsulated, as the input of application generator and energized process device;
(2) application generator utilizes code Generation to generate subregion automatically to use, and can be loaded on the goal systems operating load operation as emulation after compiling connects;
(3) user interface is handled user's various Action Events, and user's operation will be converted to and be various command also can obtain incident from task manager, parse event data and be used to upgrade the interface;
(4) system administration manager is preserved, the target machine that comprises in the emulation platform is set, and the corresponding relation of each administration and supervision authorities in each target machine and the system management software.Also preserved the logic tree structure between the module of each administration and supervision authorities management simultaneously, the user can pass through graphical interfaces browsing objective platform structure;
(5) the energized process device is operated according to the user and is required to utilize Failure Injection Technique to be implemented under the multiple failure scenario goal systems is verified.It is injected into the target machine system to fault through software approach, and the feedback information to system carries out analyzing and assessing after the real time record then;
(6) order that will send of order management management and send the back and wait for the order of replying provides the command analysis device that order data is encapsulated and receives orders and replys the back to replying the function that data are resolved;
(7) the request transponder obtains the order that produces in the command manager; And send by TS; Order after the transmission will be shifted in the command queue of into wait answer, after the request transponder receives answer, can know after the simple judgement this answer is to be directed against which order; The answer of this order is set, and the notification manager is obtained order and is replied;
(8) task manager is scheduling and the management that analogue system provides incident, the operation of control emulation, the incident that also from request transponder receiving system operational process, produces;
(9) the log record processor is unloaded to host side to simulation result from the target machine end, graphically be shown to the interface through log analysis after, supply the user to browse analysis.
The major function of target machine end parts is to receive the order that host sends to target machine, carries out these orders, and replys to host timely.Its special event that also will on host reporting objectives machine, take place simultaneously, the notice host carries out the processing of special event.
Adopt the target machine agent skill group to realize above-mentioned functions, this technology is a vital core technology in the present embedded software developing environment.The target machine agency receives the order of host end target machine server, and these orders are carried out in response then, and the result who carries out response returns to the target machine server.
The software configuration of unit has adopted hierarchy in the avionics system.For the ability that realizes control at all levels and information are obtained, we are divided into three levels with the target machine agency.Each layer proxy and unit software position relation are as shown in Figure 3.Ground floor is also referred to as the TA of first-level agent in kernel operating system, be responsible for communicating by letter of all target machine agencies and host end, and request is distributed to different secondary agents.First-level agent is provided by system personnel, and we only realize that the emulation agency of secondary agent in promptly scheming acts on behalf of with GSM partitioned proxies internal object machine.The emulation agency resides in the division operation system layer, and the GSM partitioned proxies resides at the task operating system layer, operates in the GSM partitioned proxies.The factorage step is following:
(1) secondary agent receives the order from host, carries out simple analysis, if oneself can be handled, the result is returned, and the order that can not accomplish will be forwarded in the GSM partitioned proxies, is finished dealing with by the GSM partitioned proxies;
(2) when secondary agent has command number to be forwarded to the GSM partitioned proxies, it writes order in the middle of the order buffered message queue earlier, sends a distinctive signal notice GSM partitioned proxies to the GSM partitioned proxies again;
(3) with write recovery message queue as a result, secondary agent attended school the answer of fetching in the multiple message queue and gets final product after the GSM partitioned proxies was handled;
(4) the GSM partitioned proxies is stored in the message queue generating special incident in system's operational process, and these message can be delivered to through message queue in the middle of secondary agent's incident management, can send to host through incident management.
Secondary agent is made up of initialization proxy task, proxy commands management holder, incident management storehouse.Secondary agent's principle of work is following:
---initialization proxy task initialization secondary agent each software module of layer;
---the proxy commands management holder is supported various command in secondary agent's layer;
---the incident that incident management library management, transmitting system produce.
The GSM partitioned proxies resides in the GSM partitioned proxies, by initialization proxy task, signal handler, service processes, service command management holder, subregion incident management storehouse.GSM partitioned proxies principle of work is following:
---initialization proxy task initialization GSM partitioned proxies task;
---signal handler is handled this signal after receiving the signal of secondary agent's layer transmission;
---service processes is accomplished order and is received and handle;
The order that service command management holder management GSM partitioned proxies is supported;
The library management of subregion incident management produces incident.
Embodiment 1:
With certain aviation electronics programmable integrated process is example, and it possesses abilities such as function treatment, data computation as the COMPREHENSIVE CALCULATING machine of avionics system control and management.In 10 data processing nodes are arranged, one of them data processing node is in charge of electric board, this node uses as mass storage MMM, blueprint is loaded on the MMM as the data source of GSM when wherein moving.AC is in charge of two IA complex zones, and these two IA then are in charge of 5 RE respectively, and each RE is responsible for 1 data processing node.The host side of distributed emulation instrument is connected through Ethernet with the target machine end.Utilize AADL to set up the structural model of avionics system; Then structural modeling through synthetic aviation electronic system and verification platform software concentrate operation the time blueprint Core Generator blueprint when obtaining moving; It is as the input object of simulating, verifying, and this is the condition precedent of this emulation tool.Before emulation, also to carry out building of distributed emulation platform, and loading system software.
This system is carried out emulation, and the host side step is: 1. the blueprint resolver with when operation blueprint be input, during parsing operation behind the blueprint according to the classification of AC/IA/TLS; 2. application generator generates and uses and load; Applying template according to subregion communication generates the subregion application automatically; The user can be provided with the span that each subregion is used execution time and subregion cycle; Each subregion also can be set use the template type that uses, the normal operation that subregion is used, the application correctness of blueprint in the time of can verifying operation; 3. graphic user interface receives user's order, and uploading the path and arq mode is set according to user's command configuration daily record is delayed mode, and information such as target machine buffer size is set; 4. system administration manager is preserved, the target machine that comprises in the emulation platform is set, and the corresponding relation of each administration and supervision authorities in each target machine and the system management software; 5. the energized process device receives the fault that the user injects, and injects fault STACK_FLOW to target machine RE1, and system state is HM_SYS_FUNC_STATUS; 6. command manager receives the order of injection fault, order data is encapsulated 7. request transponders obtain the order that produces in the command manager, and send through TS, and the order after the transmission will be shifted in the command queue of into wait answer; 8. task manager is scheduling and the management that analogue system provides incident, the operation of control emulation, the incident that also from request transponder receiving system operational process, produces; 9. log record processor collector journal record obtains fault STACK_FLOW failure message in the blueprint when operation, catches and obtains the fault log record, and to its analysis, graphically be presented at host side at last.Can analyze the communication information between each subregion from the daily record figure that target machine obtains; And can measure the execution time of application and the generation moment of fault; Observe and after information such as interchannel flow can compare with foreseen outcome the correctness of blueprint in the time of can verifying operation according to the information between the incident.
Target machine end step is:
1. secondary agent receives the order of injecting the fault of STACK_FLOW to target machine RE1 from host;
2. secondary agent writes order in the middle of the order buffered message queue, sends a distinctive signal notice GSM partitioned proxies to the GSM partitioned proxies again;
3.GSM obtain signalisation, obtain the order that will handle, after handling with write recovery message queue as a result;
4.GSM partitioned proxies is stored in the message queue generating special incident in system's operational process, sends to host through incident management.
Carry out emulation with the method, the verification of correctness of blueprint has great help during for operation, has realized the emulation demand of synthetic aviation electronic system basically.The graphical interfaces operation is provided, makes things convenient for the user that simulation process is controlled; Simulation result graphically shows, makes things convenient for user's analysis result intuitively; Realize the very fast checking of user's design has been improved the correctness of system design with less cost.
Claims (3)
1. the simulation checking system of the synthesization avionics system model of describing to AADL is characterized in that: comprises the host end module that is arranged on the host, is arranged on target machine end module and operation platform on the target machine,
Said operation platform comprises host, target machine management tool (TM), many target machines and target machine server (TS); Said host connects many target machines through network, and the target machine management tool that operates on the host obtains target machine information through the target machine server;
Said host end module comprises blueprint resolver, application generator, user interface, system administration manager, energized process device, command manager, request transponder, task manager, log record processor, simulation analysis device,
Said user interface is obtained the blueprint file of xml form, and sends to the blueprint resolver; Send Simulation Control and order, receive more new user interface of update event that task manager sends, receive that update mode that the simulation analysis device sends shows or new user interface more to task manager;
Said blueprint resolver is resolved be applied partition data and action lists data and encapsulate to the blueprint file that receives; The application partition data are sent to application generator, and with sending to the energized process device behind the action lists data generation excited data;
Said application generator generates the subregion application code according to code Generation with the application partition data and supplies compiling link to load;
Said energized process device obtains corresponding target machine information according to excited data in system administration manager, inject the fault order and send to command manager according to the target machine information generating of being obtained;
The injection fault order that said command manager will receive sends to the request transponder, and receives the order return information that the request transponder sends, and will order return information to send to the energized process device;
The order of the injection fault order that described request transponder reception command manager sends, the acquisition request target machine information that system administration manager sends and the Simulation Control that task manager sends are ordered; TS sends to target machine through the target machine server; The injection fault order answer that receiving target machine server sends, corresponding target machine information and event information; To inject fault order answer and send to command manager; Target machine information is sent to system administration manager, event information is sent to task manager;
Said system administration manager provides target machine information to asking transponder to send the order of acquisition request target machine information to the energized process device, receives the target machine information of the order that is directed against acquisition request target machine information of request transponder transmission;
Said task manager sends to the request transponder with the Simulation Control order, and the event information of replying is transmitted in the request of reception;
The simulation result that said log record processor receiving target machine server sends forms the log analysis record with the simulation result encapsulation and sends to the simulation analysis device;
Said simulation analysis device is used for the graphical treatment of log analysis record, and result is sent to user interface;
Target machine end module comprises first-level agent, secondary agent and GSM partitioned proxies,
The order of target machine target machine that server sends to comprises secondary agent's sign, source address, destination address and command context;
Said first-level agent is used for all orders that receiving target machine server sends; Carry out dissection process, identify secondary agent's sign; Send to the secondary agent after the identification, receive the result that secondary agent sends, result is sent to the target machine server;
Said secondary agent receives the order from first-level agent, analyzes: if secondary agent has the ability of handling this order, then handle, and result is returned to first-level agent; Otherwise, forward the command to the GSM partitioned proxies;
Said GSM partitioned proxies receives the order that secondary agent sends, fill order, and result returned to secondary agent, the GSM partitioned proxies feeds back to the target machine server with the special event that generates in system's operational process through secondary agent, first-level agent.
2. the simulation checking system of the synthesization avionics system model that the AADL of being directed against according to claim 1 describes; It is characterized in that: said target machine server sends to the request transponder with special event automatically, and task manager obtains special event and passes through user interface from the request transponder and shows.
3. be directed against the emulation verification method of the synthesization avionics system model of AADL description, it is characterized in that: may further comprise the steps:
1] operation platform powers up; Loading tool through the host end is sent load operation system and general-purpose system management software to the target machine server; The target machine server sends load request to first-level agent; After first-level agent accomplishes load operation, reply loading to the target machine server and accomplish, the loading tool of target machine server notification host end loads to be accomplished;
2] send daily record upload configuration incident:
2.1] open the user interface in the host end module, send daily record upload configuration incident and give task manager,
Said daily record upload configuration incident comprises that daily record uploads the cache size configuration information that path configuration information, daily record are uploaded mode configuration information and target machine end module stores daily record data;
2.2] task manager sends to the request transponder with Configuration events; The request transponder sends to the target machine server with Configuration events; The target machine server sends to first-level agent with Configuration events; By first-level agent Configuration events is distributed to secondary agent; Path configuration information is uploaded in daily record in this daily record Configuration events of secondary agent record, mode configuration information and target machine end module stores daily record data cache size configuration information are uploaded in daily record, and replys the processing configuration event information and give first-level agent, through first-level agent and the completion of target machine server notification user interface daily record Configuration events;
3] user interface is obtained the blueprint file of xml form, and sends to the blueprint resolver, and application partition data and action lists data in the blueprint resolver resolves blueprint file generate the input of application generator and energized process device;
4] application generator is used the generation template based on the subregion of user's appointment in user interface and is generated the subregion application automatically, is loaded into corresponding target machine behind the structure as the simulation work load;
5] user begins incident by user interface transmission emulation; User interface is sent the emulation incident that begins and is given task manager; Task manager is forwarded to the emulation tool in the secondary agent with the emulation incident that begins by request transponder, target machine server, first-level agent; Opening entry event information after this incident is received by secondary agent, and the return information that will handle this incident is notified to user interface by first-level agent, target machine server, request transponder, command manager;
6] user's selected target machine in user interface, send fault injection order and give the energized process device:
6.1] the energized process device is to system administration manager acquisition request current goal machine information; System administration manager sends the request command that obtains target machine information through request transponder, target machine server, first-level agent; First-level agent replies to system administration manager with target machine information through target machine server, request transponder after executing this order; After the energized process device gets access to target machine information, be connected with this target machine;
6.2] the energized process device injects order with fault and send to the simulation work load on institute's linking objective machine through command manager, request transponder, target machine server, first-level agent, secondary agent; Carry out fault by the GSM partitioned proxies on the target machine and inject order; And fault is injected command execution results send to the energized process device through secondary agent, first-level agent, target machine server, request transponder, command manager, the energized process device feeds back to the user through user interface;
7] behind the set event of failure that the target machine appearance injection fault of execution injection fault order is ordered; The GSM partitioned proxies of this target machine sends to user interface with event of failure through secondary agent, first-level agent, target machine server, task manager, and user interface is presented in the interface information of this event of failure for reference;
8] obtain simulation result:
8.1] user uploads daily record through the selected target machine of user interface; User interface is uploaded log event with this and is sent to secondary agent through task manager, request transponder, target machine server, first-level agent; The daily record data that secondary agent will be recorded in the buffer zone sends to the log record processor through first-level agent, target machine server, and secondary agent has also handled this incident through first-level agent, target machine server, task manager notice user interface simultaneously;
8.2] log record processor organization daily record data, obtaining simulation result, the simulation analysis device carries out graphical treatment and is presented at user interface simulation result;
9] through user interface checking simulation result.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2011104524962A CN102566443A (en) | 2011-12-29 | 2011-12-29 | Simulation verification system and method for integrated avionics system model based on artifact design description language (ADDL) |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2011104524962A CN102566443A (en) | 2011-12-29 | 2011-12-29 | Simulation verification system and method for integrated avionics system model based on artifact design description language (ADDL) |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN102566443A true CN102566443A (en) | 2012-07-11 |
Family
ID=46412096
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN2011104524962A Pending CN102566443A (en) | 2011-12-29 | 2011-12-29 | Simulation verification system and method for integrated avionics system model based on artifact design description language (ADDL) |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102566443A (en) |
Cited By (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103235591A (en) * | 2013-03-25 | 2013-08-07 | 中国航空工业集团公司沈阳飞机设计研究所 | Online fault injection method on basis of combination of hardware fault injection and software fault injection |
| CN103853871A (en) * | 2013-11-21 | 2014-06-11 | 北京航空航天大学 | Safety requirement modeling method applicable for avionics system |
| CN106341451A (en) * | 2016-08-17 | 2017-01-18 | 中国航空工业集团公司西安飞行自动控制研究所 | Remote multi-target-machine parallel management method |
| CN106452918A (en) * | 2016-11-23 | 2017-02-22 | 北京润科通用技术有限公司 | Communication method and system for avionics network system |
| CN106529306A (en) * | 2016-11-16 | 2017-03-22 | 中国电子产品可靠性与环境试验研究所 | System safety assessment method and device |
| CN106713010A (en) * | 2016-11-23 | 2017-05-24 | 北京润科通用技术有限公司 | Communication method and system for avionics network system |
| CN106850279A (en) * | 2017-01-17 | 2017-06-13 | 中国商用飞机有限责任公司北京民用飞机技术研究中心 | A kind of network collocating method based on distributed avionics system |
| CN108052744A (en) * | 2017-12-15 | 2018-05-18 | 四川汉科计算机信息技术有限公司 | Avionic software simulation synthetic test and verification platform |
| CN108614539A (en) * | 2016-12-12 | 2018-10-02 | 中国航空工业集团公司西安航空计算技术研究所 | AEF airborne equipment failure diagnosis and prediction model verification method |
| CN109254536A (en) * | 2017-07-13 | 2019-01-22 | 北京信息科技大学 | A kind of high dynamic gyro error control simulator |
| CN110868463A (en) * | 2019-11-12 | 2020-03-06 | 中国航空无线电电子研究所 | Toolchain system based on plug-in management |
| CN112965398A (en) * | 2021-02-18 | 2021-06-15 | 江西洪都航空工业集团有限责任公司 | Electromechanical integrated management system test verification platform with load power simulation function |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101901186A (en) * | 2010-07-08 | 2010-12-01 | 西北工业大学 | Embedded system reliability analysis and evaluation method |
| CN102073585A (en) * | 2010-11-25 | 2011-05-25 | 西北工业大学 | Method for testing delay attribute of embedded system stream based on model |
| CN102184136A (en) * | 2011-04-29 | 2011-09-14 | 中国航天科技集团公司第七一〇研究所 | Method for checking operation state and demand consistency of AADL (Architecture Analysis and Design Language) model |
| CN102231132A (en) * | 2011-06-30 | 2011-11-02 | 西北工业大学 | Method for generating simulation test example of AADL (Architecture Analysis and Design Language) software component model based on SystemC |
-
2011
- 2011-12-29 CN CN2011104524962A patent/CN102566443A/en active Pending
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101901186A (en) * | 2010-07-08 | 2010-12-01 | 西北工业大学 | Embedded system reliability analysis and evaluation method |
| CN102073585A (en) * | 2010-11-25 | 2011-05-25 | 西北工业大学 | Method for testing delay attribute of embedded system stream based on model |
| CN102184136A (en) * | 2011-04-29 | 2011-09-14 | 中国航天科技集团公司第七一〇研究所 | Method for checking operation state and demand consistency of AADL (Architecture Analysis and Design Language) model |
| CN102231132A (en) * | 2011-06-30 | 2011-11-02 | 西北工业大学 | Method for generating simulation test example of AADL (Architecture Analysis and Design Language) software component model based on SystemC |
Non-Patent Citations (1)
| Title |
|---|
| 贾璐等: "分布式航空电子系统蓝图仿真技术的研究", 《航空计算技术》, 31 July 2010 (2010-07-31), pages 108 - 111 * |
Cited By (17)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103235591B (en) * | 2013-03-25 | 2015-10-28 | 中国航空工业集团公司沈阳飞机设计研究所 | A kind of online fault filling method combined based on hardware and software direct fault location |
| CN103235591A (en) * | 2013-03-25 | 2013-08-07 | 中国航空工业集团公司沈阳飞机设计研究所 | Online fault injection method on basis of combination of hardware fault injection and software fault injection |
| CN103853871A (en) * | 2013-11-21 | 2014-06-11 | 北京航空航天大学 | Safety requirement modeling method applicable for avionics system |
| CN103853871B (en) * | 2013-11-21 | 2017-05-24 | 北京航空航天大学 | Safety requirement modeling method applicable for avionics system |
| CN106341451A (en) * | 2016-08-17 | 2017-01-18 | 中国航空工业集团公司西安飞行自动控制研究所 | Remote multi-target-machine parallel management method |
| CN106529306B (en) * | 2016-11-16 | 2019-02-19 | 中国电子产品可靠性与环境试验研究所 | Security of system appraisal procedure and device |
| CN106529306A (en) * | 2016-11-16 | 2017-03-22 | 中国电子产品可靠性与环境试验研究所 | System safety assessment method and device |
| CN106452918A (en) * | 2016-11-23 | 2017-02-22 | 北京润科通用技术有限公司 | Communication method and system for avionics network system |
| CN106713010A (en) * | 2016-11-23 | 2017-05-24 | 北京润科通用技术有限公司 | Communication method and system for avionics network system |
| CN106452918B (en) * | 2016-11-23 | 2019-04-26 | 北京润科通用技术有限公司 | A kind of communication means and system of avionics network system |
| CN108614539A (en) * | 2016-12-12 | 2018-10-02 | 中国航空工业集团公司西安航空计算技术研究所 | AEF airborne equipment failure diagnosis and prediction model verification method |
| CN106850279A (en) * | 2017-01-17 | 2017-06-13 | 中国商用飞机有限责任公司北京民用飞机技术研究中心 | A kind of network collocating method based on distributed avionics system |
| CN106850279B (en) * | 2017-01-17 | 2018-12-28 | 中国商用飞机有限责任公司北京民用飞机技术研究中心 | Distributed avionics system network collocating method and system, emulator and hardware system |
| CN109254536A (en) * | 2017-07-13 | 2019-01-22 | 北京信息科技大学 | A kind of high dynamic gyro error control simulator |
| CN108052744A (en) * | 2017-12-15 | 2018-05-18 | 四川汉科计算机信息技术有限公司 | Avionic software simulation synthetic test and verification platform |
| CN110868463A (en) * | 2019-11-12 | 2020-03-06 | 中国航空无线电电子研究所 | Toolchain system based on plug-in management |
| CN112965398A (en) * | 2021-02-18 | 2021-06-15 | 江西洪都航空工业集团有限责任公司 | Electromechanical integrated management system test verification platform with load power simulation function |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN102566443A (en) | Simulation verification system and method for integrated avionics system model based on artifact design description language (ADDL) | |
| CN102693183B (en) | Method and system for realizing automatic software testing | |
| US9087041B2 (en) | Enterprise test system platform and associated method for interoperable test data management, test development, test libraries and test workflow management and automation | |
| CN101901150B (en) | Universal distributed airborne equipment health management simulation platform and implementation method thereof | |
| CN109634843A (en) | A kind of distributed automatization method for testing software and platform towards AI chip platform | |
| CN102184288B (en) | All-digital simulation system and method for infrared imaging system | |
| CN102945165A (en) | Virtual test support platform | |
| CN108306804A (en) | A kind of Ethercat main station controllers and its communication means and system | |
| CN102768642A (en) | LINUX kernel reliability evaluating system and LINUX kernel reliability evaluating method based on source code analysis | |
| CN106603284A (en) | Docker virtual container micro-application platform system and operation method | |
| Powell et al. | The test and training enabling architecture (TENA) | |
| Rathfelder et al. | Modeling event-based communication in component-based software architectures for performance predictions | |
| Graja et al. | Modelling and verifying time‐aware processes for cyber‐physical environments | |
| US11481688B2 (en) | Systems and methods for preparing cross-platform machine learning applications | |
| CN104836831B (en) | A kind of object method of servicing for Internet of Things | |
| Xiao et al. | A framework for verifying sla compliance in composed services | |
| CN110119269A (en) | Method, apparatus, server and the storage medium of control task object | |
| Axelsson et al. | Architectural concepts for federated embedded systems | |
| Baouya et al. | Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance | |
| Waku et al. | A robust software product line architecture for data collection in android platform | |
| Dowdeswell | Diagnostic Belief-Desire-Intention Agents for Distributed IEC 61499 Fault Diagnosis | |
| Yongfeng et al. | Test cases generation for embedded real-time software based on extended UML | |
| Sartaj et al. | Model‐based digital twins of medicine dispensers for healthcare IoT applications | |
| Sun | National Computational Infrastructure for Lattice Gauge Theory SciDAC-2 Closeout Report | |
| CN117240739A (en) | Method and device for testing consensus algorithm, electronic equipment and storage medium |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C02 | Deemed withdrawal of patent application after publication (patent law 2001) | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20120711 |