TY - GEN
T1 - Verification for NFV-enabled network services
AU - Shin, Myung Ki
AU - Choi, Yunchul
AU - Kwak, Hee Hwan
AU - Pack, Sangheon
AU - Kang, Miyoung
AU - Choi, Jin Young
N1 - Funding Information:
This work was supported by Institute for Information and communications Technology Promotion(IITP) grant funded by the Korea government(MSIP) (B0101-15-233, Smart Networking Core Technology Development
Publisher Copyright:
© 2015 IEEE.
PY - 2015/12/11
Y1 - 2015/12/11
N2 - Network Functions Virtualization (NFV) offers a new way to design, deploy and manage network services. NFV relocates network functions from dedicated hardware appliances to generic servers, so they can run in software. Also, it is designed to consolidate and deliver the network components needed to support a virtualized infrastructure including virtual servers and storage, as well as networks. However, incomplete or inconsistent configuration of virtualized network functions (VNF) and forwarding graph (FG, aka service chain) could cause breakdown of the supporting infrastructure. Moreover, automation of NFV process with integration of Software-Defined Networking (SDN) technologies may lead the network services to be more error-prone. Recognizing these problems, we need to identify key properties to be checked. In this article, we present a framework of verification for NFV-enabled network services. Its goal is to provide a formal method for the network services that can be used to build and verify NFV components. Overall, this method makes it safer and more reliable for network operators to compose their network services in NFV environment, so that they can be assured that the properties are correctly enforced.
AB - Network Functions Virtualization (NFV) offers a new way to design, deploy and manage network services. NFV relocates network functions from dedicated hardware appliances to generic servers, so they can run in software. Also, it is designed to consolidate and deliver the network components needed to support a virtualized infrastructure including virtual servers and storage, as well as networks. However, incomplete or inconsistent configuration of virtualized network functions (VNF) and forwarding graph (FG, aka service chain) could cause breakdown of the supporting infrastructure. Moreover, automation of NFV process with integration of Software-Defined Networking (SDN) technologies may lead the network services to be more error-prone. Recognizing these problems, we need to identify key properties to be checked. In this article, we present a framework of verification for NFV-enabled network services. Its goal is to provide a formal method for the network services that can be used to build and verify NFV components. Overall, this method makes it safer and more reliable for network operators to compose their network services in NFV environment, so that they can be assured that the properties are correctly enforced.
KW - Formal Method
KW - NFV (Network Functions Virtualization)
KW - SDN (Software-Defined Networking)
KW - Verification
UR - http://www.scopus.com/inward/record.url?scp=84964856204&partnerID=8YFLogxK
U2 - 10.1109/ICTC.2015.7354672
DO - 10.1109/ICTC.2015.7354672
M3 - Conference contribution
AN - SCOPUS:84964856204
T3 - International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015
SP - 810
EP - 815
BT - International Conference on ICT Convergence 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 6th International Conference on Information and Communication Technology Convergence, ICTC 2015
Y2 - 28 October 2015 through 30 October 2015
ER -