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...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2019-01-01
|
Series: | IEEE Access |
Subjects: | |
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 |