Unlock instant, AI-driven research and patent intelligence for your innovation.

A task assignment modeling method for collaborative development of trusted flight control systems

A flight control system and collaborative development technology, applied in the direction of model-driven code, creation/generation of source code, software design, etc., can solve problems such as the lack of standardized feasibility, and achieve the effect of improving development efficiency and ensuring system safety.

Active Publication Date: 2020-01-10
上海丰蕾信息科技有限公司
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

In the actual development process of high-reliability flight control systems, the high reliability and high safety requirements of flight control software have always been important factors restricting the application of collaborative development technology. The key to efficient collaborative development; however, the current collaborative development technology for high-reliability control software, especially for flight control system software, has not yet formed a standardized and feasible system, and collaborative development is still in the direction of process automation. stage

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A task assignment modeling method for collaborative development of trusted flight control systems
  • A task assignment modeling method for collaborative development of trusted flight control systems
  • A task assignment modeling method for collaborative development of trusted flight control systems

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0050] According to an embodiment of the present invention, a task allocation management modeling method for collaborative development of trusted flight control systems is provided, such as figure 2 shown, including:

[0051] Step 101: Analyzing and clarifying the collaborative distribution task characteristics and task relationships of the collaborative development system at each stage;

[0052] Step 102: Decompose the components of the collaborative development system according to the characteristics of the collaboratively assigned tasks and the task relationship to obtain each task to be assigned;

[0053] Step 103: Establish a task assignment model according to the task relationship among the tasks to be assigned, and formally describe each task to be assigned;

[0054] Step 104: Perform normalized constraint verification on the task assignment model according to the formal description, if the verification passes, then end; if the verification fails, locate and feed back...

Embodiment 2

[0064] According to an embodiment of the present invention, a task allocation modeling device for cooperative development of a trusted flight control system is provided, such as image 3 shown, including:

[0065] The system collaboration module 201 is used to analyze and clarify the characteristics and task relationships of the collaborative assignment tasks of the collaborative development system at each stage;

[0066] The task decomposition module 202 is used to decompose the components of the collaborative development system according to the collaborative assignment task characteristics and task relationships determined by the system collaboration module 201 to obtain corresponding tasks to be assigned;

[0067] A task assignment modeling module 203, configured to establish a task assignment model according to the task relationship among the tasks to be assigned obtained by the task decomposition module 202;

[0068] A formalization module 204, configured to formally des...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a task assignment modeling method for the cooperative development of a trusted flight control system, and belongs to the fields of cooperative development technologies and formalization verification of control software. The method comprises the steps of analyzing and clarifying cooperative assignment task characteristics and task relations in each stage of the cooperative development system; according to the cooperative assignment task characteristics and task relations, conducting component decomposition on the cooperative development system to obtain corresponding tasks to be assigned; establishing task assignment models according to task relationships among the tasks to be assigned, and conducting formalization description on each task to be assigned; conducting standardization and constraint verification on the task assignment models according to the formalization descriptions; if the verification is successful, ending the process; if the verification fails, positioning exceptions, feeding the exceptions back and ending the process. Through the adoption of the task assignment modeling method for the cooperative development of the trusted flight control system, effective modeling of task assignment in the cooperative development of the system is achieved, the safety of the system is ensured, and the development efficiency is improved.

Description

technical field [0001] The invention relates to the field of collaborative development technology and formal verification of control software, in particular to a task assignment modeling method for collaborative development of a trusted flight control system. Background technique [0002] With the rapid development of the flight control system, the software of the flight control system is developing in the direction of complication, serialization and systematization. The content and objectives of the large aircraft special project, one of the major national science and technology projects in my country's "Eleventh Five-Year Plan", are as follows: "Based on the key technical requirements of contemporary large aircraft, carry out key technology pre-research and demonstration. Based on the domestic large aircraft system Focus on the design, development and manufacture of integration, power system and test system, make breakthroughs in core key technologies, and make technical re...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/20G06F8/35
CPCG06F8/20G06F8/35
Inventor 史建琦李炬黄滟鸿李昂王振辉
Owner 上海丰蕾信息科技有限公司