Graduate School and Research Center in Digital Sciences

Formally verified latency-aware VNF placement in industrial internet of things

Marchetto, Guido; Sisto, Riccardo; Yusupov, Jalolliddin; Ksentini, Adlen

WFCS 2018, 14th IEEE International Workshop on Factory Communication Systems, 13-15 June 2018, Imperia, Italy

The innovative applications of 5G core technologies, namely Software Defined Networking (SDN) and Network Function Virtualization (NFV), are the key enabling technologies of industrial Internet of things (IIoT) to improve data network robustness. In the industrial scenario, with strict demands on end-to-end latency and reliability during critical events, these technologies can be leveraged to construct chains of network functions (service graphs) characterized by guarantees about latency, jitter, packet loss or redundancy. Moreover, real-time monitoring techniques provided by network virtualization help in mitigating critical events (e.g. failures or network attacks), which can be faced by updating the service graph and imposing new policies in the network. In practice, the distributed and safetycritical nature of IIoT applications requires both an intelligent placement of services across physically separated locations, which has a direct impact on latency, and a proper policy enforcement system, which guarantees service reliability, safety, and security. This paper considers both aspects by proposing a novel Virtual Network Function (VNF) placement solution for IIoT that minimizes the overall latency and, at the same time, also verifies that network-wide policies such as connectivity or isolation hold between the endpoints. In particular, this work relies on recent advances in SMT (Satisfiability Modulo Theories) solvers, which are being enhanced to solve the Maximum Satisfiability (MaxSAT) problem.

Document Doi Bibtex

Title:Formally verified latency-aware VNF placement in industrial internet of things
Type:Conference
Language:English
City:Imperia
Country:ITALY
Date:
Department:Communication systems
Eurecom ref:5612
Copyright: © 2018 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: @inproceedings{EURECOM+5612, doi = {http://dx.doi.org/10.1109/WFCS.2018.8402355}, year = {2018}, title = {{F}ormally verified latency-aware {VNF} placement in industrial internet of things}, author = {{M}archetto, {G}uido and {S}isto, {R}iccardo and {Y}usupov, {J}alolliddin and {K}sentini, {A}dlen}, booktitle = {{WFCS} 2018, 14th {IEEE} {I}nternational {W}orkshop on {F}actory {C}ommunication {S}ystems, 13-15 {J}une 2018, {I}mperia, {I}taly}, address = {{I}mperia, {ITALY}}, month = {06}, url = {http://www.eurecom.fr/publication/5612} }
See also: