CN107133430B - A kind of task distribution model building device of credible flight control system co-development - Google Patents
A kind of task distribution model building device of credible flight control system co-development Download PDFInfo
- Publication number
- CN107133430B CN107133430B CN201710434652.XA CN201710434652A CN107133430B CN 107133430 B CN107133430 B CN 107133430B CN 201710434652 A CN201710434652 A CN 201710434652A CN 107133430 B CN107133430 B CN 107133430B
- Authority
- CN
- China
- Prior art keywords
- task
- module
- model
- development
- allocated
- 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.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/10—Geometric CAD
- G06F30/15—Vehicle, aircraft or watercraft design
Abstract
The invention discloses a kind of tasks of credible flight control system co-development to distribute model building device, belongs to co-development technology, the Formal Verification field of control software.Described device includes: systematic collaboration module, for clear co-development system co-simulation modeling task feature in each stage and task nexus；Task-decomposing module decomposes to obtain corresponding each task to be allocated for carrying out component to system according to co-simulation modeling task feature and task nexus；Task distributes modeling module, for establishing Task Assignment Model according to the task nexus between each task to be allocated；Module is formalized, for carrying out formalized description to each task to be allocated；Model checking module, for carrying out standardization constraint verifying to Task Assignment Model according to formalized description；Feedback module, for positioning and feeding back exception when model checking module verifying does not pass through.The present invention realizes effective modeling of task distribution in systematic collaboration exploitation, ensure that system safety and improves development efficiency.
Description
Technical field
The present invention relates to co-development technology, Formal Verification field more particularly to a kind of credible flights of control software
The task of control system co-development distributes model building device.
Background technique
With the rapid development of flight control system, flight control system software is just towards complication, seriation, architecture
Direction develop.The content and target that the large aircraft special project emphasis of one of Eleventh Five-Year Plan country, China major scientific and technological project is implemented
It is respectively: " with contemporary large aircraft key technology demand for traction, carries out key technology beforehand research and demonstration.With domestic large-scale winged
The system integration of machine, the design of dynamical system and pilot system, exploitation and manufacture are attached most importance to, and core key technology are broken through, to grind
Airliner processed make a good technical reserve ".And high believable flight control system is just being for ensuring that stability and the behaviour of aircraft
Vertical property, the ability for improving completion task and flight quality, the safety of enhancing flight and the driving burden for mitigating driver.In height
During believable flight control system actual development, the high reliability and high security of flying-controlled box require to be always to restrict association
Can an important factor for development technique application, the distribution that correctly carry out cotasking be to determine that can collaborator efficiently be assisted
With the key of exploitation；But the association of current high credible control software collaboration development technique especially Computer for Flight Control System software
Same development technique, there are no the systems for forming standardization, feasibility, and co-development is still in the excessive of process automation direction
Stage.
Summary of the invention
To overcome the shortcomings of existing technologies, the present invention provides a kind of task distribution of credible flight control system co-development
Model building device, comprising:
Systematic collaboration module, for analyzing and clear co-development system co-simulation modeling task feature in each stage and appointing
Business relationship；
Task-decomposing module, co-simulation modeling task feature and task nexus for being determined according to the systematic collaboration module
Component is carried out to the co-development system to decompose to obtain corresponding each task to be allocated；
Task distributes modeling module, and the task between each task to be allocated for being obtained according to the Task-decomposing module is closed
System establishes Task Assignment Model；
Module is formalized, for carrying out formalized description to each task to be allocated that the Task-decomposing module obtains；
Model checking module, for distributing modeling module to the task according to the formalized description of the formalization module
The Task Assignment Model of foundation carries out standardization constraint verifying；
Feedback module, for positioning and feeding back exception when model checking module verifying does not pass through.
Optionally, the systematic collaboration module, is specifically used for: analyzing and clear co-development system is in demand analysis, general
It designs, detailed design, the co-simulation modeling task feature in encoded test each stage and task nexus.
Optionally, the Task-decomposing module, is specifically used for: with the functional module of the co-development system and calculating single
Member is minimum executable task, is multiple components by the co-development system decomposition, obtains corresponding with the multiple component
Each task to be allocated.
Optionally, the task distributes modeling module, is specifically used for: according to the Task-decomposing module obtain respectively to point
With the task nexus between task, task to be allocated is combined, and ignores unrelated detail, establish with it is platform-independent
Task Assignment Model；
Optionally, the formalization module, is specifically used for: each task to be allocated that the Task-decomposing module is obtained and
Relationship between each task to be allocated and personnel is converted to unified mathematical symbolism.
Optionally, the model checking module, is specifically used for: using the formalized description of the formalization module as defeated
Enter, verifies whether the task-composition model that the task distribution modeling module is established meets normalized constraints, including logic
Proof, timing prove, combined authentication and data are analyzed, and are such as verified, then determine that the task-composition model is correct；It is no
Then, determine that the task-composition model is incorrect.
Optionally, the feedback module, is specifically used for: feedback unusual sequences can be positioned quickly by the unusual sequences
To the specific location of system exception.
Optionally, the model checking module is also used to after the feedback module positions and feeds back exception, to modification
Task Assignment Model after optimization continues standardization constraint verifying.
The present invention has the advantages that
Technical solution in the present invention is modeled by task distribution in developing to systematic collaboration, and based on to task
And the mathematical symbolization description of the relationship between task and people carries out standardization constraint detection to model, realizes cotasking
Effectively distribution, and in collaborative development process, just the system of co-development is verified；Simultaneously by model inspection result
Analysis and improvement, be truly realized and found the problem, solve the problems, such as, and improved on the basis of guarantee system safety exploitation effect
Rate.
Detailed description of the invention
By reading the following detailed description of the preferred embodiment, various other advantages and benefits are common for this field
Technical staff will become clear.The drawings are only for the purpose of illustrating a preferred embodiment, and is not considered as to the present invention
Limitation.And throughout the drawings, the same reference numbers will be used to refer to the same parts.In the accompanying drawings:
Attached drawing 1 is that a kind of task of credible flight control system co-development provided by the invention distributes modeling method and dress
The frame diagram set；
Attached drawing 2 is a kind of task distribution modeling for credible flight control system co-development that the embodiment of the present invention one provides
Device block diagram；
Attached drawing 3 is that a kind of task of credible flight control system co-development provided by Embodiment 2 of the present invention distributes modeling
Method flow diagram.
Specific embodiment
The illustrative embodiments of the disclosure are more fully described below with reference to accompanying drawings.Although showing this public affairs in attached drawing
The illustrative embodiments opened, it being understood, however, that may be realized in various forms the disclosure without the reality that should be illustrated here
The mode of applying is limited.It is to be able to thoroughly understand the disclosure on the contrary, providing these embodiments, and can be by this public affairs
The range opened is fully disclosed to those skilled in the art.
The task of credible flight control system co-development in the present invention distributes model building device, mainly includes four skills
Art part:
1) method for allocating tasks:
The part is basic function of the invention, and the present invention is directed to can accomplish to cooperate in the different phase of system development
Exploitation, this just includes the stages such as demand analysis, Outline Design, detailed design, encoded test.And each stage has different spies
Point, wherein demand analysis is mainly the Specification Design of natural language text form；Outline Design is the design of logic-based；In detail
Thin design is the design based on task and component relation in specific system；Encoded test is the programming for laying particular emphasis on specific procedure language
And software test.Therefore, the method for allocating tasks of different phase is different, and the Task Assignment Model built up is also different
's.This just needs to formulate different Task Assignment Models for different task forms of distribution, meanwhile, design different model inspections
Gauge model.
2) mathematical symbolism is formalized:
The part is mainly that the characteristic behavior of the different task of co-development and personnel's relationship are switched to unified mathematics to accord with
Number language, so that the model inspection for after provides the language basis of standardization.The part needs to portray different task feature
Ability to express, because system software collaborative development process normally comprises demand analysis, Outline Design, detailed design, coding survey
The stages such as examination, it is therefore desirable to there is the appropriate degree of coupling, that is, have composability and detachable property, it is ensured that Task-decomposing and
Safety and high efficiency when distribution.In addition it is also necessary to have the ability to express for portraying different physical messages, to adapt to different fly
The complex environment that row control system faces, such as temperature, appropriateness, the transformation of the environment such as speed difference.Furthermore as mathematic sign language
Speech, it is also necessary to the uniformity for paying attention to program and specification, that is, while the modeling language designed needs to portray task behavior, additionally it is possible to
The required by task requirement profile to be followed is described, to be realized in the way of programming etc., facilitate the co-development person of participation into
Row optimization.
3) model inspection:
The part is on the mathematic sign information aggregate defined, and studying the task relations of distribution model currently established is
The no requirement profile for meeting setting, and the place of uncertainty and non-reliability is calculated, to feed back to developer.Together
When, in model inspection, it is desirable to be able to which, in conjunction with the actual physical situation that software and hardware is run, the system development in model is required to
The multitask of distribution is correctly responded, itself is measured in real time and is verified.Including: use Formal Modeling language
The requirement profile order relation of describing system, i.e., Definition Model is refined on the basis of the formalized models such as temporal logic, Hoare logic
Relationship, so as to utilize the priority ranking of the condition of satisfaction needed for this requirement profile order relation realization software and hardware；Model
The research of verification technique utilizes Unified Modeling Language, portrays the intercommunity of model, binding model purification techniques from different perspectives
Whether verifying model meets normative model；Automatic verification method research and development, i.e., on the basis of high-order Program Semantics, utilize semanteme
Of equal value, semanteme is refined principle implementation model automatic Verification.The result that the part obtains will be as next phase analysis and optimization
Foundation.During whole system co-development, specific tasks need to make a concrete analysis of, include among these logical proof,
The verification method of the multiplicity such as timing verification, combined authentication, data analysis.Finally, it is excellent to pass the result to feedback for model inspection
Change module, if there is exception, then feeds back the detection sequence of an optimal solution error condition.
4) feedback optimized function:
On the basis of model inspection, developer may determine whether to exist in collaborative processes abnormal.It is abnormal when existing
When, Model Detection Algorithm can provide a unusual sequences, and what which indicated is in verification process discovery mistake, abnormal mistake
Journey can quickly navigate to the specific location of system exception by the sequence.In the present invention, which is for assisting to develop
Person carries out error analysis, and there are adaptive fault tolerant mechanisms system, and when errors are detected, system can be adaptively to causing
The developer of abnormal task and the component issues feedback opinion.It, can be into after developer modifies for the opinion of feedback
Row detects again, such iteration, the reliability that may insure system in collaborative development process truly.In addition, should
The unusual sequences that part is also provided based on model inspection, study its implementation procedure, determine developer and improve system stability
There is great positive effect, so as to just pass through optimization in system construction phase, and then accomplishes safety and stability.
Accordingly with aforementioned four technical aspect, as shown in Figure 1, the task of credible flight control system co-development is distributed
The frame of modeling method and device includes the following aspects:
(1) systematic collaboration；
(2) task is distributed；
(3) abstract representation；
(4) model inspection；
(5) feedback optimized.
Wherein, systematic collaboration includes: the task of clear demand analysis, Outline Design, detailed design and encoded test stage
Feature and task nexus；
Specifically, for the different phase of systematic collaboration exploitation, corresponding standard files input is formulated；And clear demand point
Analysis, Outline Design, detailed design and encoded test stage task feature and task nexus.Which can neatly make various
The collaborative processes of order adapt to this method.
Wherein, task distribution includes: that the component of a system decomposes, people is in conjunction with component；
In the present embodiment, the basis of systematic collaboration exploitation is to decompose to the component of a system, and then cotasking is rationally divided
It solves and each set of tasks is distributed into suitable developer.Task was distributed at the system development specific stage, was retouched in device
The task nexus stated is the task feature that is obtained according to above system collaborative processes to determine；Wherein deposited between different tasks
In the relationship connected each other, these relationships are exactly to establish the necessary basis of Task Assignment Model.
Wherein, abstract representation includes: compositional modeling, normalized constraints/theorem, abstraction relation and dependence condition；
Specifically, modeling is combined according to the task nexus between assignable task, and special to assignable task
Relationship between sign and different task carries out formalized description, i.e., with stringent mathematical symbolism.Strict mathematic sign table
Showing can make different tasks can be converted unified mathematic sign language, so as to realize that the unified interface of modeling is retouched
It states.
Standardization constraint is setting of the determining tool itself to the Standardization Requirement of model, and the core of model inspection is exactly enclosed
It is run around the normalized constraints provided.The present invention can satisfy the systematic collaboration design phase just to all tasks into
The customized relevant constraint condition of row, such as theorem, assert and static analysis condition.
Wherein, model inspection includes: logical proof, timing verification, combined authentication and data analysis；
Specifically, on the basis of above-mentioned mathematical symbolization, in conjunction with the scene mode and normalized constraints of setting, to can
Relationship between the task and task of distribution carries out Formal Modeling, and the input of modeling is that the task of formalization representation and task are closed
System, and the foundation of model inspection is the normal constraint condition for ensuring harmonious correctness put forward for floppy disk system.Finally
Expected result is to detect whether that there are the abnormal operations in collaborative processes.Model inspection is finally desirable to guarantee entirely developing
In the process, different task can ensure the integrity and reliability of total system in development process.If there is no unusual sequences,
Then indicate that current co-development is correct；If there is unusual sequences, it will carried out to the unusual sequences that current detection is dished out
Feedback.
Wherein, feedback optimized to focus on: feedback sequence reassigns optimization and combined authentication；
When having abnormal in system, above-mentioned model inspection will detect that wrong whereabouts and feed back to exploitation
Person, developer according to feedback come information modify, then resubmit into the environment of co-development, carry out mould again
Type detection.After each model inspection, cooperative development environment all can feedback information, if it find that abnormal, because being to be based on
Rigorous Formal Verification, so the sequence of feedback may insure current optimal abnormal positioning sequence.It is completed in the above process
Later, the task nexus modeling detection of a new round is carried out.Spiral repeatedly in this way is selected every time for the method optimized
Improvement system, to really reduce a possibility that error accumulation expands.Final all latent faults, which all optimize, to be finished, really real
The flight control system co-development met under all normalized constraints is showed.
To sum up, the task distribution modeling in the present invention is considered as the overall model of multiple tasks model combination, lead to
Verifying is crossed, is constantly detected in collaborative processes, it is constantly verified with the presence or absence of operation exception, can rapidly find out mistake
Accidentally then reason feeds back to collaborator and is modified, thus when guaranteeing to be not in flight control system collaborative development process
The exception errors such as sequence, logic, data dependence.Traditional development approach, i.e. division of labor exploitation, later to the difference of different staff developments
Component is merged manually, and adjoint problem is that development cost greatly increases, and due to lacking Formal Verification process, cannot
The reliability of exploitation software is completely secured, the system defect left in especially many development processes is not that artificial test can search
's；Therefore, the reliable lacked in conventional method on strict mathematical logic brings serious difficulty to research and development person,
I.e. different personnel's stand-alone development submodules cannot ensure whether the system finally integrated is reliable.It is compared to traditional exploitation side
Formula, the present invention then carries out scientifically logical constraint from the angle of mathematics, in collaborative development process, just to the system of co-development
It is verified, accomplishes to find that mistake in the process of development, and feed back to developer and improve.The present invention is according to systematic collaboration
The task relations of distribution of exploitation are modeled, and carry out formalized description and mathematical symbolization table to the specification of satisfaction needed for system
Show；The model describe the relationship between different task in collaborative development process, the abstract representation behavior of co-development person, together
When also describe model verifying and need a series of features such as the normalized constraints, the theorem that meet.In general, in the present invention
Technical solution realize system, personnel, task, the interaction of four schemes of specification and influence each other.On this basis, this hair
It is bright to also proposed feedback optimized strategy, by the analysis and improvement to model inspection result, accomplish to find the problem, and solve to ask
Topic, has been truly realized and has improved development efficiency on the basis of guarantee system safety.
Embodiment one
Embodiment according to the present invention provides a kind of task distribution modeling dress of credible flight control system co-development
It sets, as shown in Figure 2, comprising:
Systematic collaboration module 201, for analyzing and the co-simulation modeling task feature of clear co-development system in each stage
And task nexus；
Task-decomposing module 202, co-simulation modeling task feature and task for being determined according to systematic collaboration module 201 are closed
System carries out component to co-development system and decomposes to obtain corresponding each task to be allocated；
Task distributes modeling module 203, the task between each task to be allocated for obtaining according to Task-decomposing module 202
Relationship establishes Task Assignment Model；
Module 204 is formalized, for carrying out formalized description to each task to be allocated that Task-decomposing module 202 obtains；
Model checking module 205, for distributing modeling module to task according to the formalized description of formalization module 204
203 Task Assignment Models established carry out standardization constraint verifying；
Feedback module 206, for positioning and feeding back exception when the verifying of model checking module 205 does not pass through.
Embodiment according to the present invention, systematic collaboration module 201, is specifically used for: analysis and clear co-development system
In demand analysis, Outline Design, detailed design, the co-simulation modeling task feature in encoded test each stage and task nexus.
Embodiment according to the present invention, Task-decomposing module 202, is specifically used for: with the function mould of co-development system
Block and computing unit are minimum executable task, are multiple components by co-development system decomposition, obtain corresponding with multiple components
Each task to be allocated.
Embodiment according to the present invention, task are distributed modeling module 203, are specifically used for: according to Task-decomposing module 202
Task nexus between obtained each task to be allocated, task to be allocated is combined, and ignore unrelated detail, is established
With platform-independent Task Assignment Model；
Module 204 is formalized, is specifically used for: each task to be allocated that Task-decomposing module 202 is obtained and each to be allocated
Relationship between task and personnel is converted to unified mathematical symbolism.
Embodiment according to the present invention, model checking module 205, is specifically used for: will formalize the formalization of module 204
As input, whether the task-composition model that validation task distribution modeling module 203 is established meets normalized constraints for description,
It is proved including logical proof, timing, the analysis of combined authentication and data, is such as verified, then determines that task-composition model is correct；
Otherwise, it is determined that task-composition model is incorrect.
Embodiment according to the present invention, feedback module 206, is specifically used for: feedback unusual sequences, can by unusual sequences
Quickly navigate to the specific location of system exception.
Embodiment according to the present invention, model checking module 205 are also used to position and feed back different in feedback module 206
After often, standardization constraint verifying is continued to the Task Assignment Model after modification optimization.
Embodiment two
Embodiment according to the present invention provides a kind of task distribution modeling side of credible flight control system co-development
Method, as shown in Figure 3, comprising:
Step 101: analyzing and clear co-development system co-simulation modeling task feature in each stage and task nexus；
Step 102: component being carried out to co-development system according to co-simulation modeling task feature and task nexus and decomposes to obtain
Each task to be allocated；
Step 103: Task Assignment Model being established according to the task nexus between each task to be allocated, and to each task to be allocated
Carry out formalized description；
Step 104: standardization constraint verifying being carried out to Task Assignment Model according to formalized description, is such as verified, then
Terminate；If verifying does not pass through, then exception is positioned and fed back, terminates.
Embodiment according to the present invention, step 101 specifically: analyze and clear co-development system demand analysis,
Outline Design, detailed design, the co-simulation modeling task feature in encoded test each stage and task nexus.
Step 102 embodiment according to the present invention specifically includes: with the functional module and calculating of co-development system
Unit is minimum executable task, is multiple components by co-development system decomposition, is obtained corresponding with multiple components respectively wait divide
With task.
Embodiment according to the present invention, step 103, specifically:
According to the task nexus between each task to be allocated, task to be allocated is combined, ignores unrelated detail,
Foundation and platform-independent Task Assignment Model, and the relationship between each task to be allocated and each task to be allocated and personnel is turned
It is changed to unified mathematical symbolism.
Embodiment according to the present invention, step 104 specifically: using formalized description as input, validation task distribution
Whether model meets normalized constraints, including logical proof, timing prove, combined authentication and data are analyzed, and such as verify
Pass through, then determine that Task Assignment Model is correct, terminates；Otherwise, it is determined that Task Assignment Model is incorrect, simultaneously feedback error is positioned.
Embodiment according to the present invention, in step 104, feedback is abnormal, specifically: feedback unusual sequences, it is different by this
Chang Xulie can quickly navigate to the specific location of system exception.
Embodiment according to the present invention, in step 104, after positioning and feeding back exception, further includes: after modification optimization
Task Assignment Model continue standardization constraint verifying.
Specifically, after positioning and feeding back exception, developer is according to the specific position of the abnormal positioning system exception of feedback
Set, and modify and optimize Task Assignment Model for the exception, and the Task Assignment Model after optimizing to modification again into
The constraint verifying of professional etiquette generalized, until all mistakes, abnormal optimization are completed, realization meets under all normalized constraints
Flight control system co-development.
Technical solution in the present invention is modeled by the task relations of distribution in developing to systematic collaboration, and based on pair
The mathematical symbolization description of relationship between task and task and people carries out standardization constraint detection to model, realizes collaboration and appoints
Effective distribution of business, and in collaborative development process, just the system of co-development is verified, and by model inspection knot
The analysis and improvement of fruit, have been truly realized and have found the problem, solve the problems, such as, and improve exploitation on the basis of guarantee system safety
Efficiency.
The foregoing is only a preferred embodiment of the present invention, but scope of protection of the present invention is not limited thereto,
In the technical scope disclosed by the present invention, any changes or substitutions that can be easily thought of by anyone skilled in the art,
It should be covered by the protection scope of the present invention.Therefore, protection scope of the present invention should be with the protection model of the claim
Subject to enclosing.
Claims (6)
1. a kind of task of credible flight control system co-development distributes model building device characterized by comprising
Systematic collaboration module, for analyzing and clear co-development system co-simulation modeling task feature in each stage and task are closed
System；
Task-decomposing module, the co-simulation modeling task feature and task nexus for being determined according to the systematic collaboration module are to institute
Co-development system progress component is stated to decompose to obtain corresponding each task to be allocated；
Task distributes modeling module, and the task nexus between each task to be allocated for being obtained according to the Task-decomposing module is built
Vertical Task Assignment Model；
Module is formalized, for carrying out formalized description to each task to be allocated that the Task-decomposing module obtains；
Formalized model detection module, for distributing modeling mould to the task according to the formalized description of the formalization module
The Task Assignment Model that block is established carries out standardization constraint verifying；
Feedback module, for positioning and feeding back exception when model checking module verifying does not pass through, wherein
The model checking module is also used to after the feedback module positions and feeds back exception, to appointing after modification optimization
Business distribution model continues standardization constraint verifying.
2. the apparatus according to claim 1, which is characterized in that the systematic collaboration module is specifically used for: analyzing and clear
Co-development system is in demand analysis, Outline Design, detailed design, the co-simulation modeling task feature in encoded test each stage and appoints
Business relationship.
3. the apparatus according to claim 1, which is characterized in that the Task-decomposing module is specifically used for: with the collaboration
The functional module and computing unit of development system are minimum executable task, are multiple structures by the co-development system decomposition
Part obtains each task to be allocated corresponding with the multiple component.
4. the apparatus according to claim 1, which is characterized in that
The task distributes modeling module, is specifically used for: between each task to be allocated obtained according to the Task-decomposing module
Task to be allocated is combined by task nexus, and ignores unrelated detail, is established and is distributed mould with platform-independent task
Type；
The formalization module, is specifically used for: each task to be allocated that the Task-decomposing module is obtained and it is described respectively to point
Unified mathematical symbolism is converted to the relationship between task and personnel.
5. the apparatus according to claim 1, which is characterized in that the formalized model detection module is specifically used for: by institute
The formalized description of formalization module is stated as input, verifying the task-composition model that the task distribution modeling module is established is
It is no to meet normalized constraints, including logical proof, timing prove, combined authentication and data are analyzed, and are such as verified, then
Determine that the task-composition model is correct；Otherwise, it is determined that the task-composition model is incorrect.
6. the apparatus according to claim 1, which is characterized in that the feedback module is specifically used for: feedback unusual sequences,
The specific location of system exception can be quickly navigated to by the unusual sequences.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710434652.XA CN107133430B (en) | 2017-06-09 | 2017-06-09 | A kind of task distribution model building device of credible flight control system co-development |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710434652.XA CN107133430B (en) | 2017-06-09 | 2017-06-09 | A kind of task distribution model building device of credible flight control system co-development |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN107133430A CN107133430A (en) | 2017-09-05 |
| CN107133430B true CN107133430B (en) | 2019-11-26 |
Family
ID=59734954
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710434652.XA Active CN107133430B (en) | 2017-06-09 | 2017-06-09 | A kind of task distribution model building device of credible flight control system co-development |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107133430B (en) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112529512B (en) * | 2021-01-19 | 2023-01-31 | 江苏积韬科技有限公司 | SaaS-based method and platform for improving safety inspection level of transport enterprise carrier |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101819439A (en) * | 2010-03-16 | 2010-09-01 | 清华大学 | Unmanned co-simulation platform control method and system under no-center environment |
| CN102722624A (en) * | 2012-06-08 | 2012-10-10 | 上海交通大学 | Method for developing flying scenes for airworthiness certification and design evaluation of airplane |
| CN103984814A (en) * | 2014-05-13 | 2014-08-13 | 燕雪峰 | Modeling method of complex equipment system |
| CN105893656A (en) * | 2016-03-24 | 2016-08-24 | 中国人民解放军装甲兵工程学院 | Platform-level Agent interactive simulation-oriented army unit combat test method |
| CN106354930A (en) * | 2016-08-29 | 2017-01-25 | 华东师范大学 | Adaptive reconstruction method and system for spacecraft |
-
2017
- 2017-06-09 CN CN201710434652.XA patent/CN107133430B/en active Active
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101819439A (en) * | 2010-03-16 | 2010-09-01 | 清华大学 | Unmanned co-simulation platform control method and system under no-center environment |
| CN102722624A (en) * | 2012-06-08 | 2012-10-10 | 上海交通大学 | Method for developing flying scenes for airworthiness certification and design evaluation of airplane |
| CN103984814A (en) * | 2014-05-13 | 2014-08-13 | 燕雪峰 | Modeling method of complex equipment system |
| CN105893656A (en) * | 2016-03-24 | 2016-08-24 | 中国人民解放军装甲兵工程学院 | Platform-level Agent interactive simulation-oriented army unit combat test method |
| CN106354930A (en) * | 2016-08-29 | 2017-01-25 | 华东师范大学 | Adaptive reconstruction method and system for spacecraft |
Non-Patent Citations (4)
| Title |
|---|
| Formalization and Verification of the Powerlink Protocol using CSP;Pang H , Li J , Ruan Y , et al.;《Software Engineering Conference》;20161231;全文 * |
| 元对象机制驱动的复杂系统开放式顶层建模;王西超，曹云峰等;《电子科技大学学报》;20120731;第41卷(第4期);全文 * |
| 控制理论研究的现状分析及发展动态;何彦民, 周雪松等;《天津理工学院学报》;20040331;第20卷(第1期);全文 * |
| 综合化航空电子系统安全性研究;谷青范；张丽花；王国庆；张一;《第六届中国航空学会青年科技论》;20140625;全文 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN107133430A (en) | 2017-09-05 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US9754059B2 (en) | Graphical design verification environment generator | |
| CN107229478A (en) | A kind of task distribution modeling method of credible flight control system co-development | |
| Rushby | Formal methods and their role in the certification of critical systems | |
| CN104090776A (en) | Software development method and system | |
| CN107783758A (en) | A kind of intelligent contract engineering method | |
| US11625683B2 (en) | System and method of industrial automation multi-developer control code change commits | |
| Cofer et al. | DO-333 certification case studies | |
| CN109885541A (en) | The method and apparatus of information batch processing | |
| Mhenni | Safety analysis integration in a systems engineering approach for mechatronic systems design | |
| CN106339553B (en) | A kind of the reconstruct flight control method and system of spacecraft | |
| CN107133430B (en) | A kind of task distribution model building device of credible flight control system co-development | |
| CN116738642B (en) | Collaborative simulation platform of pipe network system | |
| Kossmann et al. | 7.4. 3 Ontology‐driven Requirements Engineering—A case study of OntoREM in the aerospace context | |
| CN103377076A (en) | Method and system for adjusting task execution plans during operation | |
| Jharko | Towards quality assurance under developing safety important systems software for nuclear power plants | |
| JP2017220008A (en) | Test supporting device and test supporting method | |
| CN106354930B (en) | A kind of self-adapting reconstruction method and system of spacecraft | |
| US10970183B1 (en) | System and method for improving model performance | |
| CN111966665B (en) | Data migration testing method and device | |
| CN108319795B (en) | A method of spacecraft is designed using threedimensional model | |
| Goodenough et al. | Software quality assurance: Testing and validation | |
| Stürmer et al. | Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. | |
| Jesus et al. | Architectural verification of control systems using CSP | |
| Bloomfield et al. | Formal methods in the production and assessment of safety critical software | |
| CN109492272A (en) | A kind of modeling of restructural timing network conditionevent system and verification method and system |
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 | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant | ||
| TR01 | Transfer of patent right | ||
| TR01 | Transfer of patent right |
Effective date of registration: 20210803 Address after: Room 801, no.6, Lane 600, Yunling West Road, Putuo District, Shanghai 200062 Patentee after: SHANGHAI FORMAL TECH INFORMATION TECHNOLOGY Co.,Ltd. Address before: 200062 Putuo District, Shanghai No. 3663, Zhongshan North Road, Putuo District, Shanghai Patentee before: EAST CHINA NORMAL University Patentee before: SHANGHAI FORMAL TECH INFORMATION TECHNOLOGY Co.,Ltd. |