Modular network function virtualization
MetadataShow full item record
Network functions like load balancers and stateful firewalls which traditionally have been packaged in a single proprietary device are now being virtualized in software across multiple physical devices networked together to achieve greater flexibility and scale. A virtualization can become very complex. Separating its definition from the software that implements it allows this complexity to be managed more easily. This paper describes some elementary behaviors that can be rigorously combined to produce modular definitions of new virtualizations. Behaviors are expressed using a new type of symbolic finite automaton called a λ-SFA. These automata can be formally analyzed and serve as a guide for synthesizing efficient code. As behaviors are combined, proofs of invariants for the result can leverage proofs of invariants for the elementary behaviors.
The article of record as published may be found at http://dx.doi.org/10.1109/INFCOMW.2017.81164992017 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Larraza, A.; Garrett, S.L.; Putterman, S. (Americal Physical Society, 1990-03-15);We consider the nonlinear processes of interaction between a random field of short deep gravity waves and a deep long gravity wave, as well as the effects of nonlinear interactions among the driven short waves. The ...
Kang, Wei (Society for Industrial and Applied Mathematics, 1998-01);The bifurcations of control systems with a single input are studied. Based on the normal forms of control systems, the equilibrium sets are classified. A set of quadratic invariants for control systems is found. Sufficient ...
Kang, Wei (Society for Industrial and Applied Mathematics, 1998-01);The normal forms and invariants of control systems with a parameter are found. Bifurcations of equilibrium sets are classified. The changes of properties such as controllability of the linearization or stabilizability near ...