CN107729617A - The Computer Aided Design or verification method and device of a kind of system engineering - Google Patents
The Computer Aided Design or verification method and device of a kind of system engineering Download PDFInfo
- Publication number
- CN107729617A CN107729617A CN201710845680.0A CN201710845680A CN107729617A CN 107729617 A CN107729617 A CN 107729617A CN 201710845680 A CN201710845680 A CN 201710845680A CN 107729617 A CN107729617 A CN 107729617A
- Authority
- CN
- China
- Prior art keywords
- data
- module
- model
- output end
- database
- 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
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
- G06F2117/00—Details relating to the type or aim of the circuit design
- G06F2117/08—HW-SW co-design, e.g. HW-SW partitioning
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention discloses a kind of Computer Aided Design of system engineering or verification method and device, the output end of the system decomposition module is electrically connected with the input of subsystem module, the output end of the subsystem module is electrically connected with the input of working cell, the input of the database is also electrically connected with the output end of data inputting module, the output end of the input of the output end electric connection analysis module of the database, the analysis module and Data Integration module is electrically connected with the input of model building module.The present invention is by the way that large-scale project to be decomposed to referred to as independent small-sized working cell, make allocation of items more specificization, by establishing demand model, it can be carried out instructing the specification of example work according to model, make allocation of items more reasonable, it is more specialized,, can be by instance data and the comparison for establishing model, being modified to model during model foundation, make model application more accurate, more conform to example.
Description
Technical field
The invention belongs to CAD or field is verified, more specifically, more particularly to a kind of system engineering
Computer Aided Design or verification method.Meanwhile the invention further relates to a kind of Computer Aided Design of system engineering or checking device.
Background technology
With the development of computer technology, microelectric technique, software engineering technology, the scale of electronic system is increasing,
Function becomes increasingly complex.The linear growth of design complexities of software and hardware, so as to answering for the verification and testing of software and hardware that brings
Miscellaneous degree exponentially type increases.Existing development platform and EDA emulation tools, it is substantially and rests on support code and following rank
Design and checking, it is truly more imperfect to be used for thinking level Computer Aided Design or the EDA developing instruments of checking.It is existing
The situation of analysis tool is：For manual analysis, mostly simple document writing record, because the thinking of no science is whole
Methodology is managed as guidance so that the analysis of junior engineer and senior engineer have very big gap, and analysis process is frequent
Omit；For automatically analyzing, such as the analysis to coverage rate that eda tool provides, also simply realize in thinking
Statistical function after point determination, the function of thinking point is not determined.Utilization to relation, resource between each resource of system and altogether
Enjoy, the problems such as degree of integration of test case, functional coverage are spent, is analyzed, make design and verify that the visual angle of personnel is not limited to
In the module of oneself, it can be combined with the crosswise development of whole system network with Longitudinal extending, guide and thinking analysis is shared
Property, thinking analysis readability, thinking analysis alterability, thinking analysis continuity, thinking analysis uniformity, thinking
The thinking of the problems such as autgmentability of analysis, and follow-up process of the analyze data for system development, this problem are directly affected
To the control to project risk and the management to project process.
Current systems development process, also lacking one effectively can be analyzed system in early stage to thinking progress
Arrange, ensure the uniformity of the uniformity of target and thinking, thinking and product, and the result of analysis and arrangement is used for whole project
The method and platform of the management of flow.The method that analysis process to system does not have specification guides, and is not based on methodology
Thinking analysis tool auxiliary, analysis to system, the design verification plan formulated easily start a leak, and is so as to add
The fluctuation of system exploitation, and the analysis of early stage and the code in plan and later stage realize inconsistent risk be present.For checking
For, complete analysis comprehensively is just carried out to item-function test point in early days, just project risk can effectively be assessed, made
The steady, development of reducing-pitch thread is presented in project.Contradiction, redundancy or defect in thinking level, can influence this system function and
Performance.How from the grading professional etiquette model of thinking to reach guiding to whole development process, and shorten engineering time, raising once succeeds
Rate, go back the effectively practical and inexpensive method of neither one.
The content of the invention
It is above-mentioned to solve it is an object of the invention to provide a kind of Computer Aided Design of system engineering or verification method and device
The problem of being proposed in background technology.
To achieve the above object, the present invention provides following technical scheme：
The Computer Aided Design or verification method of a kind of system engineering, including：
It is subsystem, part by large-scale, complex technology Project decomposition, until the specific works unit that need not be subdivided；
By the statistics and curve matching to data, establish reliability and have found the mathematical modeling of defect, contrasted using model
System reliability variation tendency, contrast real data using the prediction data of defect afterwards；
By rapid modeling module, including the subsystem rapid modeling submodule after decomposition, with the tentatively quick design optimization of structure
And the basic database carries out data interaction, project is instructed according to the data difference of interaction contrast；
Contrast and its relation are integrated into after part and carry out data recombination and component modelsization are integrated, and calculate all parts,
The attribute constraint condition of part, integrate after modular assembly and its label of internal component, characteristic resource, data deviation and mutually
Between information resources；
System engineering is modeled, the resource information of above-mentioned integration contrasted with the system engineering mo dels established, so
Bring example into model algorithm afterwards and obtain corresponding data result, by the data drawn by algorithm and the optimal allocation number of example
According to being compared, and system engineering mo dels and project flow are rebuild and changed according to comparable situation；
The model algorithm that example is brought into after rebuilding, and new data are calculated, and the optimal allocation data of comparison example again,
And system engineering mo dels and project flow are rebuild and changed again according to data comparable situation.
The Computer Aided Design or verification method also include：
Database is established, by the data storage in Practical Project in database, and data storage used in contrast will be modeled
In database, by resource impact mapped filter by the resource impact in database into demand model；
The demand model of formation is combined with example, standardization guidance is carried out to example by demand model.
It is described present invention also offers a kind of Computer Aided Design of system engineering or checking device, including system decomposition module
The output end of system decomposition module is electrically connected with the input of subsystem module, and the output end of the subsystem module is electrically connected with
The input of database and Data Integration module is electrically connected in the input of working cell, the output end of the working cell
End, the input of the database are also electrically connected with the output end of data inputting module, and the output end of the database electrically connects
Connect the input of analysis module, the output end of the analysis module and Data Integration module is electrically connected with the defeated of model building module
Enter end.
Preferably, large-scale, complex technology Project decomposition is subsystem by the system decomposition module, and passes through subsystem mould
Block resolves into the specific working cell that need not be subdivided.
Preferably, the data of model building module extraction Data Integration module and analysis module, and by the number of extraction
According to being modeled.
Compared with prior art, the beneficial effects of the invention are as follows：The present invention is by the way that large-scale project is decomposed referred to as
Independent small-sized working cell, makes allocation of items more specificization, by establishing demand model, can be carried out according to model to reality
The specification of example work instructs, and makes allocation of items more reasonable, more specialized, can be by reality during model foundation
Number of cases is modified to model according to the comparison with establishing model, makes model application more accurate, more conform to example.
Brief description of the drawings
Fig. 1 is the system block diagram of the present invention.
Embodiment
In order to make the purpose , technical scheme and advantage of the present invention be clearer, below in conjunction with specific embodiment, to this
Invention is further elaborated.It should be appreciated that the specific embodiments described herein are merely illustrative of the present invention, not
For limiting the present invention.
Embodiment
The Computer Aided Design or verification method of a kind of system engineering, including：
It is subsystem, part by large-scale, complex technology Project decomposition, until the specific works unit that need not be subdivided；
By the statistics and curve matching to data, establish reliability and have found the mathematical modeling of defect, contrasted using model
System reliability variation tendency, contrast real data using the prediction data of defect afterwards；
By rapid modeling module, including the subsystem rapid modeling submodule after decomposition, with the tentatively quick design optimization of structure
And the basic database carries out data interaction, project is instructed according to the data difference of interaction contrast；
Contrast and its relation are integrated into after part and carry out data recombination and component modelsization are integrated, and calculate all parts,
The attribute constraint condition of part, integrate after modular assembly and its label of internal component, characteristic resource, data deviation and mutually
Between information resources；
System engineering is modeled, the resource information of above-mentioned integration contrasted with the system engineering mo dels established, so
Bring example into model algorithm afterwards and obtain corresponding data result, by the data drawn by algorithm and the optimal allocation number of example
According to being compared, and system engineering mo dels and project flow are rebuild and changed according to comparable situation；
The model algorithm that example is brought into after rebuilding, and new data are calculated, and the optimal allocation data of comparison example again,
And system engineering mo dels and project flow are rebuild and changed again according to data comparable situation.
The Computer Aided Design or verification method also include：
Database is established, by the data storage in Practical Project in database, and data storage used in contrast will be modeled
In database, by resource impact mapped filter by the resource impact in database into demand model；
The demand model of formation is combined with example, standardization guidance is carried out to example by demand model.
It is described present invention also offers a kind of Computer Aided Design of system engineering or checking device, including system decomposition module
The output end of system decomposition module is electrically connected with the input of subsystem module, and the output end of the subsystem module is electrically connected with
The input of database and Data Integration module is electrically connected in the input of working cell, the output end of the working cell
End, the input of the database are also electrically connected with the output end of data inputting module, and the output end of the database electrically connects
Connect the input of analysis module, the output end of the analysis module and Data Integration module is electrically connected with the defeated of model building module
Enter end.
Specifically, large-scale, complex technology Project decomposition is subsystem by the system decomposition module, and pass through subsystem mould
Block resolves into the specific working cell that need not be subdivided.
Specifically, the data of model building module extraction Data Integration module and analysis module, and by the number of extraction
According to being modeled.
The present invention makes allocation of items more have by the way that large-scale project to be decomposed to referred to as independent small-sized working cell
Body, by establishing demand model, it can be carried out instructing the specification of example work according to model, make allocation of items more adduction
Reason, it is more specialized, can be by instance data and the comparison for establishing model, being carried out to model during model foundation
Amendment, makes model application more accurate, more conforms to example.
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, technique according to the invention scheme and its
Inventive concept is subject to equivalent substitution or change, should all be included within the scope of the present invention.
Claims (5)
1. the Computer Aided Design or verification method of a kind of system engineering, it is characterised in that including：
It is subsystem, part by large-scale, complex technology Project decomposition, until the specific works unit that need not be subdivided；
By the statistics and curve matching to data, establish reliability and have found the mathematical modeling of defect, contrasted using model
System reliability variation tendency, contrast real data using the prediction data of defect afterwards；
By rapid modeling module, including the subsystem rapid modeling submodule after decomposition, with the tentatively quick design optimization of structure
And the basic database carries out data interaction, project is instructed according to the data difference of interaction contrast；
Contrast and its relation are integrated into after part and carry out data recombination and component modelsization are integrated, and calculate all parts,
The attribute constraint condition of part, integrate after modular assembly and its label of internal component, characteristic resource, data deviation and mutually
Between information resources；
System engineering is modeled, the resource information of above-mentioned integration contrasted with the system engineering mo dels established, so
Bring example into model algorithm afterwards and obtain corresponding data result, by the data drawn by algorithm and the optimal allocation number of example
According to being compared, and system engineering mo dels and project flow are rebuild and changed according to comparable situation；
The model algorithm that example is brought into after rebuilding, and new data are calculated, and the optimal allocation data of comparison example again,
And system engineering mo dels and project flow are rebuild and changed again according to data comparable situation.
2. the Computer Aided Design or verification method of a kind of system engineering according to claim 1, it is characterised in that the auxiliary
Design or verification method also include：
Database is established, by the data storage in Practical Project in database, and data storage used in contrast will be modeled
In database, by resource impact mapped filter by the resource impact in database into demand model；
The demand model of formation is combined with example, standardization guidance is carried out to example by demand model.
3. the Computer Aided Design or checking device of a kind of system engineering according to claim 1, including system decomposition module, its
It is characterised by：The output end of the system decomposition module is electrically connected with the input of subsystem module, the subsystem module
Output end is electrically connected with the input of working cell, and database is electrically connected for the output end of the working cell and data are whole
The input of matched moulds block, the input of the database are also electrically connected with the output end of data inputting module, the database
Output end is electrically connected with the output end electric connection model of the input of analysis module, the analysis module and Data Integration module
Establish the input of module.
4. the Computer Aided Design or checking device of a kind of system engineering according to claim 1, it is characterised in that：The system
Large-scale, complex technology Project decomposition is subsystem by decomposing module, and by subsystem decomposition module into the tool that need not be subdivided
The working cell of body.
5. the Computer Aided Design or checking device of a kind of system engineering according to claim 1, it is characterised in that：The model
The data of module extraction Data Integration module and analysis module are established, and the data of extraction are modeled.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710845680.0A CN107729617A (en) | 2017-09-19 | 2017-09-19 | The Computer Aided Design or verification method and device of a kind of system engineering |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710845680.0A CN107729617A (en) | 2017-09-19 | 2017-09-19 | The Computer Aided Design or verification method and device of a kind of system engineering |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN107729617A true CN107729617A (en) | 2018-02-23 |
Family
ID=61207686
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710845680.0A Pending CN107729617A (en) | 2017-09-19 | 2017-09-19 | The Computer Aided Design or verification method and device of a kind of system engineering |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107729617A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110435009A (en) * | 2019-07-15 | 2019-11-12 | 中国科学院重庆绿色智能技术研究院 | A kind of Intelligentized design method of concrete production match ratio |
-
2017
- 2017-09-19 CN CN201710845680.0A patent/CN107729617A/en active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110435009A (en) * | 2019-07-15 | 2019-11-12 | 中国科学院重庆绿色智能技术研究院 | A kind of Intelligentized design method of concrete production match ratio |
| CN110435009B (en) * | 2019-07-15 | 2020-11-10 | 中国科学院重庆绿色智能技术研究院 | Intelligent design method for concrete production mix proportion |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN110991036B (en) | Spacecraft attitude and orbit control system fault case library construction system and construction method | |
| US20170236234A1 (en) | Risk management method and system for a land transporation system | |
| CN107844424A (en) | Model-based testing system and method | |
| Kim | A change analysis process to characterize software maintenance projects | |
| CN106325883A (en) | Development method and system for industry business area information system | |
| CN114528688A (en) | Method and device for constructing reliability digital twin model and computer equipment | |
| CN111966665A (en) | Data migration test method and device | |
| CN113407723A (en) | Multi-source heterogeneous power load data fusion method, device, equipment and storage medium | |
| CN104598375B (en) | A kind of failure prediction method for software development | |
| CN107729617A (en) | The Computer Aided Design or verification method and device of a kind of system engineering | |
| CN109657376A (en) | A kind of vehicle automation modeling method for CAE emulation | |
| US9852258B1 (en) | Method and system for implementing a requirements driven closed loop verification cockpit for analog circuits | |
| Shin et al. | HITECS: A UML profile and analysis framework for hardware-in-the-loop testing of cyber physical systems | |
| CN112348454B (en) | Intelligent management and control system and method for handover test of electrical equipment | |
| CN112214912B (en) | External automatic test system and airborne equipment test method | |
| Viljoen et al. | A life cycle model for the development of airborne electronic equipment | |
| Yasko et al. | FMEDA-based NPP I&C systems safety assessment: toward to minimization of experts’ decisions uncertainty | |
| CN105093939A (en) | Building control system design and debugging apparatus and method | |
| Bu et al. | Model-based construction and verification of cyber-physical systems | |
| US10268786B2 (en) | System and method for capturing transaction specific stage-wise log data | |
| Xi et al. | A study and application about software V&V requirement management scheme in digital RPS | |
| Garro et al. | RAMSAS4Modelica: a Simulation-driven Method for System Dependability Analysis centered on the Modelica language and related tools | |
| Guo et al. | Analysis of the Mainstream MBSE Methodologies from the Modeling Practice View | |
| Yasko et al. | FMEDA and FIT-based safety assessment of NPP I&C systems considering expert uncertainty | |
| Papakonstantinou et al. | A model-driven approach for incorporating human reliability analysis in early emergency operating procedure development |
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 | ||
| RJ01 | Rejection of invention patent application after publication | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20180223 |