CN117473871A - Formalized system modeling method based on CATIA (computer aided three-dimensional architecture) Magic - Google Patents
Formalized system modeling method based on CATIA (computer aided three-dimensional architecture) Magic Download PDFInfo
- Publication number
- CN117473871A CN117473871A CN202311477510.3A CN202311477510A CN117473871A CN 117473871 A CN117473871 A CN 117473871A CN 202311477510 A CN202311477510 A CN 202311477510A CN 117473871 A CN117473871 A CN 117473871A
- Authority
- CN
- China
- Prior art keywords
- model
- demand
- information
- catia
- magic
- 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
- 238000000034 method Methods 0.000 title claims abstract description 19
- 238000005094 computer simulation Methods 0.000 title claims abstract description 17
- 238000010586 diagram Methods 0.000 claims abstract description 35
- 238000012795 verification Methods 0.000 claims abstract description 35
- 238000012545 processing Methods 0.000 claims abstract description 34
- 238000004088 simulation Methods 0.000 claims abstract description 27
- 238000013461 design Methods 0.000 claims abstract description 9
- 230000006870 function Effects 0.000 claims description 37
- 239000011159 matrix material Substances 0.000 claims description 14
- 238000013528 artificial neural network Methods 0.000 claims description 12
- 238000002372 labelling Methods 0.000 claims description 12
- 230000011218 segmentation Effects 0.000 claims description 12
- 230000000694 effects Effects 0.000 claims description 11
- 230000008054 signal transmission Effects 0.000 claims description 10
- 238000004458 analytical method Methods 0.000 claims description 8
- 230000003993 interaction Effects 0.000 claims description 6
- 230000004044 response Effects 0.000 claims description 6
- 238000000605 extraction Methods 0.000 claims description 3
- 238000011176 pooling Methods 0.000 claims description 3
- 230000006399 behavior Effects 0.000 description 20
- 238000010276 construction Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000004590 computer program Methods 0.000 description 1
- 239000013307 optical fiber Substances 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 230000008439 repair process Effects 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 230000033772 system development Effects 0.000 description 1
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
- G06F30/27—Design optimisation, verification or simulation using machine learning, e.g. artificial intelligence, neural networks, support vector machines [SVM] or training a model
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N3/00—Computing arrangements based on biological models
- G06N3/02—Neural networks
- G06N3/04—Architecture, e.g. interconnection topology
- G06N3/044—Recurrent networks, e.g. Hopfield networks
- G06N3/0442—Recurrent networks, e.g. Hopfield networks characterised by memory or gating, e.g. long short-term memory [LSTM] or gated recurrent units [GRU]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N3/00—Computing arrangements based on biological models
- G06N3/02—Neural networks
- G06N3/04—Architecture, e.g. interconnection topology
- G06N3/045—Combinations of networks
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N3/00—Computing arrangements based on biological models
- G06N3/02—Neural networks
- G06N3/04—Architecture, e.g. interconnection topology
- G06N3/0464—Convolutional networks [CNN, ConvNet]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation; Time management
- G06Q10/103—Workflow collaboration or project management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/08—Probabilistic or stochastic CAD
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/18—Details relating to CAD techniques using virtual or augmented reality
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
- G06F2119/02—Reliability analysis or reliability optimisation; Failure analysis, e.g. worst case scenario performance, failure mode and effects analysis [FMEA]
Abstract
The invention relates to a formalized system modeling method based on CATIA Magic, and belongs to the technical field of formalized system modeling. According to the invention, system demand information is acquired, candidate terms and demand categories are obtained through BiLSTM-BERT-CRF model processing according to the system demand information, a demand view is obtained according to the candidate terms and the demand categories, a behavior model is established according to a state machine diagram and a sequence diagram, a capability model is obtained through a SysML tool according to the demand view, a system function is modeled and analyzed according to a use case model and the capability model, a system architecture is analyzed through a structure model, a function model and the behavior model, a final capability model is obtained through redundancy check model processing capability model, a virtual simulation system is generated according to the final capability model, preset operation parameters are input into the virtual simulation system for simulation verification, a simulation verification result is obtained, a system design scheme is determined according to the simulation verification result, the efficiency and the accuracy of system modeling are improved, and the full life cycle management of a user on the system is realized.
Description
Technical Field
The invention belongs to the technical field of formalized system modeling, and particularly relates to a formalized system modeling method based on CATIA (computer aided three-dimensional architecture) Magic.
Background
With the increase of the complexity of the system, the conventional system modeling method cannot meet the requirements of the system. At present, the traditional system modeling method is generally based on a graphical tool for modeling, can not accurately describe static and dynamic behaviors of a system, and can not support the problems of collaboration and communication among teams across fields and professions.
Disclosure of Invention
In order to solve the problems in the prior art, the invention provides a formalized system modeling method based on CATIA Magic, which is characterized in that system demand information is acquired, candidate terms and demand categories are obtained through BiLSTM-BERT-CRF model processing according to the system demand information, demand views are obtained according to the candidate terms and the demand categories, a behavior model is established according to a state machine diagram and a sequence diagram, a capability model is obtained through a SysML tool according to the demand views, modeling analysis is performed on system functions according to a use case model and the capability model, a system architecture is analyzed through a structure model, a function model and the behavior model, a final capability model is obtained through redundancy check model processing capability model, a virtual simulation system is generated according to the final capability model, preset operation parameters are input into the virtual simulation system for simulation verification, a simulation verification result is obtained, a system design scheme is determined according to the simulation verification result, the efficiency and the accuracy of the system modeling are improved, and the full life cycle management of a user on the system is realized.
The aim of the invention can be achieved by the following technical scheme:
a formalized system modeling method based on CATIA Magic comprises the following steps:
s1: acquiring system demand information, wherein the system demand information is text description in a custom format;
s2: processing according to the system demand information through a BiLSTM-BERT-CRF model to obtain a candidate term and a demand category, and obtaining a demand view through a CATIA Magic modeling tool according to the candidate term and the demand category;
s3: acquiring a state machine diagram and a sequence diagram, establishing a behavior model according to the state machine diagram and the sequence diagram, obtaining a capacity model according to the demand view through a SysML tool, establishing a use case model according to the demand view, and jointly carrying out modeling analysis on system functions according to the use case model and the capacity model, wherein the capacity model comprises a structure model, a function model and a non-function attribute model;
s4: analyzing a system architecture through the structural model, the functional model and the behavior model;
s5: constructing a redundancy check model, processing the capacity model through the redundancy check model to obtain a final capacity model, generating a virtual simulation system according to the final capacity model, inputting preset operation parameters into the virtual simulation system for simulation verification, and obtaining a simulation verification result;
s6: and generating a parameter adjustment scheme according to the simulation verification result, adjusting according to the parameter adjustment scheme, returning verification passing information, and determining a system design scheme according to the verification passing information.
Preferably, the step S2 specifically includes the following steps:
s201: invoking a term resource library, performing word segmentation processing on the system demand information through a BiLSTM neural network word segmentation model to obtain a system demand corpus, performing corpus labeling on the system demand corpus according to a predefined term type to obtain labeling information, and obtaining the candidate terms through associating the term resource library according to the labeling information;
s202: processing according to the system demand information BiLSTM-BERT-CRF model to obtain a demand information entity and a demand information entity relation, and obtaining the demand category according to the demand information entity and the demand information entity relation, wherein the demand category comprises a structural demand, a functional demand and a non-functional attribute demand;
s203: and respectively obtaining the demand view through a CATIA Magic modeling tool according to the candidate term and the demand category.
Preferably, the step S202 specifically includes performing word segmentation processing on the system demand information through a BiLSTM neural network word segmentation model to obtain a demand entity corpus, processing the demand entity corpus through a BERT model to obtain deep semantic information, processing the deep semantic information through a CRF model to obtain a maximum probability labeling sequence according to the deep semantic information, outputting the demand information entity according to the maximum probability labeling sequence, performing feature extraction on the deep semantic information to obtain a feature vector, performing convolution operation on the feature vector through a convolution neural network to obtain a convolution result, performing maximum pooling on the convolution result to obtain a maximum feature value, and outputting the demand information entity relationship through the convolution neural network.
Preferably, the step S3 specifically includes the following steps:
s301: establishing a device state machine diagram, performing behavior logic analysis on the use case model according to the behavior model to obtain system behavior logic, and obtaining state response information according to the system behavior logic and the device state machine diagram;
s302: and establishing a function tracing association matrix according to the structure model, the function model and the non-function attribute model, and determining the system function integrity according to the state response information and the function tracing association matrix.
Preferably, the step S4 specifically includes the following steps:
s401: determining a subsystem meeting the function, determining input and output information and port information according to the demand view, and establishing a demand traceability relation matrix of the subsystem according to the input and output information and the port information;
s402: and obtaining system signal transmission logic according to the sequence diagram, and determining a system physical architecture according to the demand traceability relation matrix and the system signal transmission logic.
Preferably, the step S402 specifically includes determining a signal interaction relationship between component modules in a system activity through the sequence diagram, generating a system signal transmission logic according to the signal interaction relationship, obtaining a control activity lane diagram according to the structural model, the functional model and the behavior model by respectively combining the system signal transmission logic and the demand traceability relationship matrix, generating a system component scheme according to the control activity lane diagram, and determining a system physical architecture according to the system construction scheme.
Preferably, the step S5 specifically includes the following steps:
s501: obtaining associated redundant information and null element information through the redundant check model processing according to the capability model, generating a corresponding deleting instruction according to the associated redundant information, returning deleting success information, and generating a useless information prompt according to the null element information;
s502: and presetting operation parameters, generating a system virtual simulation system according to the final capacity model, and inputting the preset operation parameters into the virtual simulation system for simulation verification to obtain a simulation verification result.
Preferably, the text description in the custom format includes a device connection mode text description, a system task text description, a system architecture text description, and a system function text description.
The beneficial effects of the invention are as follows:
1. according to system demand information, candidate terms and demand categories are obtained through BiLSTM-BERT-CRF model processing, demand views are obtained through CATIA Magic modeling tools according to the candidate terms and the demand categories, natural language is replaced by unified formal modeling language to eliminate ambiguity, and a quantitative index description system is adopted to facilitate understanding and automatic processing, so that the quality, progress and cost of the whole period of the system are effectively improved;
2. the final capability model is obtained through the redundant check model processing capability model, the virtual simulation system is generated according to the final capability model, the preset operation parameters are input into the virtual simulation system for simulation verification, the simulation verification result is obtained, the predictability and maintainability of the system are improved, the risk and the cost of the system are reduced, and the developer can understand the structure and the behavior of the system conveniently.
Drawings
The present invention is further described below with reference to the accompanying drawings for the convenience of understanding by those skilled in the art.
FIG. 1 is a flow chart of the modeling method of the formalized system based on CATIA Magic of the present invention.
Detailed Description
In order to further describe the technical means and effects adopted by the invention for achieving the preset aim, the following detailed description is given below of the specific implementation, structure, characteristics and effects according to the invention with reference to the attached drawings and the preferred embodiment.
Referring to fig. 1, a formalized system modeling method based on CATIA logic includes the following steps:
s1: acquiring system demand information, wherein the system demand information is text description in a custom format;
s2: processing according to the system demand information through a BiLSTM-BERT-CRF model to obtain a candidate term and a demand category, and obtaining a demand view through a CATIA Magic modeling tool according to the candidate term and the demand category;
s3: acquiring a state machine diagram and a sequence diagram, establishing a behavior model according to the state machine diagram and the sequence diagram, obtaining a capacity model according to the demand view through a SysML tool, establishing a use case model according to the demand view, and jointly carrying out modeling analysis on system functions according to the use case model and the capacity model, wherein the capacity model comprises a structure model, a function model and a non-function attribute model;
s4: analyzing a system architecture through the structural model, the functional model and the behavior model;
s5: constructing a redundancy check model, processing the capacity model through the redundancy check model to obtain a final capacity model, generating a virtual simulation system according to the final capacity model, inputting preset operation parameters into the virtual simulation system for simulation verification, and obtaining a simulation verification result;
s6: and generating a parameter adjustment scheme according to the simulation verification result, adjusting according to the parameter adjustment scheme, returning verification passing information, and determining a system design scheme according to the verification passing information.
The step S1 specifically includes obtaining system requirement information, where the system requirement information is text description in a custom format, and it should be noted that, the text description in the custom format is that a user uses natural language to perform text description on a system, where the text description of the system includes text description of a device connection mode, text description of a system task, text description of a system architecture, text description of a system function, and the like, and the format of the text description of the present invention supports chinese characters, english letters, or numbers. The system modeling efficiency is improved by acquiring the system demand information, and a data basis is provided for subsequent data processing.
Step S2 specifically comprises the steps of carrying out word segmentation processing on the system demand information through a BiLSTM neural network word segmentation model by calling a term resource library to obtain a system demand corpus, carrying out corpus annotation on the system demand corpus according to a predefined term type to obtain annotation information, and obtaining the candidate terms through associating the term resource library according to the annotation information;
s202: performing word segmentation on the system demand information through a BiLSTM neural network word segmentation model to obtain a demand entity corpus, processing the demand entity corpus through a BERT model to obtain deep semantic information, processing the deep semantic information through a CRF model to obtain a maximum probability labeling sequence, outputting the demand information entity according to the maximum probability labeling sequence, performing feature extraction on the deep semantic information to obtain a feature vector, performing convolution operation on the feature vector through a convolution neural network to obtain a convolution result, performing maximum pooling on the convolution result to obtain a maximum feature value, outputting the demand information entity relation through the convolution neural network, and obtaining the demand category according to the demand information entity relation and the demand information entity relation, wherein the demand category comprises structural demands, functional demands and nonfunctional attribute demands;
s203: and respectively obtaining the demand view through a CATIA Magic modeling tool according to the candidate term and the demand category.
Candidate terms and demand categories are obtained through processing system demand information, a demand view is obtained according to the candidate terms and the demand categories, ambiguity is eliminated by adopting a unified formal modeling language to replace natural language, understanding and automatic processing are facilitated by adopting a quantitative index description system, and the quality, progress and cost of the whole period of the system are effectively improved.
Step S3 specifically comprises the steps of establishing a device state machine diagram, carrying out behavior logic analysis on the use case model according to the behavior model to obtain system behavior logic, and obtaining state response information according to the system behavior logic and the device state machine diagram;
and establishing a function tracing association matrix according to the structure model, the function model and the non-function attribute model, and determining the system function integrity according to the state response information and the function tracing association matrix.
By analyzing the system functions, the system requirements are clarified, the optimization of the system design is facilitated, the system development efficiency is improved, and the system risk is further reduced.
Step S4 specifically comprises determining a subsystem meeting the function, determining input and output information and port information according to the demand view, and establishing a demand traceability relation matrix of the subsystem according to the input and output information and the port information;
determining signal interaction relations among component modules in system activities through the sequence diagram, generating system signal transmission logic according to the signal interaction relations, obtaining a control activity lane diagram through combining the system signal transmission logic and the demand traceability relation matrix respectively according to the structural model, the functional model and the behavior model, generating a system component scheme according to the control activity lane diagram, and determining a system physical architecture according to the system construction scheme.
By analyzing the system architecture, the system architecture analysis can better understand the overall structure and functional requirements of the system, optimize the system design and architecture, improve the expandability and maintainability of the system, and further improve the overall performance and reliability of the system. Meanwhile, by analyzing potential problems in the system architecture, corresponding measures are taken to reduce the risk and cost of the system.
The step S5 specifically comprises the following steps:
s501: obtaining associated redundant information and null element information through the redundant check model processing according to the capability model, generating a corresponding deleting instruction according to the associated redundant information, returning deleting success information, and generating a useless information prompt according to the null element information;
s502: and presetting operation parameters, generating a system virtual simulation system according to the final capacity model, and inputting the preset operation parameters into the virtual simulation system for simulation verification to obtain a simulation verification result.
When redundant association, relationship or connection exists in the model, redundant model checking is performed. The method is helpful to reduce unnecessary complexity and repeatability in the model, ensure that the association in the model is correct and accurate, further verify the functions and performances of the system, discover potential problems and repair and optimize the system, further improve the overall quality and reliability of the system, and the operator can delete the system according to the useless information prompt.
The step S6 specifically comprises the steps of generating a parameter adjustment scheme according to a simulation verification result, adjusting according to the parameter adjustment scheme, returning verification passing information, and determining a system design scheme according to the verification passing information.
The working principle and the using flow of the invention are as follows:
according to the invention, system demand information is acquired, candidate terms and demand categories are obtained through BiLSTM-BERT-CRF model processing according to the system demand information, a demand view is obtained according to the candidate terms and the demand categories, a behavior model is established according to a state machine diagram and a sequence diagram, a capability model is obtained through a SysML tool according to the demand view, a system function is modeled and analyzed according to a use case model and the capability model, a system architecture is analyzed through a structure model, a function model and the behavior model, a final capability model is obtained through redundancy check model processing capability model, a virtual simulation system is generated according to the final capability model, preset operation parameters are input into the virtual simulation system for simulation verification, a simulation verification result is obtained, and a system design scheme is determined according to the simulation verification result.
Program code embodied on a computer readable medium in embodiments of the invention may be transmitted using any appropriate medium, including but not limited to wireless, wireline, optical fiber cable, etc., or any suitable combination of the foregoing. Computer program code for carrying out operations of the present invention may be written in any combination of one or more programming languages, including an object oriented programming language such as Java, smalltalk, C ++ and conventional procedural programming languages, such as the "C" programming language or similar programming languages. The program code may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the case of a remote computer, the remote computer may be connected to the user's computer through any kind of network, including a Local Area Network (LAN) or a Wide Area Network (WAN), or may be connected to an external computer (for example, through the Internet using an Internet service provider).
The present invention is not limited to the above embodiments, but is not limited to the above embodiments, and any technical modifications, equivalents and modifications made to the above embodiments according to the technical principles of the present invention can be made by those skilled in the art without departing from the scope of the invention.
Claims (8)
1. The formalized system modeling method based on CATIA Magic is characterized by comprising the following steps:
s1: acquiring system demand information, wherein the system demand information is text description in a custom format;
s2: processing according to the system demand information through a BiLSTM-BERT-CRF model to obtain a candidate term and a demand category, and obtaining a demand view through a CATIA Magic modeling tool according to the candidate term and the demand category;
s3: acquiring a state machine diagram and a sequence diagram, establishing a behavior model according to the state machine diagram and the sequence diagram, obtaining a capacity model according to the demand view through a SysML tool, establishing a use case model according to the demand view, and jointly carrying out modeling analysis on system functions according to the use case model and the capacity model, wherein the capacity model comprises a structure model, a function model and a non-function attribute model;
s4: analyzing a system architecture through the structural model, the functional model and the behavior model;
s5: constructing a redundancy check model, processing the capacity model through the redundancy check model to obtain a final capacity model, generating a virtual simulation system according to the final capacity model, inputting preset operation parameters into the virtual simulation system for simulation verification, and obtaining a simulation verification result;
s6: and generating a parameter adjustment scheme according to the simulation verification result, adjusting according to the parameter adjustment scheme, returning verification passing information, and determining a system design scheme according to the verification passing information.
2. The modeling method of a formalized system based on CATIA Magic according to claim 1, wherein said step S2 comprises the steps of:
s201: invoking a term resource library, performing word segmentation processing on the system demand information through a BiLSTM neural network word segmentation model to obtain a system demand corpus, performing corpus labeling on the system demand corpus according to a predefined term type to obtain labeling information, and obtaining the candidate terms through associating the term resource library according to the labeling information;
s202: processing according to the system demand information BiLSTM-BERT-CRF model to obtain a demand information entity and a demand information entity relation, and obtaining the demand category according to the demand information entity and the demand information entity relation, wherein the demand category comprises a structural demand, a functional demand and a non-functional attribute demand;
s203: and respectively obtaining the demand view through a CATIA Magic modeling tool according to the candidate term and the demand category.
3. The modeling method of formalized system based on CATIA Magic according to claim 2, wherein step S202 specifically includes performing word segmentation processing on the system demand information through a BiLSTM neural network word segmentation model to obtain a demand entity corpus, processing the demand entity corpus through a BERT model to obtain deep semantic information, processing the deep semantic information through a CRF model to obtain a maximum probability labeling sequence, outputting the demand information entity according to the maximum probability labeling sequence, performing feature extraction on the deep semantic information to obtain a feature vector, performing convolution operation on the feature vector through a convolution neural network to obtain a convolution result, performing maximum pooling on the convolution result to obtain a maximum feature value, and outputting the demand information entity relationship through the convolution neural network.
4. The modeling method of a formalized system based on CATIA Magic according to claim 1, wherein said step S3 comprises the steps of:
s301: establishing a device state machine diagram, performing behavior logic analysis on the use case model according to the behavior model to obtain system behavior logic, and obtaining state response information according to the system behavior logic and the device state machine diagram;
s302: and establishing a function tracing association matrix according to the structure model, the function model and the non-function attribute model, and determining the system function integrity according to the state response information and the function tracing association matrix.
5. The modeling method of a formalized system based on CATIA Magic according to claim 1, wherein said step S4 comprises the steps of:
s401: determining a subsystem meeting the function, determining input and output information and port information according to the demand view, and establishing a demand traceability relation matrix of the subsystem according to the input and output information and the port information;
s402: and obtaining system signal transmission logic according to the sequence diagram, and determining a system physical architecture according to the demand traceability relation matrix and the system signal transmission logic.
6. The formalized system modeling method based on CATIA logic according to claim 5, wherein step S402 specifically includes determining a signal interaction relationship between each component module in a system activity through the sequence diagram, generating a system signal transmission logic according to the signal interaction relationship, obtaining a control activity lane diagram according to the structure model, the function model and the behavior model by combining the system signal transmission logic and the demand traceability relationship matrix respectively, generating a system component scheme according to the control activity lane diagram, and determining a system physical architecture according to the system building scheme.
7. The modeling method of a formalized system based on CATIA Magic according to claim 1, wherein the step S5 specifically comprises the steps of:
s501: obtaining associated redundant information and null element information through the redundant check model processing according to the capability model, generating a corresponding deleting instruction according to the associated redundant information, returning deleting success information, and generating a useless information prompt according to the null element information;
s502: and presetting operation parameters, generating a system virtual simulation system according to the final capacity model, and inputting the preset operation parameters into the virtual simulation system for simulation verification to obtain a simulation verification result.
8. The formalized system modeling method of claim 1, wherein the custom formatted text description includes a device connectivity style text description, a system task text description, a system architecture text description, a system function text description.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202311477510.3A CN117473871B (en) | 2023-11-08 | Formalized system modeling method based on CATIA MAGIC |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202311477510.3A CN117473871B (en) | 2023-11-08 | Formalized system modeling method based on CATIA MAGIC |
Publications (2)
Publication Number | Publication Date |
---|---|
CN117473871A true CN117473871A (en) | 2024-01-30 |
CN117473871B CN117473871B (en) | 2024-05-03 |
Family
ID=
Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102004826A (en) * | 2010-11-09 | 2011-04-06 | 北京交通大学 | Standardized development method and system for communication protocol of train control system |
CN106411635A (en) * | 2016-08-29 | 2017-02-15 | 华东师范大学 | Formal analysis and verification method for real-time protocol |
CN107808020A (en) * | 2016-09-09 | 2018-03-16 | 卡斯柯信号有限公司 | Based on the computer interlocking software exploitation of formalized model exploitation with realizing system |
CN110321580A (en) * | 2019-03-13 | 2019-10-11 | 北京宇航系统工程研究所 | A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE |
CN110674588A (en) * | 2019-09-30 | 2020-01-10 | 北京航空航天大学 | MBSE-based modeling simulation method for on-missile electrical system |
US20230021467A1 (en) * | 2021-07-21 | 2023-01-26 | Beihang University | Model-Based System Architecture Design Method for Unmanned Aerial Vehicle (UAV) Systems |
CN115659516A (en) * | 2022-11-07 | 2023-01-31 | 哈尔滨工业大学 | MBSE-based integrated aircraft design method and system |
CN116680885A (en) * | 2023-05-29 | 2023-09-01 | 中国工程物理研究院计算机应用研究所 | Complex device control software modeling and verification method based on SysML and Tango |
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102004826A (en) * | 2010-11-09 | 2011-04-06 | 北京交通大学 | Standardized development method and system for communication protocol of train control system |
CN106411635A (en) * | 2016-08-29 | 2017-02-15 | 华东师范大学 | Formal analysis and verification method for real-time protocol |
CN107808020A (en) * | 2016-09-09 | 2018-03-16 | 卡斯柯信号有限公司 | Based on the computer interlocking software exploitation of formalized model exploitation with realizing system |
CN110321580A (en) * | 2019-03-13 | 2019-10-11 | 北京宇航系统工程研究所 | A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE |
CN110674588A (en) * | 2019-09-30 | 2020-01-10 | 北京航空航天大学 | MBSE-based modeling simulation method for on-missile electrical system |
US20230021467A1 (en) * | 2021-07-21 | 2023-01-26 | Beihang University | Model-Based System Architecture Design Method for Unmanned Aerial Vehicle (UAV) Systems |
CN115659516A (en) * | 2022-11-07 | 2023-01-31 | 哈尔滨工业大学 | MBSE-based integrated aircraft design method and system |
CN116680885A (en) * | 2023-05-29 | 2023-09-01 | 中国工程物理研究院计算机应用研究所 | Complex device control software modeling and verification method based on SysML and Tango |
Non-Patent Citations (2)
Title |
---|
AZNAM YACOUB: "Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study", 《2014 4TH INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS (SIMULTECH)》, 27 April 2015 (2015-04-27), pages 1 - 6 * |
李铁颖;王科翔;戴苏榕;: "一种基于AADL的航空电子系统仿真和验证技术", 航空电子技术, no. 04, 15 December 2019 (2019-12-15) * |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US11790161B2 (en) | Machine learning selection and/or application of a data model defined in a spreadsheet | |
US10162611B2 (en) | Method and apparatus for business rule extraction | |
KR102443654B1 (en) | Automatically create machine learning models for software tools that operate on source code | |
US20080295085A1 (en) | Integrated code review tool | |
CN103577168A (en) | Test case creation system and method | |
CN111078555B (en) | Test file generation method, system, server and storage medium | |
KR101554424B1 (en) | Method and apparatus for auto generation of test case | |
CN112148356B (en) | Document generation method, interface development method, device, server and storage medium | |
CN110955410A (en) | Automatic code generation method, device, equipment and medium | |
CN113778897A (en) | Automatic test method, device, equipment and storage medium of interface | |
US11436514B2 (en) | Designing plans using requirements knowledge graph | |
CN113238739A (en) | Plug-in development and data acquisition method, device, electronic equipment and medium | |
CN117473871B (en) | Formalized system modeling method based on CATIA MAGIC | |
CN117473871A (en) | Formalized system modeling method based on CATIA (computer aided three-dimensional architecture) Magic | |
CN112667202B (en) | Software design method and device combining MDA and BPMN | |
CN112130841B (en) | SQL development method and device and terminal equipment | |
CN112230904A (en) | Code generation method and device based on interface document, storage medium and server | |
CN111125073A (en) | Method, device and system for verifying data quality of big data platform | |
KR100656559B1 (en) | Program Automatic Generating Tools | |
JP5683209B2 (en) | Client computer with automatic document generation function | |
CN113703769B (en) | CLI command execution method and related device | |
US11036613B1 (en) | Regression analysis for software development and management using machine learning | |
WO2024049796A1 (en) | Systems and methods for legacy mbse diagram data importation using element specific ml models and schema templates | |
CN117032785A (en) | Data processing method, electronic device, storage medium, and program product | |
Alzyadat et al. | Analyzing Data Format Interoperability in API Ecosystems Using Big Data Architecture |
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 |