A Framework for Verification-Oriented User-Friendly Network Function Modeling

Network virtualization and softwarization will serve as a new way to implement new services, increases network functionality and flexibility. However, the increasing complexity of the services and the management of very large scale environments drastically complicate detecting alerts and configurati...

Full description

Bibliographic Details
Main Authors: Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
NFV
Online Access:https://ieeexplore.ieee.org/document/8765301/
id doaj-ac4084a5b1b3474882bd4825b6fc47c8
record_format Article
spelling doaj-ac4084a5b1b3474882bd4825b6fc47c82021-04-05T17:25:48ZengIEEEIEEE Access2169-35362019-01-017993499935910.1109/ACCESS.2019.29293258765301A Framework for Verification-Oriented User-Friendly Network Function ModelingGuido Marchetto0https://orcid.org/0000-0003-3588-9367Riccardo Sisto1Fulvio Valenza2https://orcid.org/0000-0002-8471-3029Jalolliddin Yusupov3Dipartimento di Automatica e Informatica (DAUIN), Politecnico di Torino, Turin, ItalyDipartimento di Automatica e Informatica (DAUIN), Politecnico di Torino, Turin, ItalyDipartimento di Automatica e Informatica (DAUIN), Politecnico di Torino, Turin, ItalyDipartimento di Automatica e Informatica (DAUIN), Politecnico di Torino, Turin, ItalyNetwork virtualization and softwarization will serve as a new way to implement new services, increases network functionality and flexibility. However, the increasing complexity of the services and the management of very large scale environments drastically complicate detecting alerts and configuration errors of the network components. Nowadays, misconfigurations can be identified using formal analysis of network components for compliance with network requirements. Unfortunately, formal specification of network services requires familiarity with discrete mathematical modeling languages of verification tools, which requires extensive training for network engineers to have the essential knowledge. This paper addresses the above-mentioned problem by presenting a framework designed for automatically extracting verification models starting from an abstract representation of a given network function. Using guidelines provided in this paper, vendors can describe the forwarding behavior of their network function in developer-friendly, high-level languages, which can be then translated into formal verification models of different verification tools.https://ieeexplore.ieee.org/document/8765301/Network function modelingmodel extractionNFV
collection DOAJ
language English
format Article
sources DOAJ
author Guido Marchetto
Riccardo Sisto
Fulvio Valenza
Jalolliddin Yusupov
spellingShingle Guido Marchetto
Riccardo Sisto
Fulvio Valenza
Jalolliddin Yusupov
A Framework for Verification-Oriented User-Friendly Network Function Modeling
IEEE Access
Network function modeling
model extraction
NFV
author_facet Guido Marchetto
Riccardo Sisto
Fulvio Valenza
Jalolliddin Yusupov
author_sort Guido Marchetto
title A Framework for Verification-Oriented User-Friendly Network Function Modeling
title_short A Framework for Verification-Oriented User-Friendly Network Function Modeling
title_full A Framework for Verification-Oriented User-Friendly Network Function Modeling
title_fullStr A Framework for Verification-Oriented User-Friendly Network Function Modeling
title_full_unstemmed A Framework for Verification-Oriented User-Friendly Network Function Modeling
title_sort framework for verification-oriented user-friendly network function modeling
publisher IEEE
series IEEE Access
issn 2169-3536
publishDate 2019-01-01
description Network virtualization and softwarization will serve as a new way to implement new services, increases network functionality and flexibility. However, the increasing complexity of the services and the management of very large scale environments drastically complicate detecting alerts and configuration errors of the network components. Nowadays, misconfigurations can be identified using formal analysis of network components for compliance with network requirements. Unfortunately, formal specification of network services requires familiarity with discrete mathematical modeling languages of verification tools, which requires extensive training for network engineers to have the essential knowledge. This paper addresses the above-mentioned problem by presenting a framework designed for automatically extracting verification models starting from an abstract representation of a given network function. Using guidelines provided in this paper, vendors can describe the forwarding behavior of their network function in developer-friendly, high-level languages, which can be then translated into formal verification models of different verification tools.
topic Network function modeling
model extraction
NFV
url https://ieeexplore.ieee.org/document/8765301/
work_keys_str_mv AT guidomarchetto aframeworkforverificationorienteduserfriendlynetworkfunctionmodeling
AT riccardosisto aframeworkforverificationorienteduserfriendlynetworkfunctionmodeling
AT fulviovalenza aframeworkforverificationorienteduserfriendlynetworkfunctionmodeling
AT jalolliddinyusupov aframeworkforverificationorienteduserfriendlynetworkfunctionmodeling
AT guidomarchetto frameworkforverificationorienteduserfriendlynetworkfunctionmodeling
AT riccardosisto frameworkforverificationorienteduserfriendlynetworkfunctionmodeling
AT fulviovalenza frameworkforverificationorienteduserfriendlynetworkfunctionmodeling
AT jalolliddinyusupov frameworkforverificationorienteduserfriendlynetworkfunctionmodeling
_version_ 1721539709736321024