CN107133430A - 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
- CN107133430A CN107133430A CN201710434652.XA CN201710434652A CN107133430A CN 107133430 A CN107133430 A CN 107133430A CN 201710434652 A CN201710434652 A CN 201710434652A CN 107133430 A CN107133430 A CN 107133430A
- 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.)
- Granted
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
Model building device is distributed the invention discloses a kind of task of credible flight control system co-development, belongs to co-development technology, the Formal Verification field of control software.Described device includes：Systematic collaboration module, for clear and definite co-development system each stage co-simulation modeling task feature and task nexus；Task-decomposing module, corresponding each task to be allocated is obtained for carrying out component decomposition to system according to co-simulation modeling task feature and task nexus；Task distributes modeling module, for setting up 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 checking to Task Assignment Model according to formalized description；Feedback module, for model checking module checking not by when, position and feed back exception.The present invention realizes effective modeling that task is distributed in systematic collaboration exploitation, it is ensured that system safety and improve development efficiency.
Description
Technical field
The present invention relates to the co-development technology of control software, Formal Verification field, more particularly to a kind of credible flight
The task distribution model building device of control system co-development.
Background technology
With developing rapidly for flight control system, flight control system software is just towards complication, seriation, architecture
Direction develop.Content and target that the special emphasis of large aircraft of one of the national major scientific and technological project of China's Eleventh Five-Year Plan is implemented
It is respectively：" using contemporary large aircraft key technology demand as traction, carry out key technology beforehand research and demonstration.With domestic large-scale winged
The system integration, the design of dynamical system and pilot system, exploitation and the manufacture of machine are attached most importance to, and core key technology are broken through, to grind
Airliner processed carries out technological reserve ".And high believable flight control system is just being for ensuring that stability and the behaviour of aircraft
Vertical property, the ability and flight quality that improve completion task, the safety of enhancing flight and the driving burden for mitigating driver.In height
During believable flight control system actual development, high reliability and the high security requirement of flying-controlled box are always restriction association
Can the key factor that applied with development technique, 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 co-development technology especially Computer for Flight Control System software
Same development technique, does not form standardization, the system of feasibility also, and co-development is still in the excessive of process automation direction
Stage.
The content of the invention
To overcome the defect of prior art, the present invention provides a kind of task distribution of credible flight control system co-development
Model building device, including：
Systematic collaboration module, for analyze and clear and definite co-development system each stage co-simulation modeling task feature and appoint
Business relation；
Task-decomposing module, for the co-simulation modeling task feature and task nexus determined according to the systematic collaboration module
Component decomposition is carried out to the co-development system and obtains corresponding each task to be allocated；
Task distributes modeling module, is closed for the task between each task to be allocated for being obtained according to the Task-decomposing module
System sets up Task Assignment Model；
Module is formalized, each task to be allocated for being obtained to the Task-decomposing module carries out formalized description；
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 checking；
Feedback module, for the model checking module checking not by when, position and feed back exception.
Alternatively, the systematic collaboration module, specifically for：Analyze and clear and definite co-development system is in demand analysis, general
Design, detailed design, the co-simulation modeling task feature in encoded test each stage and task nexus.
Alternatively, the Task-decomposing module, specifically for：It is single with the functional module of the co-development system and calculating
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.
Alternatively, the task distribution modeling module, specifically for：Respectively treated point according to what the Task-decomposing module was obtained
With the task nexus between task, task to be allocated is combined, and ignores unrelated detail, set up with it is platform-independent
Task Assignment Model；
Alternatively, the formalization module, specifically for：Each task to be allocated that the Task-decomposing module is obtained and
Relation between each task to be allocated and personnel is converted to unified mathematical symbolism.
Alternatively, the model checking module, specifically for：Using the formalized description of the formalization module as defeated
Enter, verify whether the task-composition model that the task distribution modeling module is set up meets normalized constraints, including logic
Prove, sequential is proved, combined authentication and data analysis, be such as verified, then judge that the task-composition model is correct；It is no
Then, judge that the task-composition model is incorrect.
Alternatively, the feedback module, specifically for：Unusual sequences are fed back, can quickly be positioned by the unusual sequences
To the particular location of system exception.
Alternatively, the model checking module, after being additionally operable to position and feed back in the feedback module exception, to modification
Task Assignment Model after optimization continues the constraint checking that standardizes.
The advantage of the invention is that：
Technical scheme in the present invention, by being developed to systematic collaboration in task distribution be modeled, and based on to task
And the mathematical symbolization description of the relation between task and people carries out standardization constraint detection to model, realizes cotasking
Effectively distribution, and in collaborative development process, just the system to co-development is verified；Simultaneously by model inspection result
Analysis and improvement, be truly realized and pinpointed the problems, solve the problems, such as, and improved on the basis of guarantee system safety exploitation effect
Rate.
Brief description of the drawings
By reading the detailed description of hereafter preferred embodiment, various other advantages and benefit is common for this area
Technical staff will be clear understanding.Accompanying drawing is only used for showing the purpose of preferred embodiment, and is not considered as to the present invention
Limitation.And in whole accompanying drawing, identical part is denoted by the same reference numerals.In the accompanying drawings：
The task distribution modeling method and dress for a kind of credible flight control system co-development that accompanying drawing 1 provides for the present invention
The frame diagram put；
Accompanying drawing 2 is a kind of task distribution modeling for credible flight control system co-development that the embodiment of the present invention one is provided
Device block diagram；
Accompanying drawing 3 is a kind of task distribution modeling for credible flight control system co-development that the embodiment of the present invention two is provided
Method flow diagram.
Embodiment
The illustrative embodiments of the disclosure are more fully described below with reference to accompanying drawings.Although showing this public affairs in accompanying 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.Conversely it is able to be best understood from the disclosure there is provided these embodiments, and can be by this public affairs
The scope opened completely convey to those skilled in the art.
The task distribution model building device of credible flight control system co-development in the present invention, it is mainly comprising four skills
Art part：
1) method for allocating tasks：
The part is the basic function of the present invention, it is contemplated that can accomplish collaboration 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 is accomplished by formulating different Task Assignment Models for different task forms of distribution, meanwhile, design different model inspections
Gauge model.
2) mathematical symbolism is formalized：
The part, which is mainly, switchs to the characteristic behavior of the different task of co-development and personnel's relation unified mathematics symbol
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
Examination etc. the stage, it is therefore desirable to the appropriate degree of coupling, that is, possess composability and detachable property, it is ensured that Task-decomposing and
Security and high efficiency during 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, appropriate, the conversion of the environment such as speed difference.Furthermore, it is used as mathematic sign language
Speech, in addition it is also necessary to note the uniformity of 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, so as to be realized using modes such as programmings, the convenient co-development person participated in enters
Row optimization.
3) model inspection：
The part is that on the mathematic sign information aggregate defined, studying the task relations of distribution model currently set up is
It is no to meet the requirement profile of setting, and the place of uncertainty and non-reliability is calculated, so as to feed back to developer.Together
When, in model inspection, it is desirable to be able to which the system development in the actual physical situation run with reference to software and hardware, model is required to
Multitask to distribution is correctly responded, to itself carrying out detecting and verifying in real time.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
Relation, so as to realize the priority ranking of the condition met needed for software and hardware using this requirement profile order relation；Model
The research of verification technique, i.e., using UML, portray the intercommunity of model, binding model purification techniques from different perspectives
Whether checking model meets normative model；Automatic verification method is researched and developed, 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 is obtained will be used as next phase analysis and optimization
Foundation.During whole system co-development, specific tasks need concrete analysis, include among these logical proof,
Various verification method such as timing verification, combined authentication, data analysis.Finally, model inspection, which can be passed the result to, feeds back excellent
Change module, if there is exception, then feed back the detection sequence of an optimal solving error state.
4) feedback optimized function：
On the basis of model inspection, developer may determine whether there is exception in collaborative processes.It is abnormal when existing
When, Model Detection Algorithm can provide a unusual sequences, and what the sequence was represented is to find mistake, abnormal mistake in verification process
Journey, the particular location of system exception can be quickly navigated to by the sequence.In the present invention, the part is for assisting exploitation
Person carries out error analysis, and system has adaptive fault tolerant mechanism, when errors are detected, and system can be adaptively to causing
Abnormal task and the developer of the component send feedback opinion.After developer modifies for the opinion of feedback, it can enter
It is capable to detect again, such iteration, the reliability that system is may insure in collaborative development process truly.In addition, should
The unusual sequences that part is also provided based on model inspection, study its implementation procedure, and developer is judged and the stability of a system is improved
There is great positive effect, so as to, just by optimization, and then accomplish safety and stability in system construction phase.
With aforementioned four technical elements accordingly, as shown in figure 1, the task distribution of credible flight control system co-development
The framework of modeling method and device includes the following aspects：
(1) systematic collaboration；
(2) task is distributed；
(3) abstract representation；
(4) model inspection；
(5) it is feedback optimized.
Wherein, systematic collaboration includes：Specify demand analysis, Outline Design, detailed design and the task in encoded test stage
Feature and task nexus；
Specifically, the different phase developed for systematic collaboration, formulates corresponding standard files input；And clear and definite demand point
Analysis, Outline Design, detailed design and the task feature and task nexus in encoded test stage.Which can neatly make various
The collaborative processes of order adapt to this method.
Wherein, task distribution includes：The component of a system is decomposed, people is combined with component；
In the present embodiment, the basis of systematic collaboration exploitation is that the component of a system is decomposed, and then cotasking is rationally divided
Solve 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 said system collaborative processes to determine；Deposited between wherein different tasks
In the relation connected each other, these relations exactly set up the necessary basis of Task Assignment Model.
Wherein, abstract representation includes：Compositional modeling, normalized constraints/theorem, abstraction relation are with relying on condition；
Specifically, modeling is combined according to the task nexus between assignable task, and it is special to assignable task
Levy and different task between relation carry out formalized description, i.e., with strict mathematical symbolism.Tight mathematic sign table
Showing can allow different tasks to be converted into unified mathematic sign language, so as to realize that the unified interface of modeling is retouched
State.
Standardization constraint is to determine setting of the instrument itself to the Standardization Requirement of model, and the core of model inspection is exactly enclosed
Run around the normalized constraints provided.The present invention can meet the systematic collaboration design phase and just all tasks are entered
The self-defined related constraints of row, such as theorem, is asserted and static analysis condition.
Wherein, model inspection includes：Logical proof, timing verification, combined authentication and data analysis；
Specifically,, pair can with reference to the scene mode and normalized constraints of setting on the basis of above-mentioned mathematical symbolization
Relation between the task and task of distribution carries out Formal Modeling, and the input of modeling is task and the task pass of formalization representation
System, and the foundation of model inspection is to ensure the normal constraint condition of harmonious correctness for what floppy disk system put forward.Finally
Expected result is to detect whether to exist the abnormal operation in collaborative processes.Model inspection is finally desirable to ensure entirely developing
During, different task is able to ensure that the integrity and reliability of total system in development process.If there is no unusual sequences,
It is correct then to represent current co-development；If there is unusual sequences, it will the unusual sequences dished out to current detection are carried out
Feedback.
Wherein, it is feedback optimized to focus on：Feedback sequence, reassignment optimization and combined authentication；
When having abnormal in system, above-mentioned model inspection will detect that wrong whereabouts and feed back to exploitation
Person, the information that developer comes according to feedback is modified, and is then resubmited into the environment of co-development, progress mould again
Type is detected.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.Completed in said process
Afterwards, the task nexus modeling detection of a new round is carried out.Such spiral repeatedly, for selecting the method that optimizes every time
Improvement system, so as to really reduce the possibility of error accumulation expansion.Final all latent faults, which all optimize, to be finished, real real
The flight control system co-development met under all normalized constraints is showed.
Sum it up, the task distribution modeling in the present invention is considered as the block mold of multiple tasks model combination, lead to
Checking is crossed, is constantly detected in collaborative processes, constantly verifies that it whether there is operation exception, can rapidly find out mistake
Then reason feeds back to collaborator and is modified by mistake, so that when ensureing 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, afterwards to the difference of different staff developments
Component is merged manually, its with the problem of be that development cost is greatly increased, and due to lacking Formal Verification process, it is impossible to
It is not that artificial test can be searched that the system defect left in the reliability of exploitation software, especially many development processes, which is completely secured,
's；Therefore, the reliable lacked in conventional method on tight mathematical logic brings serious difficulty to research and development person,
I.e. different personnel's stand-alone development submodules cannot ensure whether final integrated system is reliable.It is compared to traditional exploitation side
Formula, of the invention then from mathematics angle carries out scientifically logical constraint, in collaborative development process, just to the system of co-development
Verified, accomplish to find that mistake on stream, and feed back to developer to be improved.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 met needed for system
Show；It the model describe the relation between different task in collaborative development process, the abstract representation behavior of co-development person, together
When also describe a series of feature such as normalized constraints, theorem that model checking needs to meet.In general, in the present invention
Technical scheme 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 pinpoint the problems, and solve to ask
Topic, has been truly realized and has improved development efficiency on the basis of guarantee system safety.
Embodiment one
There is provided a kind of task of credible flight control system co-development distribution modeling dress according to the embodiment of the present invention
Put, as shown in Fig. 2 including：
Systematic collaboration module 201, for analyze and clear and definite co-development system each stage co-simulation modeling task feature
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 decomposition to co-development system and obtains corresponding each task to be allocated；
Task distributes modeling module 203, for the task between each task to be allocated for being obtained according to Task-decomposing module 202
Relation sets up Task Assignment Model；
Module 204 is formalized, each task to be allocated for being obtained to Task-decomposing module 202 carries out formalized description；
Model checking module 205, for distributing modeling module to task according to the formalized description of formalization module 204
203 Task Assignment Models set up carry out standardization constraint checking；
Feedback module 206, for model checking module 205 verify not by when, position and feed back exception.
According to the embodiment of the present invention, systematic collaboration module 201, specifically for：Analyze and clear and definite co-development system
In demand analysis, Outline Design, detailed design, the co-simulation modeling task feature in encoded test each stage and task nexus.
According to the embodiment of the present invention, Task-decomposing module 202, specifically for：With the function mould of co-development system
Block and computing unit can perform task to be minimum, are multiple components by co-development system decomposition, obtain corresponding with multiple components
Each task to be allocated.
According to the embodiment of the present invention, task distribution modeling module 203, specifically for：According to Task-decomposing module 202
Task nexus between obtained each task to be allocated, task to be allocated is combined, and ignores unrelated detail, is set up
With platform-independent Task Assignment Model；
Module 204 is formalized, specifically for：Each task to be allocated that Task-decomposing module 202 is obtained and each to be allocated
Relation between task and personnel is converted to unified mathematical symbolism.
According to the embodiment of the present invention, model checking module 205, specifically for：The formalization of module 204 will be formalized
Description is as input, and whether the task-composition model that validation task distribution modeling module 203 is set up meets normalized constraints,
Proved including logical proof, sequential, combined authentication and data analysis, be such as verified, then judge that task-composition model is correct；
Otherwise, it is determined that task-composition model is incorrect.
According to the embodiment of the present invention, feedback module 206, specifically for：Unusual sequences are fed back, can by unusual sequences
The quick particular location for navigating to system exception.
According to the embodiment of the present invention, model checking module 205, are additionally operable to position in feedback module 206 and feed back different
After often, the constraint checking that standardizes is continued to the Task Assignment Model after modification optimization.
Embodiment two
According to the embodiment of the present invention modeling side is distributed there is provided a kind of task of credible flight control system co-development
Method, as shown in figure 3, including：
Step 101：Analyze and clear and definite co-development system each stage co-simulation modeling task feature and task nexus；
Step 102：Component decomposition is carried out to co-development system according to co-simulation modeling task feature and task nexus to obtain
Each task to be allocated；
Step 103：Task Assignment Model is set up 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 checking is carried out to Task Assignment Model according to formalized description, is such as verified, then
Terminate；Do not pass through as verified, then position and feed back exception, terminate.
According to the embodiment of the present invention, step 101 is specially：Analyze and clear and definite co-development system demand analysis,
Outline Design, detailed design, the co-simulation modeling task feature in encoded test each stage and task nexus.
According to the embodiment of the present invention, step 102, specifically include：With the functional module of co-development system and calculating
Unit is minimum executable task, is multiple components by co-development system decomposition, obtains respectively treat point corresponding with multiple components
With task.
According to the embodiment of the present invention, step 103, it is specially：
According to the task nexus between each task to be allocated, task to be allocated is combined, ignores unrelated detail,
Set up and platform-independent Task Assignment Model, and the relation between each task to be allocated and each task to be allocated and personnel is turned
It is changed to unified mathematical symbolism.
According to the embodiment of the present invention, step 104 is specially：It regard formalized description as input, validation task distribution
Whether model meets normalized constraints, including logical proof, sequential are proved, combined authentication and data analysis, are such as verified
Pass through, then judge that Task Assignment Model is correct, terminate；Otherwise, it is determined that Task Assignment Model is incorrect, position and feedback error.
According to the embodiment of the present invention, in step 104, feedback is abnormal, is specially：Unusual sequences are fed back, it is different by this
Chang Xulie can quickly navigate to the particular location of system exception.
According to the embodiment of the present invention, in step 104, after positioning and feeding back exception, in addition to：After modification optimization
Task Assignment Model continue standardize constraint checking.
Specifically, after positioning and feeding back exception, developer is according to the abnormal specific position of the abnormal alignment system of feedback
Put, and modified and optimize Task Assignment Model for the exception, and the Task Assignment Model after modification optimization is entered again
The constraint checking of professional etiquette generalized, until all mistakes, abnormal optimization are completed, realization meets under all normalized constraints
Flight control system co-development.
Technical scheme in the present invention, by being developed to systematic collaboration in the task relations of distribution be modeled, and based on pair
The mathematical symbolization description of relation 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 to co-development is verified, and by model inspection knot
The analysis and improvement of fruit, have been truly realized and have pinpointed the problems, 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 protection scope of the present invention be not limited thereto,
Any one skilled in the art the invention discloses technical scope in, the change or replacement that can be readily occurred in,
It should all be included within the scope of the present invention.Therefore, protection scope of the present invention should be with the protection model of the claim
Enclose and be defined.
Claims (7)
1. a kind of task distribution model building device of credible flight control system co-development, it is characterised in that including：
Systematic collaboration module, co-simulation modeling task feature and task for analysis and clear and definite co-development system in each stage are closed
System；
Task-decomposing module, for the co-simulation modeling task feature and task nexus that are determined according to the systematic collaboration module to institute
State the progress component decomposition of co-development system and obtain corresponding each task to be allocated；
Task distributes modeling module, is built for the task nexus between each task to be allocated for being obtained according to the Task-decomposing module
Vertical Task Assignment Model；
Module is formalized, each task to be allocated for being obtained to the Task-decomposing module carries out formalized description；
Model checking module, sets up for the formalized description according to the formalization module to task distribution modeling module
Task Assignment Model carry out standardization constraint checking；
Feedback module, for the model checking module checking not by when, position and feed back exception.
2. device according to claim 1, it is characterised in that the systematic collaboration module, specifically for：Analyze and clear and definite
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 relation.
3. device according to claim 1, it is characterised in that the Task-decomposing module, specifically 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. device according to claim 1, it is characterised in that
The task distributes modeling module, specifically for：Between each task to be allocated obtained according to the Task-decomposing module
Task nexus, task to be allocated is combined, and ignores unrelated detail, is set up and is distributed mould with platform-independent task
Type；
The formalization module, specifically for：Each task to be allocated that the Task-decomposing module is obtained and described respectively treat point
Unified mathematical symbolism is converted to the relation between task and personnel.
5. device according to claim 1, it is characterised in that the model checking module, specifically for：By the form
Change the formalized description of module as input, verify whether the task-composition model that the task distribution modeling module is set up meets
Normalized constraints, including logical proof, sequential are proved, combined authentication and data analysis, are such as verified, are then judged institute
State task-composition model correct；Otherwise, it is determined that the task-composition model is incorrect.
6. device according to claim 1, it is characterised in that the feedback module, specifically for：Feed back unusual sequences,
The particular location of system exception can be quickly navigated to by the unusual sequences.
7. device according to claim 1, it is characterised in that the model checking module, is additionally operable in the feedback mould
After block positions and feeds back exception, the constraint checking that standardizes is continued to the Task Assignment Model after modification optimization.
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 true CN107133430A (en) | 2017-09-05 |
| CN107133430B 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) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112529512A (en) * | 2021-01-19 | 2021-03-19 | 江苏积韬科技有限公司 | 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 |
|---|
| PANG H , LI J , RUAN Y , ET AL.: "Formalization and Verification of the Powerlink Protocol using CSP", 《SOFTWARE ENGINEERING CONFERENCE》 * |
| 何彦民, 周雪松等: "控制理论研究的现状分析及发展动态", 《天津理工学院学报》 * |
| 王西超，曹云峰等: "元对象机制驱动的复杂系统开放式顶层建模", 《电子科技大学学报》 * |
| 谷青范；张丽花；王国庆；张一: "综合化航空电子系统安全性研究", 《第六届中国航空学会青年科技论》 * |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN112529512A (en) * | 2021-01-19 | 2021-03-19 | 江苏积韬科技有限公司 | SaaS-based method and platform for improving safety inspection level of transport enterprise carrier |
Also Published As
| Publication number | Publication date |
|---|---|
| CN107133430B (en) | 2019-11-26 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN107229478A (en) | A kind of task distribution modeling method of credible flight control system co-development | |
| US9754059B2 (en) | Graphical design verification environment generator | |
| Rushby | Formal methods and their role in the certification of critical systems | |
| Bowen | Towards verified systems | |
| Zhan et al. | Formal Verification of Simulink/Stateflow Diagrams | |
| Gaaloul et al. | Mining assumptions for software components using machine learning | |
| Ghadhab et al. | Model-based safety analysis for vehicle guidance systems | |
| Beers | Pre-RTL formal verification: an intel experience | |
| CN106339553A (en) | Method and system for reconstructing flight control of spacecraft | |
| CN107133430B (en) | A kind of task distribution model building device of credible flight control system co-development | |
| Yoo et al. | Verification of PLC programs written in FBD with VIS | |
| Blooshi et al. | Review of formal agile methods as cost-effective airworthiness certification processes | |
| Moreira et al. | Towards a pattern language for model-based GUI testing | |
| Hao et al. | Equivalence checking for function pipelining in behavioral synthesis | |
| CN106354930B (en) | A kind of self-adapting reconstruction method and system of spacecraft | |
| 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 | |
| CN111966665A (en) | Data migration test method and device | |
| Halang et al. | A safety licensable computing architecture | |
| Bloomfield et al. | Formal methods in the production and assessment of safety critical software | |
| Peleska | Applied formal methods–from csp to executable hybrid specifications | |
| Boring et al. | Strategy for Migration of Traditional to Hybrid Control Boards in a Nuclear Power Plant | |
| Hite et al. | SymPLe: Complexity-Aware Design for Safety Critical I&C Systems | |
| Dyer et al. | Correctness verification: alternative to structural software testing |
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 |
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. |
|
| TR01 | Transfer of patent right |