CN113315647A - Network simulation method and device - Google Patents

Network simulation method and device Download PDF

Info

Publication number
CN113315647A
CN113315647A CN202010962089.5A CN202010962089A CN113315647A CN 113315647 A CN113315647 A CN 113315647A CN 202010962089 A CN202010962089 A CN 202010962089A CN 113315647 A CN113315647 A CN 113315647A
Authority
CN
China
Prior art keywords
simulation
network
equipment
preset
configuration information
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
Application number
CN202010962089.5A
Other languages
Chinese (zh)
Inventor
苏玮
林涛
吴功伟
金程
林春焕
程飙
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Alibaba Group Holding Ltd
Original Assignee
Alibaba Group Holding Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Alibaba Group Holding Ltd filed Critical Alibaba Group Holding Ltd
Priority to CN202010962089.5A priority Critical patent/CN113315647A/en
Publication of CN113315647A publication Critical patent/CN113315647A/en
Pending legal-status Critical Current

Links

Images

Classifications

    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
    • H04L41/14Network analysis or design
    • H04L41/145Network analysis or design involving simulating, designing, planning or modelling of a network
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L69/00Network arrangements, protocols or services independent of the application payload and not provided for in the other groups of this subclass
    • H04L69/03Protocol definition or specification 
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L69/00Network arrangements, protocols or services independent of the application payload and not provided for in the other groups of this subclass
    • H04L69/22Parsing or analysis of headers

Abstract

The embodiment of the application provides a network simulation method and a device, wherein the method comprises the following steps: acquiring a protocol model; extracting characteristic information of preset simulated equipment according to the protocol model; and acquiring a substitute simulation device, and performing network simulation according to the substitute simulation device and the characteristic information. The simulated equipment of different manufacturers is unified and standardized through a protocol model generated based on a network protocol, logical equivalence of the simulated equipment can be completed through extracted characteristic information of the simulated equipment and acquired alternative simulation equipment, the range of simulation application is expanded, and simulation of the simulated equipment can be realized under the conditions of no mirror image and a complex system.

Description

Network simulation method and device
Technical Field
The present application relates to the field of communications technologies, and in particular, to a network simulation method and a network simulation apparatus.
Background
Cloud computing is one of distributed computing technologies, and means that a huge data computing processing program is decomposed into countless small programs through a network cloud, and then the small programs are processed and analyzed through a system consisting of a plurality of servers to obtain results and return the results to a user. The rise of cloud computing makes networks a basic resource, and makes the networks more and more concentrated in cloud computing service providers, however, the operation and maintenance of an ultra-large network brings challenges to the cloud computing service providers.
Firstly, as the complexity of the network increases, the new architecture is infinite, but the old architecture is not eliminated, so that the phenomenon that the new architecture and the old architecture coexist is caused; in order to reduce cost and single risk, the phenomenon of coexistence of multiple manufacturers and multiple OSs is caused; secondly, due to the wide use of network automation tools, higher requirements are provided for the operation safety while the efficiency of network operation and maintenance is improved; thirdly, the rise of the chaotic engineering makes the fault drilling possible, but the fault drilling of the network is very expensive and dangerous in the production environment due to its particularity.
The more widely network simulation is used by network manufacturers and network operators, and becomes an important tool for network development and architecture operation and maintenance, wherein the important tool for network operation and maintenance may include network formalization verification and simulation means. One important condition for simulation fidelity is the gap between the simulated device and the real device, which requires the simulated device and the real device to run the same OS and the same software. However, in some cases, such as where a manufacturer cannot provide a simulation image, or where a complex system is made up of several systems, this limits the range of applications for which the simulation can be used.
Disclosure of Invention
In view of the above problems, embodiments of the present application are proposed to provide a network simulation method and a corresponding network simulation apparatus that overcome or at least partially solve the above problems.
In order to solve the above problem, an embodiment of the present application discloses a network simulation method, where the method includes:
acquiring a protocol model; the protocol model is generated according to a network protocol used by the network equipment;
extracting characteristic information of preset simulated equipment according to the protocol model;
and acquiring a substitute simulation device, and performing network simulation according to the substitute simulation device and the characteristic information.
Optionally, the protocol model is generated by:
acquiring production configuration information of the preset simulated equipment;
analyzing the production configuration information to obtain network protocol characteristics, and generating a protocol model according to the network protocol characteristics.
Optionally, the extracting, according to the protocol model, feature information of a preset simulated device includes:
extracting the production configuration information of the simulated equipment through the protocol model to obtain characteristic information aiming at the simulated equipment; the characteristic information is information related to the network protocol in the production configuration information.
Optionally, the obtaining of the substitute simulation device and performing network simulation according to the substitute simulation device and the feature information include:
generating configuration information of the alternative simulation equipment according to the characteristic information;
loading configuration information of the alternative simulation device to the alternative simulation device;
and running a preset change scheme to finish the simulation of the preset simulated equipment.
Optionally, the generating configuration information for the alternative simulation device according to the feature information of the preset simulated device includes:
acquiring a configuration template of the alternative simulation equipment;
and loading the characteristic information of the preset simulated equipment to a configuration template of the alternative simulation equipment to obtain the configuration information aiming at the simulation alternative equipment.
The embodiment of the application also discloses a network simulation method, which comprises the following steps:
extracting characteristic information of preset simulated equipment according to a preset protocol model;
and performing network simulation according to the characteristic information of the preset alternative simulation equipment and the preset simulated equipment.
Optionally, the performing network simulation according to the feature information of the preset substitute simulation device and the preset simulated device includes:
obtaining configuration information aiming at the preset simulation alternative equipment according to the characteristic information of the preset simulated equipment;
loading the configuration information of the preset alternative simulation equipment to the preset alternative simulation equipment;
acquiring a simulation network for connecting preset simulation equipment and the preset alternative simulation equipment, and starting the simulation network so as to realize network simulation aiming at the preset simulated equipment through the simulation network.
The embodiment of the application also discloses a network simulation device, which comprises:
the protocol model acquisition module is used for acquiring a protocol model; the protocol model is generated according to a network protocol used by the network equipment;
the characteristic information extraction module is used for extracting the characteristic information of the preset simulated equipment according to the protocol model;
and the network simulation module is used for acquiring the alternative simulation equipment and carrying out network simulation according to the alternative simulation equipment and the characteristic information.
Optionally, the apparatus further comprises:
the production configuration information acquisition module is used for acquiring the production configuration information of the preset simulated equipment;
and the protocol model generation module is used for analyzing the production configuration information to obtain network protocol characteristics and generating a protocol model according to the network protocol characteristics.
Optionally, the feature information extraction module includes:
the characteristic information extraction submodule is used for extracting the production configuration information of the simulated equipment through the protocol model to obtain the characteristic information aiming at the simulated equipment; the characteristic information is information related to the network protocol in the production configuration information.
Optionally, the network simulation module includes:
the configuration information generation submodule is used for generating configuration information of the alternative simulation equipment according to the characteristic information;
the configuration information loading submodule is used for loading the configuration information of the alternative simulation equipment to the alternative simulation equipment;
and the change scheme running submodule is used for running a preset change scheme so as to complete the simulation of the preset simulated equipment.
Optionally, the configuration information generation sub-module includes:
a configuration template obtaining unit, configured to obtain a configuration template of the alternative simulation device;
and the configuration information unit is used for generating a configuration template for loading the characteristic information of the preset simulated equipment to the alternative simulation equipment to obtain the configuration information aiming at the simulation alternative equipment.
The embodiment of the application also discloses a network simulation device, which comprises:
the characteristic information extraction module is used for extracting the characteristic information of the preset simulated equipment;
and the network simulation module is used for carrying out network simulation according to the characteristic information of the preset substituted simulation equipment and the preset simulated equipment.
Optionally, the network simulation module includes:
the configuration information generation submodule is used for obtaining configuration information aiming at the preset simulation alternative equipment according to the characteristic information of the preset simulated equipment;
the configuration information loading submodule is used for loading the configuration information of the preset alternative simulation equipment to the preset alternative simulation equipment;
and the network simulation submodule is used for acquiring a simulation network for connecting preset simulation equipment and the preset substitute simulation equipment and starting the simulation network so as to realize network simulation aiming at the preset simulated equipment through the simulation network.
The embodiment of the application also discloses an electronic device, which comprises: a processor, a memory and a computer program stored on the memory and capable of running on the processor, the computer program when executed by the processor implementing the steps of any of the network simulation methods.
The embodiment of the application also discloses a computer readable storage medium, wherein a computer program is stored on the computer readable storage medium, and when the computer program is executed by a processor, the steps of any network simulation method are realized.
The embodiment of the application has the following advantages:
in the embodiment of the application, the protocol model generated based on the network protocol of the preset simulated device may be used to extract the feature information of the preset simulated device according to the generated protocol model, and obtain the substitute simulation device adapted to the feature information of the preset simulated device, so as to perform network simulation according to the feature information of the substitute simulation device and the simulated device. The simulated equipment of different manufacturers is unified and standardized through a protocol model generated based on a network protocol, logical equivalence of the simulated equipment can be completed through extracted characteristic information of the simulated equipment and acquired alternative simulation equipment, the range of simulation application is expanded, and simulation of the simulated equipment can be realized under the conditions of no mirror image and a complex system.
Drawings
FIG. 1 is a flow chart of the steps of one embodiment of a network simulation method of the present application;
FIG. 2 is a schematic flow chart of network simulation in the embodiment of the present application;
FIG. 3 is a flow chart of steps in another network simulation method embodiment of the present application;
FIG. 4 is a schematic diagram of a scenario of a network simulation method in an embodiment of the present application;
FIG. 5 is a block diagram of a network simulation apparatus according to an embodiment of the present application;
FIG. 6 is a block diagram of another embodiment of a network simulation apparatus according to the present application.
Detailed Description
In order to make the aforementioned objects, features and advantages of the present application more comprehensible, the present application is described in further detail with reference to the accompanying drawings and the detailed description.
From the perspective of network simulation, network simulation is limited in that a manufacturer can provide a simulation image for simulating the manufacturer device (i.e., a simulated device), and if no image exists, the simulated device cannot be simulated, which limits the range that the simulation can cover.
In the related art, the simulated device can be replaced by Formal Verification (Formal Verification), which is implemented by mathematically proving that the system is defect-free. Specifically, the first step is to describe the problem to be solved clearly by using a mathematical language, then define the supposed state and the supposed state of the system at different time by establishing a mathematical model for the problem to be solved, and use the mathematical rules to define the design and implementation of the system.
However, the formal verification of pure software may have the following disadvantages:
first, the problems caused by the manufacturer's device characteristics cannot be verified. Since formal verification replaces equipment with a uniform model, problems caused by equipment characteristics cannot be reflected. For example, the manufacturer a processes remove-private-as until the first one is not the private-as, and the manufacturer B processes remove the private-as until the first one is not the private-as. Formal verification can of course also improve its accuracy by making revisions to the manufacturer's characteristics, but such revisions are time consuming and laborious: revising needs to be done according to different manufacturers and different versions, so that the formal verification accuracy is reduced immediately after each equipment upgrade, and the accuracy is improved by continuous revising;
second, existing formal verification requires a full amount of configuration to verify. Incremental configuration is generally issued by network change, and the existing method cannot accurately generate model change required by formal verification from the incremental configuration, that is, no configuration analysis tool can accurately generate the full configuration of each manufacturer through the incremental configuration and the original configuration. Therefore, the full configuration needs to be generated manually, which provides an obstacle for full-automatic verification;
thirdly, formal verification requires modeling each protocol used by the network and establishing rules for each model, and the establishment of each rule also needs to consider the difference between different characteristics of various manufacturers, and the introduction of a new protocol requires the addition of models and rules;
fourth, formal verification can only verify the control plane, but cannot verify some characteristics of the data plane, such as ACL, QoS, ECMP, etc.
Based on the above disadvantage of formal verification of pure software, one of the core ideas of the present application is to provide a network simulation technique between formal verification of pure software and simulation, namely, an hplv (hybrid Protocol Logical verification) technique, which, like the formal verification, can establish a model of an object by abstracting the characteristics of the object to be simulated, and inject the model into the object capable of being simulated, thereby achieving the effect of equivalent replacement. The technology has the advantages of formally verifying and reflecting the characteristics of things, and also has the advantage of intuitive simulation.
The network simulation method and device of the present application are described below with specific embodiments.
Referring to fig. 1, a flowchart illustrating steps of an embodiment of a network method of the present application is shown, which may specifically include the following steps:
step 101, acquiring a protocol model; the protocol model is generated according to a network protocol used by the network equipment;
in an embodiment of the present application, a protocol model generated according to a network protocol used by a network device may be obtained by performing network simulation on a simulated network, so as to extract feature information of a simulated device through the protocol model.
Network simulation may refer to extracting important characteristics from real devices and performing equivalent replacement by taking some substitute. In network simulation, there may be two cases for selecting the substitute, the first case is that there is no substitute, for example, if it is necessary to simulate the switch of a vendor a, if the vendor a does not have the image of the switch OS and software, it is impossible to perform replacement and simulation; the second case is that the change can be performed by a formal verification method of pure software, and at this time, the state of the network device after the configuration change, such as the propagation path of BGP, needs to be calculated by software through modeling the behavior of the network device, so as to verify the expectation of a network configuration change.
However, in the formal verification of pure software, the model established for the behavior of the network device needs to establish not only a model of a protocol for the network protocol of the network device, but also a model of a rule for the interaction rule between protocols, that is, multiple models need to be established for each protocol used by the network device and different interaction rules of each protocol, respectively, and it is difficult to easily adjust the models according to the characteristics of devices of different manufacturers.
In a preferred embodiment, the acquired protocol model may be generated by acquiring production configuration information of a preset device to be simulated, analyzing the production configuration information to obtain network protocol characteristics, and generating the protocol model according to the network protocol characteristics, that is, the protocol model generated in the embodiment of the present application is different from the model established in the formal verification, and the protocol model only needs to establish a topology and protocol model for the network protocol used by the network device, and does not need to establish a regular model of interaction between protocols.
The obtained protocol model is determined according to a protocol, and the protocol model can unify and standardize the characteristic differences of different manufacturers for the simulated equipment.
In practical applications, the obtaining source of the production configuration information required for generating the protocol model may be specified by a user, and a general obtaining source may be the production configuration stored in a database (e.g., OSS), that is, the required production configuration may be obtained through a data center owned by the user.
102, extracting characteristic information of preset simulated equipment according to the protocol model;
in an embodiment of the present application, after obtaining a protocol model generated according to a network protocol used by a network device, the protocol model may be used to extract feature information of a preset simulated device, so as to search or obtain an adapted substitute simulation device according to the extracted feature information.
In one embodiment of the present application, step 102 may include the following sub-steps:
substep S11, extracting the production configuration information of the simulated device through the protocol model to obtain feature information of the simulated device; the characteristic information is information related to the network protocol in the production configuration information.
Specifically, after the production configuration information of the simulated device is acquired, not only the network protocol used by the device can be obtained through analysis according to the acquired production configuration information, and the protocol model is generated for the network protocol, but also the production configuration information can be extracted to obtain the feature information of the simulated device, and the extracted feature information can be information related to the network protocol obtained through analysis.
The production configuration information of the emulated device may include a device port, a network protocol (such as BGP, ISIS, OSPF, and Static Route), a routing policy, an ACL, and the like. AS an example, assuming that the network protocol used by the emulated device is the BGP protocol, since configurations for the BGP protocol in different vendors are different, a protocol model may be first generated for the BGP protocol, that is, the BGP configurations of different vendors are abstracted by the generated protocol model, then important characteristics of the BGP configuration, such AS a BGP AS required for describing the BGP, BGP neighbors, an IP and attribute (EBGP/IBGP) of each neighbor, are extracted by the protocol model, and after extracting the characteristics, the role played by the emulated device in the network may be expressed by the characteristics without considering which vendor the emulated device is.
And 103, acquiring a substitute simulation device, and performing network simulation according to the substitute simulation device and the characteristic information.
After the generated protocol model is adopted to extract the characteristic information of the simulated device, a substitute simulation device which replaces the simulated device can be obtained, so that network simulation can be carried out according to the characteristic information of the substitute simulation device and the simulated device.
The substitute simulation device can be used for substituting a simulated device without a mirror image, and the substitute simulation device must have a simulation mirror image, so that the substitute simulation device needs to have the simulation mirror image and also needs to meet the following conditions, for example, the substitute simulation device has sufficient port number, and can provide the port number equivalent to the port number of the original device; the routing protocol used by the substitute simulation equipment is mature and rich, and can cover the protocol used by the simulation equipment; the substitute simulation device occupies less resources (referred to as a CPU or a memory), and can simulate the most devices by using the least servers.
In one embodiment of the present application, step 103 may comprise the following sub-steps:
a substep S21 of generating configuration information of the alternative simulation device according to the characteristic information;
specifically, network simulation is performed according to the acquired feature information of the substitute simulation device and the simulated device, which mainly means that the feature information of the simulated device is loaded into the substitute simulation device, so as to obtain a substitute simulation device which is logically equivalent to the simulated device, and thus, the substitute simulation device with a mirror image is used for performing network simulation instead of the simulated device without a mirror image.
In order to obtain a substitute simulation device having logical equivalence with the simulated device, it is necessary to generate configuration information for the substitute simulation device from the feature information of the simulated device.
In practical application, the feature information of the simulated equipment extracted through the protocol model can be stored as a json file, a configuration template of the substitute simulation equipment can be obtained, and the feature information of the preset simulated equipment is loaded to the configuration template of the substitute simulation equipment to obtain the configuration information of the simulated substitute equipment.
As an example, assuming that an Arista VEOS is used as a substitute simulation device to replace a simulated device, a json file for extracting and storing characteristic information by a protocol model can be obtained first, and then parameters of the json file can be nested into an Arista configuration template to generate the configuration of the Arista VEOS. The parameters of the json file refer to instantiation of the model, and taking BGP AS an example, the parameters in the json file may include BGP AS:15169, neighbor 1 being EBGP, IP address being 10.1.1.1, and the like.
A substep S22 of loading configuration information of the replacement simulation device to the replacement simulation device;
after generating the configuration information of the substitute simulation device according to the feature information of the simulated device, the configuration information of the substitute simulation device may be loaded to the substitute simulation device, as an example, any simulation network for simulation may be selected, the simulation device and the substitute simulation device are generally connected in a networking manner, the selected simulation network may be started after the networking connection is completed, and then the configuration information may be loaded to the simulation network, so as to perform network simulation on the simulated device through the simulation network.
The simulation device may be located in a network simulation system or a network grayscale operation and maintenance system, may refer to a container docker or a virtual machine VM used by the simulation system, and is used to replace a simulated real physical device. The simulation device may be a manufacturer different from the original physical device (i.e., the simulated device), for example, the original manufacturer B may not provide a simulation image for various reasons, and at this time, the simulation may be run instead of the simulation by the simulation image of the manufacturer a, and the configuration of B may be imported only by converting the configuration of B into the configuration of a, and issuing the configuration information of the replacement simulation device is used to implement equivalent replacement of the protocol.
And a substep S23, executing a preset change scheme to complete the simulation of the preset simulated device.
In an embodiment of the present application, after selecting a simulation network and performing networking connection between a replacement simulation device and a simulation device, a preset change scheme may be run to verify logical interaction of multiple protocol layers, that is, verification work required by a user, such as running the change scheme, may be performed in a simulation environment.
As an example, the running change scheme may be a route upgrade scheme, and it is assumed that there is a router device with an old running OS version, and in order to avoid a security risk, the OS of the router device needs to be upgraded. Because a large amount of flow passes through, the flow needs to be led out firstly, after the flow does not exist, the protocol with other equipment is cut off, the safe upgrade can be carried out, and after the upgrade is finished, the protocol connection and the flow guiding need to be established.
It should be noted that the modification scheme may be the whole operation for the route upgrade, or may be an operation of calculating a forwarding table through input device configuration and network topology information, and by simulating a routing protocol, and the like, for any modification plan that needs to be verified or an impact evaluation for various fault scenarios, and the modification scheme may be determined according to the actual situation, which is not limited in the embodiment of the present application.
Specifically, referring to fig. 2, a schematic flow diagram of network simulation in the embodiment of the present application is shown, where a technology adopted by the network simulation is HPLV, and first, production configuration information of a simulated network may be obtained, so as to establish a topology and protocol model through a network protocol in the production configuration information, then, a configuration of a substitute simulation device may be generated according to the protocol model, a simulation device in a network simulation system may be started, a configuration of the substitute simulation device may be issued, and finally, a change scheme may be run, and any change plan may be verified or influences on various fault scenarios may be evaluated. Under the condition that network products are complex, and the capabilities of manufacturers have great differences in virtualization, and some devices do not have simulation images provided by manufacturers, in order to prevent the phenomenon that the whole network simulation project fails due to the loss of the OS images of device manufacturers, a network device model can be abstracted from the non-image manufacturer devices, and then the non-image manufacturer devices are replaced by one device with simulation images and logically equivalent devices, namely, the simulated devices can be equivalently simulated by extracting the characteristics of the simulated devices and finding out alternative simulation devices, and the network gray scale or the coverage ratio of the drilling devices can reach 100% through simulation and HPLV technologies.
If the emulated device has the mirror image, the emulated device may be directly started to verify the change scheme without establishing a protocol model for the emulated device, or performing a process of extracting features of the emulated device according to the protocol model and generating a configuration of the substitute emulation device.
In a preferred embodiment, the above-mentioned HPLV technology may be applied to a network simulation system or a network grayscale operation and maintenance system, and the network simulation system may adopt a cloud-up mode and provide SAAS service, or use a hybrid mode to use a user's own data center to realize HPLV technology commercialization.
In the embodiment of the application, a network simulation technology HPLV between pure software formal verification and simulation is adopted, a protocol model established based on a protocol of network equipment and characteristic information extraction can reflect the characteristics of equipment of different manufacturers to a certain extent, and the HPLV is only used when a simulation mirror image is not available, and the mirror image provided by the manufacturer is mostly used, so that the advantage of high simulation fidelity can be kept.
In the embodiment of the application, for formal verification of pure software, each step of the formal verification needs to provide complete full configuration of equipment, for the HPLV technology between the formal verification of pure software and simulation, a network simulation system of the HPLV technology only needs full configuration at the initial configuration initialization, and subsequent full configuration or incremental configuration can be issued according to the original habit of a network engineer, that is, the requirement of full configuration does not exist.
In the embodiment of the application, for formal verification of pure software, not only a model of a protocol needs to be established, but also a model of rules of interaction between protocols needs to be established, and the HPLV only needs to analyze the configuration to establish the model, namely only the model of the protocol needs to be established, and the model does not need to be established for the rules. For example, for a BGP network with two nodes, the HPLV only needs to establish the topology, BGP model, and the interaction between the protocols is performed by the simulation device; formal verification requires not only the topology and BGP model of the two nodes to be established, but also routing rules, such as a route from node a cannot propagate to node B.
In the embodiment of the present application, the emulation device used in the network emulation system in the HPLV technology is a vendor VM/Docker having a data plane function, which is capable of emulating some characteristics of the data plane to some extent, such as ACL, QOS, ECMP, and the like. When the user carries out scheme verification, the functions of a control plane (routing protocol) and a data plane (ACL, QOS) can be checked, so that the user can operate the simulated network completely according to the operation of the user in a real environment, and a network engineer can operate the simulated network by using the same manual operation in the real network or the same peripheral support system on line no matter the operation is manual operation or automatic operation.
In the embodiment of the application, the protocol model generated based on the network protocol of the preset simulated device may be used to extract the feature information of the preset simulated device according to the generated protocol model, and obtain the substitute simulation device adapted to the feature information of the preset simulated device, so as to perform network simulation according to the feature information of the substitute simulation device and the simulated device. The simulated equipment of different manufacturers is unified and standardized through a protocol model generated based on a network protocol, logical equivalence of the simulated equipment can be completed through extracted characteristic information of the simulated equipment and acquired alternative simulation equipment, the range of simulation application is expanded, and simulation of the simulated equipment can be realized under the conditions of no mirror image and a complex system.
Referring to fig. 3, a flowchart illustrating steps of another embodiment of a network simulation method according to the present application is shown, which may specifically include the following steps:
step 301, extracting feature information of a preset simulated device according to a preset protocol model;
in an embodiment of the application, the feature information of the preset simulated device may be extracted according to a preset protocol model, where the preset protocol model may be a protocol model generated according to a network protocol used by the network device, and specifically, the preset protocol model may be a protocol model that is generated according to network protocol features and does not need to establish rules of inter-protocol interaction and is obtained by analyzing according to production configuration information of the preset simulated device.
And 302, performing network simulation according to the preset alternative simulation equipment and the characteristic information of the preset simulated equipment.
In an embodiment of the present application, a protocol model may be used to extract feature information of a preset simulated device, so as to search or obtain an adapted alternative simulation device according to the extracted feature information, and perform network simulation according to the adapted alternative simulation device and the preset simulation device. .
In one embodiment of the present application, step 302 may include the following sub-steps:
substep S31, obtaining configuration information for the preset simulation alternative device according to the feature information of the preset simulated device;
substep S32, loading configuration information of the preset alternative simulation device to the preset alternative simulation device;
in practical application, the feature information of the preset simulated equipment can be loaded to the configuration template of the preset substitute simulation equipment, after the configuration information for the preset simulation substitute equipment is obtained, the obtained configuration information can be loaded to the preset substitute simulation equipment, and the verification work required by a user in a simulation environment corresponding to a started simulation network is realized after the simulated equipment without a mirror image is replaced by the substitute simulation equipment through any simulation network operation change scheme for connecting the preset simulation equipment and the preset substitute simulation equipment.
And a substep S33, acquiring a simulation network for connecting a preset simulation device and the preset substitute simulation device, and starting the simulation network, so as to implement network simulation for the preset simulated device through the simulation network.
The started simulation network can be any simulation network which can be used for connecting the preset simulation equipment and the preset alternative simulation equipment and completing verification work, or can be a reconstructed simulation network which is used for connecting the preset simulation equipment and the preset alternative simulation equipment and completing verification work, so that the logic interaction of multiple protocol layers is realized by networking the simulation network and the preset simulation equipment and the preset alternative simulation equipment.
In practical application, the process of implementing logical interaction of multiple protocol layers may be to obtain a simulation image of the simulation device and a substitute image of the substitute simulation device, then set a first device virtual sandbox for the simulation device and a second device virtual sandbox for the substitute simulation device according to the simulation image and the substitute image, and then construct a simulation network for connecting the first device virtual sandbox and the second device virtual sandbox.
In an embodiment of the application, in order to perform network simulation and verification of a change plan on a preset simulated device without a mirror image, after an HPLV technology is adopted to equivalently replace the simulated device without the mirror image with a substitute simulation device, the simulation device and the substitute simulation device may be connected with a constructed virtual simulation network through a network simulation system.
Referring to fig. 4, a schematic view of a scenario of a network simulation method in the embodiment of the present application is shown, where the scenario may be a router device that is assumed to have an old OS version, and in order to avoid a security risk, the OS of the router device needs to be upgraded. Because a large amount of flow passes through, the flow needs to be led out firstly, after the flow does not exist, the protocol with other equipment is cut off, the safe upgrade can be carried out, and after the upgrade is finished, the protocol connection and the flow guiding need to be established.
Therein, it can be assumed that the device requiring upgrade is R3 from vendor B, while the vendors of other devices in the network (i.e., R1, R2, and R4) are a, and R3 of vendor B has the image, and the device of vendor a does not have the image. To simulate this change, vendor C with an image may be used to equivalently replace vendor A, and vendor B's image may be used to simulate R3 to create a simulated network identical to the original physical network. That is, the emulated devices may be routers R1, R2, and R4 without mirroring, and the acquired replacement emulated devices may be router devices of vendor C with mirroring.
In a specific implementation, the process of the HPLV may include obtaining production configuration information of R1, R2, R3 and R4, and since manufacturers of R1, R2 and R4 are a and do not have a mirror image, at this time, configurations of simulated devices R1, R2 and R4 may be analyzed, and topology and protocol models of R1, R2 and R4 are established; then parameters of characteristic information can be extracted from the production configuration information of the R1, R2 and R4 through the established protocol model, and the configuration information of a logically equivalent manufacturer C is generated through the protocol model to obtain alternative simulation equipment R1 ', R2 ' and R4 '; at this time, the simulation network composed of the simulation images of the vendor B and the vendor C may be started, and the change plan of the upgrade router may be verified after upgrading the simulation device R3 of the vendor B by checking whether the protocol states before and after upgrading are in accordance with expectations at R1, R2, and R4. The simulation network composed of the simulation images of the manufacturer B and the manufacturer C can realize virtual network connection of the simulation network through a connection technology based on TCP, and can connect the simulation images of the manufacturer B and the manufacturer C according to a general networking.
In the embodiment of the application, the protocol model generated based on the network protocol of the preset simulated device may be used to extract the feature information of the preset simulated device according to the generated protocol model, and obtain the substitute simulation device adapted to the feature information of the preset simulated device, so as to perform network simulation according to the feature information of the substitute simulation device and the simulated device. The simulated equipment of different manufacturers is unified and standardized through a protocol model generated based on a network protocol, logical equivalence of the simulated equipment can be completed through extracted characteristic information of the simulated equipment and acquired alternative simulation equipment, the range of simulation application is expanded, and simulation of the simulated equipment can be realized under the conditions of no mirror image and a complex system.
It should be noted that, for simplicity of description, the method embodiments are described as a series of acts or combination of acts, but those skilled in the art will recognize that the embodiments are not limited by the order of acts described, as some steps may occur in other orders or concurrently depending on the embodiments. Further, those skilled in the art will also appreciate that the embodiments described in the specification are presently preferred and that no particular act is required of the embodiments of the application.
Referring to fig. 5, a block diagram of a network simulation apparatus according to an embodiment of the present application is shown, which may specifically include the following modules:
a production configuration information obtaining module 501, configured to obtain production configuration information of the preset simulated device;
a protocol model generation module 502, configured to analyze the production configuration information to obtain a network protocol feature, and generate a protocol model according to the network protocol feature;
a protocol model obtaining module 503, configured to obtain a protocol model; the protocol model is generated according to a network protocol used by the network equipment;
a feature information extraction module 504, configured to extract feature information of a preset simulated device according to the protocol model;
and a network simulation module 505, configured to obtain a substitute simulation device, and perform network simulation according to the substitute simulation device and the feature information. In one embodiment of the present application, the feature information extraction module 504 may include the following sub-modules:
the characteristic information extraction submodule is used for extracting the production configuration information of the simulated equipment through the protocol model to obtain the characteristic information aiming at the simulated equipment; the characteristic information is information related to the network protocol in the production configuration information.
In one embodiment of the present application, the network simulation module 505 may include the following sub-modules:
the configuration information generation submodule is used for generating configuration information of the alternative simulation equipment according to the characteristic information;
the configuration information loading submodule is used for loading the configuration information of the alternative simulation equipment to the alternative simulation equipment;
and the change scheme running submodule is used for running a preset change scheme so as to complete the simulation of the preset simulated equipment.
In an embodiment of the present application, the configuration information generation sub-module may include the following units:
a configuration template obtaining unit, configured to obtain a configuration template of the alternative simulation device;
and the configuration information unit is used for generating a configuration template for loading the characteristic information of the preset simulated equipment to the alternative simulation equipment to obtain the configuration information aiming at the simulation alternative equipment.
Referring to fig. 6, a block diagram of another embodiment of the network simulation apparatus of the present application is shown, which may specifically include the following modules:
a feature information extraction module 601, configured to extract feature information of a preset simulated device;
and a network simulation module 602, configured to perform network simulation according to feature information of a preset substitute simulation device and the preset simulated device.
In one embodiment of the present application, the network simulation module 502 may include the following sub-modules:
the configuration information generation submodule is used for obtaining configuration information aiming at the preset simulation alternative equipment according to the characteristic information of the preset simulated equipment;
the configuration information loading submodule is used for loading the configuration information of the preset alternative simulation equipment to the preset alternative simulation equipment;
and the network simulation submodule is used for acquiring a simulation network for connecting preset simulation equipment and the preset substitute simulation equipment and starting the simulation network so as to realize network simulation aiming at the preset simulated equipment through the simulation network.
For the device embodiment, since it is basically similar to the method embodiment, the description is simple, and for the relevant points, refer to the partial description of the method embodiment.
An embodiment of the present application further provides an electronic device, including:
the network simulation method comprises a processor, a memory and a computer program which is stored on the memory and can run on the processor, wherein when the computer program is executed by the processor, each process of the network simulation method embodiment is realized, the same technical effect can be achieved, and the description is omitted for avoiding repetition.
The embodiment of the present application further provides a computer-readable storage medium, where a computer program is stored on the computer-readable storage medium, and when the computer program is executed by a processor, the computer program implements the above processes according to the embodiment of the network simulation method, and can achieve the same technical effect, and in order to avoid repetition, details are not repeated here.
The embodiments in the present specification are described in a progressive manner, each embodiment focuses on differences from other embodiments, and the same and similar parts among the embodiments are referred to each other.
As will be appreciated by one of skill in the art, embodiments of the present application may be provided as a method, apparatus, or computer program product. Accordingly, embodiments of the present application may take the form of an entirely hardware embodiment, an entirely software embodiment or an embodiment combining software and hardware aspects. Furthermore, embodiments of the present application may take the form of a computer program product embodied on one or more computer-usable storage media (including, but not limited to, disk storage, CD-ROM, optical storage, and the like) having computer-usable program code embodied therein.
Embodiments of the present application are described with reference to flowchart illustrations and/or block diagrams of methods, terminal devices (systems), and computer program products according to embodiments of the application. It will be understood that each flow and/or block of the flow diagrams and/or block diagrams, and combinations of flows and/or blocks in the flow diagrams and/or block diagrams, can be implemented by computer program instructions. These computer program instructions may be provided to a processor of a general purpose computer, special purpose computer, embedded processor, or other programmable data processing terminal to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing terminal, create means for implementing the functions specified in the flowchart flow or flows and/or block diagram block or blocks.
These computer program instructions may also be stored in a computer-readable memory that can direct a computer or other programmable data processing terminal to function in a particular manner, such that the instructions stored in the computer-readable memory produce an article of manufacture including instruction means which implement the function specified in the flowchart flow or flows and/or block diagram block or blocks.
These computer program instructions may also be loaded onto a computer or other programmable data processing terminal to cause a series of operational steps to be performed on the computer or other programmable terminal to produce a computer implemented process such that the instructions which execute on the computer or other programmable terminal provide steps for implementing the functions specified in the flowchart flow or flows and/or block diagram block or blocks.
While preferred embodiments of the present application have been described, additional variations and modifications of these embodiments may occur to those skilled in the art once they learn of the basic inventive concepts. Therefore, it is intended that the appended claims be interpreted as including the preferred embodiment and all such alterations and modifications as fall within the true scope of the embodiments of the application.
Finally, it should also be noted that, herein, relational terms such as first and second, and the like may be used solely to distinguish one entity or action from another entity or action without necessarily requiring or implying any actual such relationship or order between such entities or actions. Also, the terms "comprises," "comprising," or any other variation thereof, are intended to cover a non-exclusive inclusion, such that a process, method, article, or terminal that comprises a list of elements does not include only those elements but may include other elements not expressly listed or inherent to such process, method, article, or terminal. Without further limitation, an element defined by the phrase "comprising an … …" does not exclude the presence of other like elements in a process, method, article, or terminal that comprises the element.
The network simulation method and the network simulation device provided by the present application are introduced in detail, and specific examples are applied in the description to explain the principle and the implementation of the present application, and the description of the above embodiments is only used to help understand the method and the core idea of the present application; meanwhile, for a person skilled in the art, according to the idea of the present application, there may be variations in the specific embodiments and the application scope, and in summary, the content of the present specification should not be construed as a limitation to the present application.

Claims (16)

1. A method for network simulation, the method comprising:
acquiring a protocol model; the protocol model is generated according to a network protocol used by the network equipment;
extracting characteristic information of preset simulated equipment according to the protocol model;
and acquiring a substitute simulation device, and performing network simulation according to the substitute simulation device and the characteristic information.
2. The method of claim 1, wherein the protocol model is generated by:
acquiring production configuration information of the preset simulated equipment;
analyzing the production configuration information to obtain network protocol characteristics, and generating a protocol model according to the network protocol characteristics.
3. The method of claim 2, wherein the extracting feature information of the preset simulated device according to the protocol model comprises:
extracting the production configuration information of the simulated equipment through the protocol model to obtain characteristic information aiming at the simulated equipment; the characteristic information is information related to the network protocol in the production configuration information.
4. The method of claim 1, wherein the obtaining a surrogate simulation device and performing a network simulation based on the surrogate simulation device and the characterization information comprises:
generating configuration information of the alternative simulation equipment according to the characteristic information;
loading configuration information of the alternative simulation device to the alternative simulation device;
and running a preset change scheme to finish the simulation of the preset simulated equipment.
5. The method of claim 4, wherein generating configuration information for the alternative simulation device according to the feature information of the preset simulated device comprises:
acquiring a configuration template of the alternative simulation equipment;
and loading the characteristic information of the preset simulated equipment to a configuration template of the alternative simulation equipment to obtain the configuration information aiming at the simulation alternative equipment.
6. A method for network simulation, the method comprising:
extracting characteristic information of preset simulated equipment according to a preset protocol model;
and performing network simulation according to the characteristic information of the preset alternative simulation equipment and the preset simulated equipment.
7. The method of claim 6, wherein the network simulation according to the feature information of the preset substitute simulation device and the preset simulated device comprises:
obtaining configuration information aiming at the preset simulation alternative equipment according to the characteristic information of the preset simulated equipment;
loading the configuration information of the preset alternative simulation equipment to the preset alternative simulation equipment;
acquiring a simulation network for connecting preset simulation equipment and the preset alternative simulation equipment, and starting the simulation network so as to realize network simulation aiming at the preset simulated equipment through the simulation network.
8. A network emulation device, comprising:
the protocol model acquisition module is used for acquiring a protocol model; the protocol model is generated according to a network protocol used by the network equipment;
the characteristic information extraction module is used for extracting the characteristic information of the preset simulated equipment according to the protocol model;
and the network simulation module is used for acquiring the alternative simulation equipment and carrying out network simulation according to the alternative simulation equipment and the characteristic information.
9. The apparatus of claim 8, further comprising:
the production configuration information acquisition module is used for acquiring the production configuration information of the preset simulated equipment;
and the protocol model generation module is used for analyzing the production configuration information to obtain network protocol characteristics and generating a protocol model according to the network protocol characteristics.
10. The apparatus of claim 8, wherein the feature information extraction module comprises:
the characteristic information extraction submodule is used for extracting the production configuration information of the simulated equipment through the protocol model to obtain the characteristic information aiming at the simulated equipment; the characteristic information is information related to the network protocol in the production configuration information.
11. The apparatus of claim 8, wherein the network emulation module comprises:
the configuration information generation submodule is used for generating configuration information of the alternative simulation equipment according to the characteristic information;
the configuration information loading submodule is used for loading the configuration information of the alternative simulation equipment to the alternative simulation equipment;
and the change scheme running submodule is used for running a preset change scheme so as to complete the simulation of the preset simulated equipment.
12. The apparatus of claim 11, wherein the configuration information generation submodule comprises:
a configuration template obtaining unit, configured to obtain a configuration template of the alternative simulation device;
and the configuration information unit is used for generating a configuration template for loading the characteristic information of the preset simulated equipment to the alternative simulation equipment to obtain the configuration information aiming at the simulation alternative equipment.
13. A network emulation device, comprising:
the characteristic information extraction module is used for extracting the characteristic information of the preset simulated equipment;
and the network simulation module is used for carrying out network simulation according to the characteristic information of the preset substituted simulation equipment and the preset simulated equipment.
14. The apparatus of claim 13, wherein the network emulation module comprises:
the configuration information generation submodule is used for obtaining configuration information aiming at the preset simulation alternative equipment according to the characteristic information of the preset simulated equipment;
the configuration information loading submodule is used for loading the configuration information of the preset alternative simulation equipment to the preset alternative simulation equipment;
and the network simulation submodule is used for acquiring a simulation network for connecting preset simulation equipment and the preset substitute simulation equipment and starting the simulation network so as to realize network simulation aiming at the preset simulated equipment through the simulation network.
15. An electronic device, comprising: a processor, a memory and a computer program stored on the memory and executable on the processor, the computer program, when executed by the processor, implementing the steps of the network simulation method according to any of claims 1 to 5 or 6 to 7.
16. A computer-readable storage medium, on which a computer program is stored which, when being executed by a processor, carries out the steps of the network simulation method according to any one of claims 1 to 5 or 6 to 7.
CN202010962089.5A 2020-09-14 2020-09-14 Network simulation method and device Pending CN113315647A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202010962089.5A CN113315647A (en) 2020-09-14 2020-09-14 Network simulation method and device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010962089.5A CN113315647A (en) 2020-09-14 2020-09-14 Network simulation method and device

Publications (1)

Publication Number Publication Date
CN113315647A true CN113315647A (en) 2021-08-27

Family

ID=77370408

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010962089.5A Pending CN113315647A (en) 2020-09-14 2020-09-14 Network simulation method and device

Country Status (1)

Country Link
CN (1) CN113315647A (en)

Citations (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1404268A (en) * 2002-10-25 2003-03-19 清华大学 Simulation method and system for priority protocal of Internet large-scale route to open shortest path
US20040127212A1 (en) * 2002-12-27 2004-07-01 Wang Jian Chung Apparatus, system and method for network testing
US7555421B1 (en) * 2005-10-28 2009-06-30 At&T Corp. Device emulation for testing data network configurations
CN102447579A (en) * 2011-12-23 2012-05-09 广东电网公司电力科学研究院 Volume-expansion simulation rehearsal method for electric power dispatching data network based on SP (Service Provider) Guru
CN103684925A (en) * 2013-12-26 2014-03-26 浙江宇视科技有限公司 Performance test method based on simulation terminal
CN103684893A (en) * 2012-09-04 2014-03-26 清华大学 Equipment and method for analyzing network simulation
CN103825761A (en) * 2014-02-26 2014-05-28 武汉大学 On-board router simulation method of delay-tolerant network
CN106508103B (en) * 2010-11-01 2014-07-23 中国电子设备系统工程公司 A kind of dynamic control method of communication network simulation
CN106685860A (en) * 2015-11-06 2017-05-17 阿里巴巴集团控股有限公司 Network virtualization method and device
CN107743072A (en) * 2017-07-04 2018-02-27 中国电力科学研究院 Efficiently expansible network simulation scene generating method
CN109921947A (en) * 2019-03-26 2019-06-21 东软集团股份有限公司 A kind of network flow simulation method, device, equipment and network apparatus test system
CN110011835A (en) * 2019-03-14 2019-07-12 烽火通信科技股份有限公司 Network simulation method and system
CN111147287A (en) * 2019-12-10 2020-05-12 网络通信与安全紫金山实验室 Network simulation method and system in SDN scene
CN111308958A (en) * 2019-11-14 2020-06-19 广州安加互联科技有限公司 CNC equipment simulation method and system based on honeypot technology and industrial control honeypot
CN111478790A (en) * 2020-03-02 2020-07-31 烽火通信科技股份有限公司 Method and system for supporting southbound protocol virtualization verification in SDN network architecture
CN111610725A (en) * 2020-04-03 2020-09-01 北京华航唯实机器人科技股份有限公司 Combined simulation method

Patent Citations (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1404268A (en) * 2002-10-25 2003-03-19 清华大学 Simulation method and system for priority protocal of Internet large-scale route to open shortest path
US20040127212A1 (en) * 2002-12-27 2004-07-01 Wang Jian Chung Apparatus, system and method for network testing
US7555421B1 (en) * 2005-10-28 2009-06-30 At&T Corp. Device emulation for testing data network configurations
CN106508103B (en) * 2010-11-01 2014-07-23 中国电子设备系统工程公司 A kind of dynamic control method of communication network simulation
CN102447579A (en) * 2011-12-23 2012-05-09 广东电网公司电力科学研究院 Volume-expansion simulation rehearsal method for electric power dispatching data network based on SP (Service Provider) Guru
CN103684893A (en) * 2012-09-04 2014-03-26 清华大学 Equipment and method for analyzing network simulation
CN103684925A (en) * 2013-12-26 2014-03-26 浙江宇视科技有限公司 Performance test method based on simulation terminal
CN103825761A (en) * 2014-02-26 2014-05-28 武汉大学 On-board router simulation method of delay-tolerant network
CN106685860A (en) * 2015-11-06 2017-05-17 阿里巴巴集团控股有限公司 Network virtualization method and device
CN107743072A (en) * 2017-07-04 2018-02-27 中国电力科学研究院 Efficiently expansible network simulation scene generating method
CN110011835A (en) * 2019-03-14 2019-07-12 烽火通信科技股份有限公司 Network simulation method and system
CN109921947A (en) * 2019-03-26 2019-06-21 东软集团股份有限公司 A kind of network flow simulation method, device, equipment and network apparatus test system
CN111308958A (en) * 2019-11-14 2020-06-19 广州安加互联科技有限公司 CNC equipment simulation method and system based on honeypot technology and industrial control honeypot
CN111147287A (en) * 2019-12-10 2020-05-12 网络通信与安全紫金山实验室 Network simulation method and system in SDN scene
CN111478790A (en) * 2020-03-02 2020-07-31 烽火通信科技股份有限公司 Method and system for supporting southbound protocol virtualization verification in SDN network architecture
CN111610725A (en) * 2020-04-03 2020-09-01 北京华航唯实机器人科技股份有限公司 Combined simulation method

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
M. F. NAWAZ, FAZL-E-HADI AND S. U. SHAH: "RouterSim: A New Router Simulator for BGP and IS-IS Protocol", 009 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER AND COMMUNICATION, KUALA LUMPAR, MALAYSIA, 2009, 4 August 2009 (2009-08-04) *
吴婷;: "通信系统仿真技术及应用", 科协论坛(下半月), no. 06, 25 June 2007 (2007-06-25) *

Similar Documents

Publication Publication Date Title
US10705808B2 (en) Software defined network controller
US20200042328A1 (en) Autonomous Creation of New Microservices and Modification of Existing Microservices
WO2017020721A1 (en) Service function testing method and device
JP2021531574A (en) How to operate industrial PC devices and industrial PC devices
US20230142573A1 (en) Method, apparatus, and system for constructing knowledge graph, and computer storage medium
US20220237111A1 (en) Distributed immutable data object testing
CN113641591A (en) Test case generation method and device and test method and device
Edwards et al. Creating repeatable computer science and networking experiments on shared, public testbeds
WO2020069647A1 (en) System for deploying incremental network updates
Knight et al. Autonetkit: simplifying large scale, open-source network experimentation
CN113315647A (en) Network simulation method and device
Dayanand et al. A survey on the use of GNS3 for virtualizing computer networks
Fontes et al. Improving ns-3 emulation performance for fast prototyping of network protocols
CN112217693B (en) Controller testing method and device, electronic equipment and storage medium
CN116418664A (en) Method, device, system and storage medium for automatic network equipment model creation
Angelstorf et al. Analysis and test framework for the integration of ICT systems in the tactical domain
Sekiguchi et al. Configuration management technology using tree structures of ICT systems
EP4229848A1 (en) Ghost routing
Tkachova et al. Method for OpenFlow protocol verification
Murillo et al. High-fidelity cyber and physical simulation of water distribution systems. I: Models and Data
JP6818654B2 (en) Test automation equipment, test methods, and programs
KR102006211B1 (en) Method and apparatus for generating xml script used in first simulator by converting python script used in second simulator
Vlasyuk et al. Approaches and algorithms of virtual telecommunication networks analysis in UNetLab environment
Prakash et al. Requirements of a model-driven methodology and tool-chain for the design and verification of hierarchical controllers of an autonomic network
Castro et al. Validation of SDN policies: a property-based testing perspective

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
REG Reference to a national code

Ref country code: HK

Ref legal event code: DE

Ref document number: 40058039

Country of ref document: HK