CN108919672A - A kind of implementation method of complex industrial control system - Google Patents
A kind of implementation method of complex industrial control system Download PDFInfo
- Publication number
- CN108919672A CN108919672A CN201810770780.6A CN201810770780A CN108919672A CN 108919672 A CN108919672 A CN 108919672A CN 201810770780 A CN201810770780 A CN 201810770780A CN 108919672 A CN108919672 A CN 108919672A
- Authority
- CN
- China
- Prior art keywords
- event
- meta
- model
- physical resource
- function
- 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
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B17/00—Systems involving the use of models or simulators of said systems
- G05B17/02—Systems involving the use of models or simulators of said systems electric
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention discloses a kind of implementation methods of complex industrial control system, belong to technical field of industrial control.The method includes:The constraint relationship of definition system and physical resource;According to each function of system, corresponding each meta-model containing event is established;The trigger condition of event and collaboration state in descriptor metamodel;When a triggering condition is met, the constraint relationship and feedback validation result verifying the collaboration state of corresponding event and being related to.In the present invention, the realization of system function is carried out based on event-driven, avoids the problem of model conversion is brought in the realization of current complex industrial control system, and improve system performance;Simultaneously, in realization early period of system, comprehensively consider the deployment of resource and efficiently utilizes, and the system of combining form is verified in the operation of system, greatly reduce the number of emulation and test, without adjusting coding repeatedly, the consumption of human and material resources, financial resources is reduced, and improve the reliability and safety of system.
Description
Technical field
The present invention relates to technical field of industrial control more particularly to a kind of implementation methods of complex industrial control system.
Background technique
With industry 4.0, internet+etc. series of concepts proposition, industrial equipment, information system, people, data one
Change, intelligence will become industrial expansion trend of new generation.Complex industrial control system is in the status of industry " control brain ",
It is widely used, field for being related to national economy such as electric power, water conservancy, chemical industry, rail traffic more than 80% etc. is required by multiple
Miscellaneous industrial control system realizes automated job.
Complicated industrial control system and common computer system are different, it has following characteristics:One, complicated industrial control
System distribution is wider, and terminal device degree of intelligence is lower;Two, complex industrial control system structure is generally longitudinal integrated, has
One main control device and multiple terminal devices;Three, the information transmitted in complex industrial control system is often four remote signalling breath, and master control is set
Standby to influence each other with terminal device, bring safety problem is also increasingly complex.As it can be seen that traditional complex industrial control system needs
Develop to novel, intelligentized, high safety, highly reliable complex industrial control system.However, the intelligence of complicated industrial control system
Energyization can not accomplish in one move, should be from the basic theory of system research and development and technology from the perspective of systems life cycle
Upgrading is carried out, take the lead in the intelligence for realizing R&D process, improves production efficiency.And to guarantee the Gao An of Complex Industrial Systems
Full property and high reliability, then need to solve the safety of system itself and the safety problem of system boundary simultaneously.Currently, industry control
The solution of system safety problem processed is mainly gathered in security boundary and network monitor, should enhance industrial control system itself first
The safety of system complete period exploitation and controllable is accomplished in safety, then sophisticated systems peripheral environment again, be truly realized " Gu, every,
Prison ".
Furthermore current industrial control system is researched and developed using the method for model-driven, and basic thought is from higher level
It is secondary abstract, to carry out system function modeling, and it is code by model conversion, partly or entirely realizes development of automation.Model drives
It is also certain tired how to bring the executable code that system modelling result is converted to corresponding platform while dynamic method multiplicity
It is difficult.For this purpose, part researcher proposes first to be converted to Platform Independent Model into Platform Specific Model regeneration code, and to model
Conversion method expands a series of researchs.No matter any model conversion method is used, during all not can avoid model conversion
The problem of bringing includes how to realize the conversion between different expression-form models, how to guarantee the consistency etc. of two kinds of models.Mould
Type drives development late stage, is consistent to guarantee to realize with demand, and research staff needs binding model and specific deployment respectively to object
Reason equipment is encoded, and after multiple emulation and test, adjustment is encoded repeatedly.Meanwhile there is also Test drivers for such case
Development approach in, need to consume a large amount of time, take a large amount of human and material resources, financial resources, project cost is higher.
As it can be seen that how effectively to realize complex industrial control system and its research significance is still very important.
Summary of the invention
To solve the deficiencies in the prior art, the present invention provides a kind of implementation method of complex industrial control system, including:
The constraint relationship of definition system and physical resource;
According to each function of the system, corresponding each meta-model containing event is established;
The trigger condition of event and collaboration state in the meta-model are described;
When meeting the trigger condition, the constraint relationship and feedback validation verifying the collaboration state of corresponding event and be related to
As a result.
Optionally, the constraint relationship of the definition system and physical resource, specially:By the way of formal definitions,
The constraint relationship of definition system and physical resource.
Optionally, described by the way of formal definitions, the constraint relationship of system and physical resource is defined, including:
Abstract definition is carried out to the physical resource in system;
Abstract definition is carried out to the process resource for having processing function in the system;
The physical resource of abstract definition is assigned in the process resource of abstract definition, the pact of system and physical resource is obtained
Beam relationship.
Optionally, each function according to the system establishes corresponding each meta-model containing event, including:
For each function of the system, establishes corresponding one or more events and obtain event sets, by the thing
Meta-model of the part set as corresponding function, and define the uniform external interface of each meta-model.
Optionally, the method also includes:Data interaction is carried out by the same external interface between each meta-model.
Optionally, described to describe the trigger condition of event in the meta-model and cooperate with state, including:
Trigger condition is added for each event in the meta-model;
Definition is by communication pattern, the method for synchronization and the cooperative mode etc. between each event of coordinated management thread management.
Optionally, the collaboration state for verifying corresponding event and the constraint relationship being related to, specially:It is tested using logic
Card, and/or timing verification, and/or combined authentication, and/or the verification mode for interrupting verifying verify the collaboration shape of corresponding event
The constraint relationship that the transition relationship and the corresponding event that state, the collaboration state generate are related to.
Optionally, when the verification result is abnormal feedback sequence, this method further includes:According to the abnormal feedback sequence
Column formulate security mechanism, maintaining system safety.
The advantage of the invention is that:
Method in the present invention, the independence based on platform carries out resource constraint definition, and constructs and contain event
Meta-model describes each function of system, communication between event, same by the triggering to event based on event-driven
Step, collaboration etc. carry out coordinated management, so that each event in meta-model triggering according to target requirement without any confusion executes, with reality
Existing system function not only avoids the problem of model conversion is brought in the realization of current complex industrial control system, and improves
The overall calculation ability of system, data processing rate etc.;Meanwhile in realization early period of system, the deployment of resource is comprehensively considered
It is utilized with efficient, and the system of combining form is verified in the operation of system, greatly reduces the number of emulation and test,
Without adjusting coding repeatedly, the consumption of human and material resources, financial resources is reduced, while improving the reliability and safety of system, it is right
It is of great significance and prospect in complicated Industry Control.
Detailed description of the invention
By reading the following detailed description of the preferred embodiment, various other advantages and benefits are common for this field
Technical staff will become clear.The drawings are only for the purpose of illustrating a preferred embodiment, and is not considered as to the present invention
Limitation.And throughout the drawings, the same reference numbers will be used to refer to the same parts.In the accompanying drawings:
Attached drawing 1 is a kind of implementation method flow chart of complex industrial control system provided by the invention;
Attached drawing 2 is a kind of complex industrial control system module composition block diagram provided by the invention;
Attached drawing 3 is the data interaction schematic diagram in a kind of complex industrial control system provided by the invention between module.
Specific embodiment
The illustrative embodiments of the disclosure are more fully described below with reference to accompanying drawings.Although showing this public affairs in attached drawing
The illustrative embodiments opened, it being understood, however, that may be realized in various forms the disclosure without the reality that should be illustrated here
The mode of applying is limited.It is to be able to thoroughly understand the disclosure on the contrary, providing these embodiments, and can be by this public affairs
The range opened is fully disclosed to those skilled in the art.
Embodiment one
Embodiment according to the present invention provides a kind of implementation method of complex industrial control system, as shown in Figure 1, packet
It includes:
Step 101:The constraint relationship of definition system and physical resource;
Wherein, physical resource is specially:All actual resources for being scheduled and using and abstract resource in system, such as
Sensor, GPS (Global Positioning System, global positioning system), network protocol etc..
Specifically, defining the constraint relationship of system and physical resource by the way of formal definitions.
More specifically, step 101 includes:
Step 101-1:Abstract definition is carried out to the physical resource in system;
Specifically, ignoring the platform of physical resource in system, abstract definition is carried out to physical resource, it is unrelated to form platform
Object set.
Step 101-2:Abstract definition is carried out to the process resource for having processing function in system;
Wherein, process resource is, for example, computer, processor, dedicated embedded chip, the control block with computing capability
Deng.
Step 101-3:The physical resource of abstract definition is assigned in the process resource of abstract definition, system and object are obtained
Manage the constraint relationship of resource.
Wherein, the constraint relationship includes but is not limited to scheduling of the system to physical resource, administrative relationships.
In Industry Control, since there is differences between platform, and this platform-neutral can be brought to whole system
It is potential to influence.Thus, in the present invention, according to the function of industrial control program, in realization early period of system, design reasonable object
Resource deployment is managed, the realization of function is carried out further according to deployment scenario, do not only reached the optimization of physical resource and is efficiently utilized;And
And Multi simulation running and the test in later period are avoided, without adjustment coding repeatedly, reduce the consumption of human and material resources and financial resources.
Step 102:According to each function of system, corresponding each meta-model containing event is established;
Specifically, each function for the system of being directed to, establishes corresponding one or more events and obtains event sets, will obtain
Meta-model of the event sets as corresponding function, and define the uniform external interface of each meta-model;
Wherein, each function of system generally includes multiple subfunctions, and the corresponding event of each subfunction, thus,
It is not only mutually indepedent between event but also interrelated;For example, Intelligent housing function includes:Household promoter function, household are closed
Subfunction, current management subfunction, voltage management subfunction etc. are closed, it is phase between each event that each function, which corresponds to an event,
It is mutually independent to execute respective function, and connect each other and realize Intelligent housing function.
Angle corresponding, that the meta-model in the present invention is triggered from event describes each function of system, such as floating-point fortune
Calculation, scheduling of resource, memory management etc.;Meta-model is the basis of composition system.
Embodiment according to the present invention carries out data interaction by the uniform external interface of definition between each meta-model.
It is noted that the execution sequence of step 101 and step 102 can exchange in the present invention, can also hold simultaneously
Row, can sets itself according to demand.
Step 103:The trigger condition of event and collaboration state in each meta-model established are described;
Specifically, adding trigger condition for each event in meta-model;And it defines by each event of coordinated management thread management
Between communication pattern, the method for synchronization and cooperative mode etc..
Complication system in the present invention is made of multiple meta-models, and each meta-model is an event sets, and each event
Between it is mutually indepedent, have specific function;Therefore, cooperating between different event is that they are able to solve complication system
The guarantee of functional requirement.In the present invention, by giving each event addition trigger condition, only the event ability when trigger condition meets
It can run, the entanglement of event effectively be avoided, so that execution efficiency is higher.Meanwhile by the communication, same between event
Step, conspiracy relation etc. carry out coordinated management, so that each event in meta-model triggering according to target requirement without any confusion executes,
To improve overall calculation ability, data processing rate of system etc., it is ensured that the high speed of system is effectively run.
Step 104:When meeting the trigger condition of description, the collaboration state of the corresponding event of verifying and the constraint relationship being related to
And feedback validation result.
Specifically, being tested when meeting the trigger condition of description using logic checking, and/or timing verification, and/or combination
Card, and/or the verification mode for interrupting verifying etc., verify the collaboration state of corresponding event, the transition relationship of collaboration state generation and
The constraint relationship etc. that corresponding event is related to.
Currently, all there is safety management functions in any industrial control system, and safety management is then in complication system
Seem it is more arduous with it is difficult.Traditional exception throws and redundancy scheme can only solve the problems, such as it is conventional, in complication system
Existing uncertain problem cannot then play enough effects.System is thus guaranteed using system verification mode in the present invention
Safety and reliability.Preferably, in the present invention, system verifying includes logic checking, timing verification, combined authentication and interruption
The verification modes such as verifying.
Wherein, whether logic checking, the specific event verified in meta-model meet the needs of complication system, are by can
Analysis is executed to complete.In the verification, most of security attributes of real-time system and amount of activated it can pass through accessibility
Algorithm determines, therefore, it is determined that whether the event in meta-model meets the needs of complication system.
Timing verification is used to describe the rule of the performance and reasoning proposition that limit about the time and any system of symbolism
System, is mainly used for formal verification.In the present invention, timing verification, for analyzing the sequential relationship between verifying event and event, from
And detection system whether the sequential logic of meet demand.
Since system is there are different meta-models, meta-model includes different event again.The collaborative processes of these events need
Guarantee reliability;By combined authentication in the present invention, is constantly detected in collaborative processes, constantly verify whether exist
Operation exception ensures the reliability of event collaborative processes so as to rapidly find out error reason.
Interruption is a pith of real-time system, and when there is demand, it temporarily ceases processor and works as
The program for going to execute processing new situation is transferred in the execution of preceding program.However, interrupting the randomness generated and uncertain meeting to system
Memory safety and time safety etc. generate no small hidden danger.In the present invention, interruption verifying is all carried out to each interruption,
To ensure to generate deadlock, infinite recursion etc. is abnormal, thus maintaining system safety.
Further, embodiment according to the present invention, when verification result is that verifying is abnormal, this method further includes:It is raw
Security mechanism, maintaining system safety are formulated at abnormal feedback sequence, and according to abnormal feedback sequence.
In the present invention, in system operation, is constantly verified by the collaborative processes etc. to event, effectively avoided
It is abnormal that system generates deadlock, infinite recursion etc.;Simultaneously when verifying occurs abnormal, by generating abnormal feedback sequence, not only
Security mechanism can be formulated according to the sequence, maintaining system safety further can also be recorded and be divided to system function
Analysis, improves the reliability and stability of system.
Embodiment two
Embodiment according to the present invention provides a kind of complex industrial control system, as shown in Fig. 2, including:
Resource constraint module 201, for defining the constraint relationship of system and physical resource;
Meta-model creation module 202 establishes corresponding each meta-model containing event for each function according to system;
Event triggers constraints module 203, the trigger condition and collaboration state for event in descriptor metamodel;
Tense authentication module 204 is run, for testing when meeting the trigger condition that event triggering constraints module 203 describes
The constraint relationship that the collaboration state of the corresponding event of card and the resource constraint module 201 being related to define;
Feedback module 205, the verification result for back-to-back running tense authentication module 204.
Wherein, physical resource is specially:All actual resources for being scheduled and using and abstract resource in system, such as
Sensor, GPS (Global Positioning System, global positioning system), network protocol etc..
Embodiment according to the present invention, resource constraint module 201 are specifically used for:It is fixed by the way of formal definitions
The constraint relationship of adopted system and physical resource.
Embodiment according to the present invention, resource constraint module include:First define submodule, second define submodule and
Submodule is constrained, wherein:
First defines submodule, for carrying out abstract definition to the physical resource in system;
Second defines submodule, for carrying out abstract definition to the process resource for having processing function in system;
Submodule is constrained, the physical resource for defining submodule abstract definition by first is assigned to the second definition submodule
In the process resource of abstract definition, the constraint relationship of system and physical resource is obtained.
Wherein, process resource is, for example, computer, processor, dedicated embedded chip, the control block with computing capability
Deng;The constraint relationship includes scheduling, administrative relationships etc. of the system to physical resource.
Embodiment according to the present invention, first, which defines submodule, is specifically used for:Ignore the platform of physical resource in system
Property, abstract definition is carried out to physical resource, forms platform-independent object set.
In industrial control system, since there is differences between platform, and this platform-neutral can give whole system
Bring potential influence.Thus, in the present invention, according to the function of industrial control program, in realization early period of system, design is reasonable
Physical resource deployment, further according to deployment scenario carry out system function realization, do not only reached optimization and the height of physical resource
Effect utilizes;And Multi simulation running and the test in later period are avoided, without adjustment coding repeatedly, reduce human and material resources and financial resources
Consumption.
Embodiment according to the present invention, meta-model creation module 202 include:Setting up submodule and third define submodule
Block, wherein:
Setting up submodule establishes corresponding one or more events and obtains event set for being directed to each function of system
It closes, and using event sets as the meta-model of corresponding function;
Third defines submodule, the uniform external interface of each meta-model for defining setting up submodule foundation.
It is corresponding, the uniform external that submodule defines is defined by third between each meta-model that setting up submodule is established and is connect
Mouth carries out data interaction.
In the present invention, each function of system generally includes multiple subfunctions, and the corresponding event of each subfunction, because
And it is not only mutually indepedent between event but also interrelated;For example, Intelligent housing function includes:Household promoter function, family
It occupies and closes subfunction, current management subfunction, voltage management subfunction etc., the corresponding event of each function, between each event
It is i.e. mutually independent to execute respective function, and connect each other and realize Intelligent housing function.
Angle corresponding, that the meta-model in the present invention is triggered from event describes each function of system, such as floating-point fortune
Calculation, scheduling of resource, memory management etc..
Embodiment according to the present invention, event triggering constraints module 203 include:Add submodule and coordinated management submodule
Block, wherein:
Submodule is added, for adding trigger condition for each event in meta-model;
Coordinated management submodule, for managing communication pattern, the method for synchronization and cooperative mode between each event etc..
Complication system in the present invention contains multiple meta-models, and each meta-model is an event sets, and each event it
Between it is mutually indepedent, have specific function;Therefore, cooperating between different event is that they are able to solve complication system function
The guarantee of energy demand.In the present invention, by adding trigger condition, only the event ability when trigger condition meets to each event
Operation, effectively avoids the entanglement of event, so that execution efficiency is higher.Meanwhile by between event communication, synchronization,
Conspiracy relation etc. carries out coordinated management, so that each event in meta-model triggering according to target requirement without any confusion executes, from
And improve the overall calculation ability of system, data processing rate etc., it is ensured that the high speed of system is effectively run.
Embodiment according to the present invention, operation tense authentication module 204 are specifically used for:When event triggers constraints module
When the trigger condition of 203 descriptions meets, tested using logic checking, and/or timing verification, and/or combined authentication, and/or interruption
The verification mode of card verifies the pact that the collaboration state of corresponding event, the transition relationship that collaboration state generates and corresponding event are related to
Beam relationship.
Currently, all there is safety management functions in any industrial control system, and safety management is then in complication system
Seem it is more arduous with it is difficult.Traditional exception throws and redundancy scheme can only solve the problems, such as it is conventional, in complication system
Existing uncertain problem cannot then play enough effects.Thus the operation tense authentication module 204 in the present invention uses
System verification mode guarantees the safety and reliability of system.Preferably, the present invention in, system verifying include logic checking,
The verification modes such as timing verification, combined authentication and interruption verifying.
Embodiment according to the present invention, feedback module are also used to:When the verification result of feedback is abnormal feedback sequence,
Security mechanism, maintaining system safety are formulated according to abnormal feedback sequence.
In the present invention, in system operation, is constantly verified by the collaborative processes etc. to event, effectively avoided
It is abnormal that system generates deadlock, infinite recursion etc.;Simultaneously when verifying occurs abnormal, by generating abnormal feedback sequence, not only
Security mechanism can be formulated according to the sequence, maintaining system safety further can also be recorded and be divided to system function
Analysis, improves the reliability and stability of system.
Further, the system in this present invention, the interactive relation between each module is as shown in figure 3, meta-model creates
Module 202 creates multiple meta-models containing event, and platform-neutral of the resource constraint module 201 based on physical resource carries out
Formal definitions, obtain multiple the constraint relationships of system and physical resource, which is the triggering of meta-model and event
Intuitive physical resource is provided with collaboration to constitute;Event trigger constraints module 203 define the trigger condition of event, communication module,
The system actions such as communication mode, collaboration state;Run tense authentication module 204 to the communication protocol of each event, terminal, it is linear when
State logic etc. is verified, and by 205 feedback validation result of feedback module.
Method in the present invention, the independence based on platform carries out resource constraint definition, and constructs and contain event
Meta-model describes each function of system, communication between event, same by the triggering to event based on event-driven
Step, collaboration etc. carry out coordinated management, so that each event in meta-model triggering according to target requirement without any confusion executes, with reality
Existing system function not only avoids the problem of model conversion is brought in the realization of current complex industrial control system, and improves
The overall calculation ability of system, data processing rate etc.;Meanwhile in realization early period of system, the deployment of resource is comprehensively considered
It is utilized with efficient, and the system of combining form is verified in the operation of system, greatly reduces the number of emulation and test,
Without adjusting coding repeatedly, the consumption of human and material resources, financial resources is reduced, while improving the reliability and safety of system, it is right
It is of great significance and prospect in complicated Industry Control.
The foregoing is only a preferred embodiment of the present invention, but scope of protection of the present invention is not limited thereto,
In the technical scope disclosed by the present invention, any changes or substitutions that can be easily thought of by anyone skilled in the art,
It should be covered by the protection scope of the present invention.Therefore, protection scope of the present invention should be with the protection model of the claim
Subject to enclosing.
Claims (8)
1. a kind of implementation method of complex industrial control system, which is characterized in that including:
The constraint relationship of definition system and physical resource;
According to each function of the system, corresponding each meta-model containing event is established;
The trigger condition of event and collaboration state in the meta-model are described;
When meeting the trigger condition, the constraint relationship and feedback validation knot verifying the collaboration state of corresponding event and be related to
Fruit.
2. the method according to claim 1, wherein the constraint relationship of the definition system and physical resource, tool
Body is:By the way of formal definitions, the constraint relationship of system and physical resource is defined.
3. according to the method described in claim 2, it is characterized in that, described by the way of formal definitions, define system with
The constraint relationship of physical resource, including:
Abstract definition is carried out to the physical resource in system;
Abstract definition is carried out to the process resource for having processing function in the system;
The physical resource of abstract definition is assigned in the process resource of abstract definition, the constraint for obtaining system and physical resource is closed
System.
4. the method according to claim 1, wherein each function according to the system, is established corresponding
Each meta-model containing event, including:
For each function of the system, establishes corresponding one or more events and obtain event sets, by the event set
Cooperation is the meta-model of corresponding function, and defines the uniform external interface of each meta-model.
5. according to the method described in claim 4, it is characterized in that, the method also includes:By described between each meta-model
Same external interface carries out data interaction.
6. the method according to claim 1, wherein in the description meta-model trigger condition of event and
Collaboration state, specially:
Trigger condition is added for each event in the meta-model;
Definition is by communication pattern, the method for synchronization and the cooperative mode between each event of coordinated management thread management.
7. the method according to claim 1, wherein the collaboration state for verifying corresponding event and the pact being related to
Beam relationship, specially:Using logic checking, and/or timing verification, and/or combined authentication, and/or interrupt the authentication verified
Formula verifies the collaboration state of corresponding event, the transition relationship that the collaboration state generates and the constraint that the corresponding event is related to
Relationship.
8. the method according to claim 1, wherein when the verification result is abnormal feedback sequence, the party
Method further includes:Security mechanism, maintaining system safety are formulated according to the abnormal feedback sequence.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810770780.6A CN108919672A (en) | 2018-07-13 | 2018-07-13 | A kind of implementation method of complex industrial control system |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810770780.6A CN108919672A (en) | 2018-07-13 | 2018-07-13 | A kind of implementation method of complex industrial control system |
Publications (1)
Publication Number | Publication Date |
---|---|
CN108919672A true CN108919672A (en) | 2018-11-30 |
Family
ID=64410132
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201810770780.6A Pending CN108919672A (en) | 2018-07-13 | 2018-07-13 | A kind of implementation method of complex industrial control system |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN108919672A (en) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110531963A (en) * | 2019-08-28 | 2019-12-03 | 上海交通大学 | A kind of industrial software system action model restoring method based on data |
CN112329208A (en) * | 2020-10-16 | 2021-02-05 | 南京航空航天大学 | Method for realizing modeling and verification of multi-clock-constrained collaborative unmanned system |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107229478A (en) * | 2017-06-09 | 2017-10-03 | 华东师范大学 | A kind of task distribution modeling method of credible flight control system co-development |
-
2018
- 2018-07-13 CN CN201810770780.6A patent/CN108919672A/en active Pending
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107229478A (en) * | 2017-06-09 | 2017-10-03 | 华东师范大学 | A kind of task distribution modeling method of credible flight control system co-development |
Non-Patent Citations (1)
Title |
---|
JU LI: "Decomposition and collaboration of industrial control system with resource constraints", 《2017 INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS》 * |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110531963A (en) * | 2019-08-28 | 2019-12-03 | 上海交通大学 | A kind of industrial software system action model restoring method based on data |
CN112329208A (en) * | 2020-10-16 | 2021-02-05 | 南京航空航天大学 | Method for realizing modeling and verification of multi-clock-constrained collaborative unmanned system |
CN112329208B (en) * | 2020-10-16 | 2024-05-17 | 南京航空航天大学 | Modeling and verification implementation method of multi-clock constraint cooperative unmanned system |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Sehr et al. | Programmable logic controllers in the context of industry 4.0 | |
Henzinger et al. | The discipline of embedded systems design | |
Alur et al. | Hierarchical modeling and analysis of embedded systems | |
CN111767031A (en) | Nuclear power industry internet experiment bed based on emulation | |
CN102722601A (en) | Implementation method of formal semantic integration framework for model transformation of numerical control system | |
CN108919672A (en) | A kind of implementation method of complex industrial control system | |
Adegoke et al. | A unifying framework for specifying DEVS parallel and distributed simulation architectures | |
CN103020382A (en) | BOM-based multi-instance polymerization simulation modeling method | |
CN109143876A (en) | A kind of complex industrial control system | |
Chen et al. | Computing for power system operation and planning: Then, now, and the future | |
Thierry-Mieg et al. | Compositional analysis of discrete time petri nets | |
Syriani et al. | Programmed graph rewriting with DEVS | |
Yoong et al. | Efficient implementation of IEC 61499 function blocks | |
Qian et al. | High performance computing development in china: A brief review and perspectives | |
Vassev et al. | The ASSL approach to specifying self‐managing embedded systems | |
Sifakis | Embedded Systems Design- Scientific Challenges and Work Directions | |
Zhang et al. | Transforming RoboSim Models into UPPAAL | |
CN103049301A (en) | Multi-instance aggregation simulation modeling system on basis of BOM (basic object model) | |
Maturana et al. | Simulation-based environment for modeling distributed agents for smart grid energy management | |
Tan | Model-based self-adaptive embedded programs with temporal logic specifications | |
Dong et al. | Platform software scheme based on SoftPLC technology for new generation of autonomous and controllable protection and measuring-control devices | |
Zhang et al. | Integrating web services technology to HLA-based multidisciplinary collaborative simulation system for complex product development | |
Vaandrager | Does it Pay Off? Model-Based Verification and Validation of Embedded Systems! | |
Su et al. | Modeling and verification of component-based systems with data passing using bip | |
CN114185280B (en) | Energy storage power station semi-physical real-time simulation architecture construction method based on embedded system |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20181130 |
|
RJ01 | Rejection of invention patent application after publication |