US 11,146,456 B2 · Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments

Abstract

In an embodiment, a computer-implemented method comprises receiving logical model input that specifies a logical topology model of networking elements and/or computing elements for deployment at least partially in a private cloud computing infrastructure and at least partially in a public cloud computing infrastructure; receiving resource input specifying an inventory of computing elements that are available at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure; automatically generating an intermediate topology comprising a set of deployment instructions that are capable of execution at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure to cause physical realization of a network deployment corresponding to the logical topology model; determining whether the intermediate topology is functionally equivalent to the logical topology model; in response to determining that the intermediate topology is functionally equivalent to the logical topology model, transmitting the deployment instructions at least partially to the private cloud computing infrastructure and at least partially to the public cloud computing infrastructure.

Claims19

Dependent claims

A method comprising:

receiving a first model that specifies a first logical topology of computing elements for deployment in a multi-cloud environment, the multi-cloud environment including a first cloud environment and a second cloud environment;
receiving first inventory data that indicates a first availability of first computing elements in the first cloud environment;
receiving second inventory data that indicates a second availability of second computing elements in the second cloud environment;
receiving constraint data indicating a constraint on deployment of a computing element of the computing elements, the constraint indicating that the computing element is at least one of restricted from being deployed, or is to be deployed, on the first cloud environment;
generating a second model that specifies a second logical topology of the computing elements using at least the first inventory data, the second inventory data, and the constraint data;
determining that the second model is functionally equivalent to the first model at least partly using formal model checking.

3 more elements

A method comprising:

receiving a first model that specifies a first logical topology of computing elements for deployment in a multi-cloud environment, the multi-cloud environment including a first cloud environment and a second cloud environment;
receiving first inventory data that indicates a first availability of first computing elements in the first cloud environment;
receiving second inventory data that indicates a second availability of second computing elements in the second cloud environment;
generating a second model that specifies a second logical topology of the computing elements using at least the first inventory data, the second inventory data, and the first model;
receiving constraint data indicating a constraint on deployment of a computing element of the computing elements, the constraint indicating that the computing element is at least one of restricted from being deployed, or is to be deployed, on the first cloud environment;
generating a third model that specifies a second logical topology of the computing elements using at least the constraint data and the second model;
and
determining that the third model is functionality equivalent to at least one of the first model or the second model at least partly using formal model checking.

5 more elements

A system comprising:

one or more processors;
and
one or more non-transitory computer-readable media storing computer-executable instructions that, when executed by the one or more processors, cause the one or more processors to perform operations comprising:
receiving a first model that specifies a first logical topology of computing elements for deployment in a multi-cloud environment, the multi-cloud environment including a first cloud environment and a second cloud environment;
receiving first inventory data that indicates a first availability of first computing elements in the first cloud environment;
receiving second inventory data that indicates a second availability of second computing elements in the second cloud environment;
receiving constraint data indicating a constraint on deployment of a computing element of the computing elements, the constraint indicating that the computing element is at least one of restricted from being deployed, or is to be deployed, on the first cloud environment;
generating a second model that specifies a second logical topology of the computing elements using at least the first inventory data, the second inventory data, and the constraint data;
deploying a network deployment across the first cloud environment and the second cloud environment according to the second model;
and
detecting a change in at least one of network resources of the network deployment, the constraint data, the first inventory data, or the second inventory data;
and
in response to detecting the change, generating a third model that specifies a third logical topology of the computing elements.

10 more elements

Dependencies are inferred from the claim text.

Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments

Life of this patent

Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments

Life of this patent

Abstract

Claims19