@Article{2021TII,
  author   = {Guido Marchetto and Riccardo Sisto and Fulvio Valenza and Jalolliddin Yusupov and Adlen Ksentini},
  journal  = {{IEEE} Transactions on Industrial Informatics},
  title    = {A Formal Approach to Verify Connectivity and Optimize {VNF} Placement in Industrial Networks},
  year     = {2021},
  number   = {2},
  pages    = {1515--1525},
  volume   = {17},
  abstract = {The increased flexibility and interconnectivity of modern industrial communication networks, obtained through the use of innovative technologies like network function virtualization and software-defined networking, require a secure and manageable framework to support the new communication and computing needs. To focus on these requirements, this article 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. © 2020 IEEE.},
  doi      = {10.1109/TII.2020.3002816},
  keywords = {Industrial Network Systems, VNF Placement, Reachability Verification},
  url      = {https://iris.polito.it/retrieve/handle/11583/2853938/410825/09119174.pdf},
}

{"_id":"vMZdShCp6b3BD3YMS","bibbaseid":"marchetto-sisto-valenza-yusupov-ksentini-aformalapproachtoverifyconnectivityandoptimizevnfplacementinindustrialnetworks-2021","authorIDs":["anJrBcCdr4LzzWetx","x5vNTEJ4s3raTsibp"],"author_short":["Marchetto, G.","Sisto, R.","Valenza, F.","Yusupov, J.","Ksentini, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Guido"],"propositions":[],"lastnames":["Marchetto"],"suffixes":[]},{"firstnames":["Riccardo"],"propositions":[],"lastnames":["Sisto"],"suffixes":[]},{"firstnames":["Fulvio"],"propositions":[],"lastnames":["Valenza"],"suffixes":[]},{"firstnames":["Jalolliddin"],"propositions":[],"lastnames":["Yusupov"],"suffixes":[]},{"firstnames":["Adlen"],"propositions":[],"lastnames":["Ksentini"],"suffixes":[]}],"journal":"IEEE Transactions on Industrial Informatics","title":"A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks","year":"2021","number":"2","pages":"1515–1525","volume":"17","abstract":"The increased flexibility and interconnectivity of modern industrial communication networks, obtained through the use of innovative technologies like network function virtualization and software-defined networking, require a secure and manageable framework to support the new communication and computing needs. To focus on these requirements, this article 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. © 2020 IEEE.","doi":"10.1109/TII.2020.3002816","keywords":"Industrial Network Systems, VNF Placement, Reachability Verification","url":"https://iris.polito.it/retrieve/handle/11583/2853938/410825/09119174.pdf","bibtex":"@Article{2021TII,\r\n author = {Guido Marchetto and Riccardo Sisto and Fulvio Valenza and Jalolliddin Yusupov and Adlen Ksentini},\r\n journal = {{IEEE} Transactions on Industrial Informatics},\r\n title = {A Formal Approach to Verify Connectivity and Optimize {VNF} Placement in Industrial Networks},\r\n year = {2021},\r\n number = {2},\r\n pages = {1515--1525},\r\n volume = {17},\r\n abstract = {The increased flexibility and interconnectivity of modern industrial communication networks, obtained through the use of innovative technologies like network function virtualization and software-defined networking, require a secure and manageable framework to support the new communication and computing needs. To focus on these requirements, this article 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. © 2020 IEEE.},\r\n doi = {10.1109/TII.2020.3002816},\r\n keywords = {Industrial Network Systems, VNF Placement, Reachability Verification},\r\n url = {https://iris.polito.it/retrieve/handle/11583/2853938/410825/09119174.pdf},\r\n}\r\n\r\n","author_short":["Marchetto, G.","Sisto, R.","Valenza, F.","Yusupov, J.","Ksentini, A."],"key":"2021TII","id":"2021TII","bibbaseid":"marchetto-sisto-valenza-yusupov-ksentini-aformalapproachtoverifyconnectivityandoptimizevnfplacementinindustrialnetworks-2021","role":"author","urls":{"Paper":"https://iris.polito.it/retrieve/handle/11583/2853938/410825/09119174.pdf"},"keyword":["Industrial Network Systems","VNF Placement","Reachability Verification"],"metadata":{"authorlinks":{"valenza, f":"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2FFulvioValenza%2Fbibliography%2Fmain%2FValenza_bibliography.bib&commas=true","valenza, f":"https://bibbase.org/service/mendeley/47be63fe-fca0-3f0f-a864-642602926c3f"}},"downloads":17},"bibtype":"article","biburl":"https://raw.githubusercontent.com/FulvioValenza/bibliography/main/Valenza_bibliography.bib","creationDate":"2021-01-16T10:07:49.720Z","downloads":17,"keywords":["industrial network systems","vnf placement","reachability verification"],"search_terms":["formal","approach","verify","connectivity","optimize","vnf","placement","industrial","networks","marchetto","sisto","valenza","yusupov","ksentini"],"title":"A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks","year":2021,"dataSources":["JbiX35GNqPCF3nids","csYhy47rJJgSM7jjJ"]}