Graduate School and Research Center in Digital Sciences

A formal approach to verify connectivity and optimize VNF placement in industrial networks

Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jaloliddin; Ksentini, Adlen

IEEE Transactions on Industrial Informatics, 16 June 2020

The increased flexibility and inter-connectivity of modern industrial communication networks, obtained through the use of innovative technologies like Network Function Virtualization (NFV) and Software Defined Networking (SDN), requires a secure and manageable framework to support the new communication and computing needs. To focus on these requirements, this paper proposes a framework for reliable placement of services across physically separated locations, which offers both system optimization, in terms of latency and resource utilization, and connectivity policy enforcement to guarantee service reliability, safety, and security. This is achieved by exploiting a new approach to solve the virtual network embedding problem, using Optimization Modulo Theories (MaxSMT), which allows the use of very expressive constraints.  

Doi Bibtex

Title:A formal approach to verify connectivity and optimize VNF placement in industrial networks
Type:Journal
Language:English
City:
Date:
Department:Communication systems
Eurecom ref:6294
Copyright: © 2020 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Bibtex: @article{EURECOM+6294, doi = {http://dx.doi.org/10.1109/TII.2020.3002816}, year = {2020}, month = {06}, title = {{A} formal approach to verify connectivity and optimize {VNF} placement in industrial networks}, author = {{M}archetto, {G}uido and {S}isto, {R}iccardo and {V}alenza, {F}ulvio and {Y}usupov, {J}aloliddin and {K}sentini, {A}dlen}, journal = {{IEEE} {T}ransactions on {I}ndustrial {I}nformatics, 16 {J}une 2020}, url = {http://www.eurecom.fr/publication/6294} }
See also: