CN110531963A - A kind of industrial software system action model restoring method based on data - Google Patents
A kind of industrial software system action model restoring method based on data Download PDFInfo
- Publication number
- CN110531963A CN110531963A CN201910802236.XA CN201910802236A CN110531963A CN 110531963 A CN110531963 A CN 110531963A CN 201910802236 A CN201910802236 A CN 201910802236A CN 110531963 A CN110531963 A CN 110531963A
- Authority
- CN
- China
- Prior art keywords
- data
- model
- state machine
- finite state
- industrial
- 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
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/60—Software deployment
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
The invention discloses a kind of industrial software system action model restoring method based on data, belongs to industrial software field, including step are as follows: obtains operation feedback data；Data are analyzed and are classified, the upper-level system model that building has correlation is extracted；Whether verifying generates system model accurate；The corresponding initial data for constituting system module is concluded, the output of system is generated；Verify whether that there is also the systems for having correlation；It integrates existing subsystem model and generates total system model.The present invention is based on existing industrial controlling softwares to run feedback data, quick and precisely can completely construct industrial system software model；The state space for reducing whole software systems finite state machine model simplifies the process that data inversely construct system finite state machine；It is versatile, it can be widely applied to industrial system modeling, in conjunction with basic unit code driving function block encapsulation technology, industrial system control routine can be rapidly converted into.
Description
Technical field
The present invention relates to industrial software field more particularly to a kind of industrial software system action model reduction based on data
Method.
Background technique
Existing industrial control system system is huge, is made of multi-section subassembly block combiner, structure is complicated, and especially its is soft
The system of part system is more many and diverse.In the case where lacking source code, can not to original system into improve upgrade, software module without
Method multiplexing, system maintenance are difficult.And the building of existing industrial control system model, it is usually carried out by functional requirement preliminary
Analysis, writes appellative function document, constantly carries out supplement amendment to initial incomplete requirement documents in systems development process,
It is continuously circulated iteration in development process and meets the process of demand until building system, is that a kind of industrial control system of forward direction was developed
Journey.
Current industrial control system exploitation and service mode, suffer from the drawback that
1) in the case where lacking source code, industrial control system software can not continue to safeguard；
2) lack the universal method of automated modular building industrial software system model；
3) positive system development process consumes the plenty of time, human cost, it is difficult to meet instantly for Industry Control system
System quickly updates, the demand of variation.
Therefore, those skilled in the art is dedicated to developing a kind of industrial software system action model reduction based on data
Method is based on existed system operation data, reverse to restore industrial software system finite state machine model.
Summary of the invention
In view of the above drawbacks of the prior art, the technical problem to be solved by the present invention is to the case where lacking source code
Under, reduce the construction schedule of industrial controlling software system model, reduces a variety of costs of system development, make full use of existing industry
The code module and feedback data of software are controlled, the plasticity and scalability of reduction system model are improved, so that reduction software
System model can easily generate rapidly the control software code of industrial system.
To achieve the above object, the present invention provides a kind of industrial software system action model reduction side based on data
Method, comprising the following steps:
Step 11: obtaining operation feedback data；
Step 12: to operation feedback data analysis classification, extracting the upper-level system model that building has correlation；
Step 13: verifying generates whether system model is accurate, and the return step 12 if inaccuracy continues if accurate
Carry out step 14；
Step 14: concluding the corresponding initial data for constituting system module, generate the output of system；
Step 15: it verifies whether there is also the system for having correlation, and if so, return step 12, if it does not,
Then continue step 16；
Step 16: integrating existing subsystem model and generate total system model.
Further, the step of generating total system model includes: building basic module finite state machine model, by multiple
Basic module finite state machine model constructs subsystem finite state machine model, is constructed by multiple subsystem finite state machine models
Whole software systems finite state machine model.
Further, module includes control logic, multiple execution units and multiple feedback units.
Further, control logic carries out logic decision with input data by the incoming event in time flow, has determined
Limit the state transition of state machine model.
Further, status information of the output of module comprising to generate finite state machine model.
Further, the step of building basic module finite state machine model includes:
Step 21: obtaining initial data and be converted to boolean value；
Step 22: mask data is training data and test data, is exported to obtain possible system mode by training data；
Step 23: whether the state for verifying generation repeats, and repeat mode is wiped out if repeating and continues step 22, if do not repeated
Then continue step 24；
Step 24: by jumping condition two-by-two between multi-group data analysis extraction state between state；
Step 25: according to test data verifying generate state machine whether complete and accurate, as it is imperfect accurately if update number
According to rear return step 22, continue step 26 if complete and accurate；
Step 26: generating basic module finite state machine model.
Further, initial data includes boolean value, event, non-boolean value.
Further, boolean value directly uses.
Further, event type is according to whether triggering is converted to boolean value.
Further, non-boolean value determines critical value first, further according to whether reaching critical value and be converted to boolean value,
Critical value is determined according to physical meaning with clear physical meaning, the basis without clear physical meaning has converted data pass
System, which analyzes, determines critical value.
The present invention is based on having a large amount of industrial controlling software operation feedback data, industry quick and precisely can be completely constructed
System software model；The state space for substantially reducing whole software systems finite state machine model simplifies the reverse structure of data
Build the process of system finite state machine；It is versatile, it can be widely used in industrial system model building, in conjunction with basic unit
Code driving function block encapsulation technology, can be rapidly converted into industrial system control routine.
It is described further below with reference to technical effect of the attached drawing to design of the invention, specific structure and generation, with
It is fully understood from the purpose of the present invention, feature and effect.
Detailed description of the invention
Fig. 1 is the reverse building flow chart of finite state machine model of the invention；
Fig. 2 is industrial software system module built-up pattern figure of the present invention；
Fig. 3 is the reverse building schematic diagram of whole software systems finite state machine model of the invention；
Fig. 4 is flow chart of data processing schematic diagram of the present invention；
Fig. 5 is basic module finite state machine model building flow chart of the present invention；
Fig. 6 is that initial data of the present invention is converted to Boolean type schematic diagram.
Specific embodiment
Multiple preferred embodiments of the invention are introduced below with reference to Figure of description, keep its technology contents more clear and just
In understanding.The present invention can be emerged from by many various forms of embodiments, and protection scope of the present invention not only limits
The embodiment that Yu Wenzhong is mentioned.
In the accompanying drawings, the identical component of structure is indicated with same numbers label, everywhere the similar component of structure or function with
Like numeral label indicates.The size and thickness of each component shown in the drawings are to be arbitrarily shown, and there is no limit by the present invention
The size and thickness of each component.Apparent in order to make to illustrate, some places suitably exaggerate the thickness of component in attached drawing.
As shown in Fig. 2, being industrial software system module built-up pattern, wherein the expression of thin arrow is flow of event, block arrow
Expression is data flow.Industrial software system can be considered several execution units, the basic units code module such as several feedback units
Combination, pass through the function that the input of flow of event and data flow and system control logic realize software systems.The control of system is patrolled
It collects and logic decision is carried out with input data by the incoming event in time flow, determine entire software systems finite state machine model
State (combinations of states of basic unit) jump, that is, determine that the software systems finite state machine model generated is needed to jump item
Part, the output information of basic unit include to generate the status information of the finite state machine model of software systems.Basic unit generation
Output (data and event) of the code module in time flow is readily available, by and system input the combination of (data and event) can
For the reverse building to entire software systems finite state machine.
For a complication system, the number of states of system finite state machine model is more, and constraint condition combination is complicated,
It is difficult to directly carry out analysis-reduction to whole system state by data.The present invention passes through industrial system software basic function module
Native mode machine model, nested building total system model the most of of removal system in vain can may significantly upwards layer by layer
It state and jumps constraint condition, simplifies the reverse building state space of system.
As shown in figure 3, being the reverse building schematic diagram of whole software systems finite state machine model of the invention.Due to basic
The unicity of Elementary Function block, general sexual function, finite state machine model is simple, inherently, general.Basic software functional block
The contact details of intermodule are contained in operation feedback data, is extracted by data, finds the basic module connected each other, first
Construct the finite state machine model of basic unit functional module.
On the basis of constructing basic module finite state machine model, pass through multiple basic module finite state machine models
Combination constructs subsystem finite state machine model.The state of subsystem model is embedded by the combinations of states of its basic module model
It constitutes, switch condition is system incoming event, the logic judgment expression formula combination of input data, the state machine model letter of subsystem
Easily, it the state that includes and jumps that condition criterion data class is all less, is easy to extract determining status number by data, then pass through
Searching algorithm traverses the logical combination of limited input, substitutes into generation state machine model and is tested, confirms turn between different conditions
Condition is changed, to construct subsystem finite state machine model.Later, right on the subsystem finite state machine model constructed
Its basic module data formed is handled, and the input and output content of subsystem is merged, and the entirety input for obtaining subsystem is defeated
Data out.
On the basis of subsystem finite state machine model constructs completion, the similar upper layer that subsystem is carried out with the data
The building of system finite state machine model finally restores the finite state machine model of entire software systems upwards layer by layer.
As shown in figure 4, being flow chart of data processing schematic diagram of the present invention.Industrial software system finite state machine based on data
Model inversely constructs the data handling procedure in process, starts from the basic module data acquisition of original software systems or by function point
It is destructed to make data, obtain the output data of the basic module of quasi- constructing function system.Original gather data is by multi-level point
Analysis processing and extraction, generate at many levels for system finite state machine model.Firstly, original gather data is classified through analysis, look for
Degree is connected each other between basic unit out, is connected the higher basic unit data separating of degree each other and is come out analysis for extracting
Subsystem state number and condition is jumped out, for constructing subsystem finite state machine model.By subsystem finite state machine model
State, analyze basic unit initial data, integral data extract subsystem state output data, in conjunction with system input data to
Upper-level system building generates system finite state until finally extracting the finite state machine element of entire target building system
Machine model.
As shown in figure 5, constructing flow chart for basic module finite state machine model of the present invention, comprising the following steps:
Step 21: obtaining initial data and be converted to boolean value, and analyze removal repeated data；
Step 22: mask data is training data and test data, is exported to obtain possible system mode by training data；
Step 23: whether the state for verifying generation repeats, and repeat mode is wiped out if repeating and continues step 22, if do not repeated
Then continue step 24；
Step 24: by jumping condition two-by-two between multi-group data analysis extraction state between state；
Step 25: according to test data verifying generate state machine whether complete and accurate, as it is imperfect accurately if update number
According to rear return step 22, continue step 26 if complete and accurate；
Step 26: generating basic module finite state machine model.
As shown in fig. 6, being converted to Boolean type schematic diagram for initial data of the present invention.
The initial data of industrial software system includes the multiple types such as boolean value, event, non-boolean value.It is being built with
During limiting state machine model, the data of Boolean type can be used directly, and other types of data then need to be initialized as
Boolean type.
Event type is according to whether triggering is converted to boolean value.
Whether non-boolean value determines critical value first, further according to reaching critical value and being converted to boolean value, have clear
Physical meaning determines critical value according to physical meaning, and the basis without clear physical meaning has converted data relationship analysis and faces
Dividing value.
As shown in Figure 1, being the reverse building flow chart of finite state machine model of the invention, comprising the following steps:
Step 11: obtaining operation feedback data；
Step 12: to operation feedback data analysis classification, basic unit state output data are analyzed, between basic unit
Degree of contact is determined, is found out the basic unit combination for being enough to constitute subsystem, is extracted the upper series of strata that building has correlation
System model, constructs Internal Small-scale subsystem.The data and system input condition of sub-system basic unit carry out data processing point
Analysis constructs subsystem finite state machine model by analysis result.
Step 13: whether the system model for verifying generation is accurate, uses initial data test subsystems state machine model
Accuracy.If model is inaccurate, parameter is changed, the reasoning again of return step 12 continues step 14 if accurate；
Step 14: concluding the corresponding initial data for constituting system module, generate the output of system；
Step 15: it verifies whether there is also the system for having correlation, and if so, return step 12, if it does not,
Then continue step 16；
Step 16: integrating existing subsystem model and generate total system model.By generation subsystem finite state machine model
The status data for merging subsystem with the original data processing of corresponding component units, the upper-level system for subsystem construct.Layer
Layer building is until be finally a system model, the as entirety of goal generating system by all subsystem state machine model combinations
Model.By original input data examine building total system finite state machine model whether meet original system be originally inputted it is defeated
Out.It complies fully with, then successfully constructs the finite state machine model of goal systems.
The present invention is based on existed system operation datas, reverse to restore industrial software system finite state machine model.It proposes
Construction method is combined in the insertion of industrial software system finite state machine model, the limited shape of system needed for restoring layer by layer from bottom to top
State machine model, the reduction complexity of system finite state machine needed for reducing.
The preferred embodiment of the present invention has been described in detail above.It should be appreciated that the ordinary skill of this field is without wound
The property made labour, which according to the present invention can conceive, makes many modifications and variations.Therefore, all technician in the art
Pass through the available technology of logical analysis, reasoning, or a limited experiment on the basis of existing technology under this invention's idea
Scheme, all should be within the scope of protection determined by the claims.
Claims (10)
1. a kind of industrial software system action model restoring method based on data, which comprises the following steps:
Step 11: obtaining operation feedback data；
Step 12: the operation feedback data being analyzed and is classified, the upper-level system model that building has correlation is extracted；
Step 13: verifying generates whether system model is accurate, and the return step 12 if inaccuracy continues if accurate
Step 14；
Step 14: concluding the corresponding initial data for constituting system module, generate the output of system；
Step 15: it verifies whether there is also the system for having correlation, and if so, return step 12, if it does not exist, then after
It is continuous to carry out step 16；
Step 16: integrating existing subsystem model and generate total system model.
2. the industrial software system action model restoring method based on data as described in claim 1, which is characterized in that described
The step of generating total system model includes: building basic module finite state machine model, limited by multiple basic modules
State machine model constructs subsystem finite state machine model, constructs whole software by multiple subsystem finite state machine models
System finite state machine model.
3. the industrial software system action model restoring method based on data as described in claim 1, which is characterized in that described
Module includes control logic, multiple execution units and multiple feedback units.
4. the industrial software system action model restoring method based on data as claimed in claim 3, which is characterized in that described
Control logic carries out logic decision with input data by the incoming event in time flow, determines the finite state machine model
State transition.
5. the industrial software system action model restoring method based on data as claimed in claim 4, which is characterized in that described
The output of module includes the status information for the finite state machine model to be generated.
6. the industrial software system action model restoring method based on data as claimed in claim 2, which is characterized in that described
Construct basic module finite state machine model the step of include:
Step 21: obtaining initial data and be converted to boolean value；
Step 22: mask data is training data and test data, is exported to obtain possible system mode by training data；
Step 23: whether the state for verifying generation repeats, and repeat mode is wiped out if repeating and continues step 22, if do not repeated
Then continue step 24；
Step 24: by jumping condition two-by-two between multi-group data analysis extraction state between state；
Step 25: the state machine generated according to test data verifying whether complete and accurate, as it is imperfect accurately if after more new data
Return step 22, continues step 26 if complete and accurate；
Step 26: generating basic module finite state machine model.
7. the industrial software system action model restoring method based on data as claimed in claim 6, which is characterized in that described
Initial data includes boolean value, event type, non-boolean value.
8. the industrial software system action model restoring method based on data as claimed in claim 7, which is characterized in that described
Boolean value directly uses.
9. the industrial software system action model restoring method based on data as claimed in claim 7, which is characterized in that described
Event type is according to whether triggering is converted to boolean value.
10. the industrial software system action model restoring method based on data as claimed in claim 7, which is characterized in that described
Non- boolean value determines critical value first, further according to whether reaching critical value and being converted to boolean value, with clear physical meaning
Critical value is determined according to physical meaning, and the basis without clear physical meaning has converted data relationship and analyzes determining critical value.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201910802236.XA CN110531963B (en) | 2019-08-28 | 2019-08-28 | Industrial software system behavior model reduction method based on data |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201910802236.XA CN110531963B (en) | 2019-08-28 | 2019-08-28 | Industrial software system behavior model reduction method based on data |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN110531963A true CN110531963A (en) | 2019-12-03 |
| CN110531963B CN110531963B (en) | 2021-05-07 |
Family
ID=68664812
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201910802236.XA Active CN110531963B (en) | 2019-08-28 | 2019-08-28 | Industrial software system behavior model reduction method based on data |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN110531963B (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113434424A (en) * | 2021-07-06 | 2021-09-24 | 上海交通大学 | Black box industrial control system modular code restoration method |
| CN116501531A (en) * | 2023-06-19 | 2023-07-28 | 成都移信通科技有限公司 | Software plug-in configuration method and system for monitoring software operation data security |
Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| UA77697U (en) * | 2012-07-30 | 2013-02-25 | Светлана Геннадиевна Михайлова | method for determining the strength of denture bases |
| CN104050087A (en) * | 2014-07-04 | 2014-09-17 | 东南大学 | Software architecture correctness verification method based on UML model |
| CN105045603A (en) * | 2015-08-24 | 2015-11-11 | 北京金山安全软件有限公司 | Method and device for constructing finite-state machine model framework and electronic device |
| CN107016214A (en) * | 2017-04-26 | 2017-08-04 | 上海工程技术大学 | A kind of parameter based on finite state machine relies on the generation method of model |
| CN107566098A (en) * | 2017-07-24 | 2018-01-09 | 清华大学 | The generation method of software defined network application cycle tests and generation system |
| CN108228455A (en) * | 2017-12-29 | 2018-06-29 | 北京航空航天大学 | A kind of software controls hazard analysis method |
| CN108919672A (en) * | 2018-07-13 | 2018-11-30 | 华东师范大学 | A kind of implementation method of complex industrial control system |
-
2019
- 2019-08-28 CN CN201910802236.XA patent/CN110531963B/en active Active
Patent Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| UA77697U (en) * | 2012-07-30 | 2013-02-25 | Светлана Геннадиевна Михайлова | method for determining the strength of denture bases |
| CN104050087A (en) * | 2014-07-04 | 2014-09-17 | 东南大学 | Software architecture correctness verification method based on UML model |
| CN105045603A (en) * | 2015-08-24 | 2015-11-11 | 北京金山安全软件有限公司 | Method and device for constructing finite-state machine model framework and electronic device |
| CN107016214A (en) * | 2017-04-26 | 2017-08-04 | 上海工程技术大学 | A kind of parameter based on finite state machine relies on the generation method of model |
| CN107566098A (en) * | 2017-07-24 | 2018-01-09 | 清华大学 | The generation method of software defined network application cycle tests and generation system |
| CN108228455A (en) * | 2017-12-29 | 2018-06-29 | 北京航空航天大学 | A kind of software controls hazard analysis method |
| CN108919672A (en) * | 2018-07-13 | 2018-11-30 | 华东师范大学 | A kind of implementation method of complex industrial control system |
Non-Patent Citations (1)
| Title |
|---|
| 欧阳广等: "《基于软件交互行为日志的动态模型构建》", 《计算机工程与应用》 * |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113434424A (en) * | 2021-07-06 | 2021-09-24 | 上海交通大学 | Black box industrial control system modular code restoration method |
| CN116501531A (en) * | 2023-06-19 | 2023-07-28 | 成都移信通科技有限公司 | Software plug-in configuration method and system for monitoring software operation data security |
| CN116501531B (en) * | 2023-06-19 | 2023-09-08 | 成都移信通科技有限公司 | Software plug-in configuration method and system for monitoring software operation data security |
Also Published As
| Publication number | Publication date |
|---|---|
| CN110531963B (en) | 2021-05-07 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN112100865B (en) | Method for predicting remaining life of aircraft engine based on parallel CNN model | |
| Thulasidasan et al. | Combating label noise in deep learning using abstention | |
| CN112088383A (en) | Neural network construction device, information processing device, neural network construction method, and program | |
| CN105447031A (en) | Training sample labeling method and device | |
| CN109684190A (en) | Software testing device and method | |
| CN110660478A (en) | Cancer image prediction and discrimination method and system based on transfer learning | |
| CN104298843A (en) | Complex mechanism dynamic cascading reliability modeling method based on colored stochastic Petri network | |
| CN110531963A (en) | A kind of industrial software system action model restoring method based on data | |
| CN112905997B (en) | Method, device and system for detecting poisoning attack facing deep learning model | |
| CN116610092A (en) | Method and system for vehicle analysis | |
| CN110455512B (en) | Rotary mechanical multi-integration fault diagnosis method based on depth self-encoder DAE | |
| CN110262942A (en) | A kind of log analysis method and device | |
| CN114139475A (en) | Chip verification method, system, device and storage medium | |
| CN109656818A (en) | A kind of denseness system failure prediction method | |
| CN112949711B (en) | Neural network model multiplexing training method and device for software defined satellites | |
| CN117155706B (en) | Network abnormal behavior detection method and system | |
| CN116383503B (en) | Knowledge tracking method and system based on countermeasure learning and sequence recommendation | |
| CN101487876A (en) | Optimization method and apparatus for verification vectors | |
| CN102697491A (en) | Identification method and system of characteristic waveform of electrocardiogram | |
| CN114743590A (en) | Drug-target affinity prediction system based on graph convolution neural network, computer device and storage medium | |
| CN112466401A (en) | Method and device for analyzing multiple types of data by utilizing artificial intelligence AI model group | |
| CN110673843B (en) | Software module behavior state machine restoration method based on data | |
| CN111047011B (en) | Scene variable automatic deep mining engine system based on machine learning model | |
| Ali et al. | Character recognition by implementing FPGA-based artificial neural network | |
| CN112132269A (en) | Model processing method, device, equipment and storage medium |
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 |