公开(公告)号：US20170048008A1

公开(公告)日：2017-02-16

申请号：US14933206

申请日：2015-11-05

Applicant: ELECTRONICS AND TELECOMMUNICATIONS RESEARCH INSTITUTE

Inventor： Jong-Hwa YI

IPC: H04B17/17 ,  H04B17/382 ,  H04B17/309

CPC classification number: H04B17/17 ,  H04B17/24 ,  H04B17/309 ,  H04B17/382

Abstract: Disclosed herein are a method and apparatus for verification of a network service in a network function virtualization (NFV) environment. The method includes performing verification of at least one of a function, operation, and performance related to a network service, and transmitting results of the verification to an entity related to the network service. A verification apparatus detects, either in advance or at runtime, malfunctions that may occur when a network service is executed in an NFV environment, and performs verification of at least one of the function, operation, and performance related to a network service.

Abstract translation: 本文公开了一种用于在网络功能虚拟化（NFV）环境中验证网络服务的方法和装置。 该方法包括执行与网络服务相关的功能，操作和性能中的至少一个的验证，以及将验证结果发送到与网络服务相关的实体。 无论是提前还是在运行时，验证装置都可以在NFV环境中执行网络服务时发生故障，并进行与网络服务相关的功能，操作和性能中的至少一个的验证。

公开(公告)号：US20170141944A1

公开(公告)日：2017-05-18

申请号：US15339133

申请日：2016-10-31

Applicant: ELECTRONICS AND TELECOMMUNICATIONS RESEARCH INSTITUTE

Inventor： Seung-Ik LEE ,  Yun-Chul CHOI ,  Myung-Ki SHIN ,  Jong-Hwa YI ,  Ji-Hyun LEE

IPC: H04L12/24 ,  H04L29/06 ,  H04L29/08

CPC classification number: H04L41/04 ,  H04L41/044 ,  H04L41/0866 ,  H04L41/0893 ,  H04L41/5054 ,  H04L67/10 ,  H04L67/42 ,  H04L69/40

Abstract: Disclosed herein is a method for managing network resources required in a Network Function Virtualization (NFV) environment. A verifier for Network Function Virtualization (NFV) resource allocation includes a network information reception unit for receiving information about network services from Operations Support Systems (OSS) or Business Support Systems (BSS) in an NFV environment, a combination information generation unit for generating combination information made when Virtualized Network Functions (VNFs) required by each network service are allocated to physical or virtual network resources, based on the received network service information, and a verification unit for verifying whether the combination information is applicable to available network resources in the NFV environment. Accordingly, a network service provider and a network administrator may detect problems related to resource availability in advance, thus more securely deriving the design of network services and the planning to secure network resources.

公开(公告)号：US20150227411A1

公开(公告)日：2015-08-13

申请号：US14618060

申请日：2015-02-10

Applicant: ELECTRONICS AND TELECOMMUNICATIONS RESEARCH INSTITUTE

Inventor： Jong-Hwa YI ,  Yun-Chul CHOI ,  Seung-Ik LEE ,  Myung-Ki SHIN ,  Hyoung-Jun KIM

IPC: G06F11/07 ,  H04L29/08 ,  G06F9/54

CPC classification number: G06F11/0784 ,  G06F11/3608

Abstract: Disclosed herein is technology for formal verification of a network service chain in a software-defined networking environment. In an embodiment, a verification support apparatus for formal verification of a network service chain includes a Network Service Chain (NSC) descriptor information reception unit for receiving NSC descriptor information from an application program. An NSC configuration unit configures an NSC of multiple network services using the received NSC descriptor information. A verification request unit requests formal verification of each network service in the configured NSC from a formal verification unit.

Abstract translation: 这里公开了用于软件定义的网络环境中的网络服务链的形式验证的技术。 在一个实施例中，用于网络服务链的形式验证的验证支持装置包括用于从应用程序接收NSC描述符信息的网络服务链（NSC）描述符信息接收单元。 NSC配置单元使用接收到的NSC描述符信息来配置多个网络服务的NSC。 验证请求单元从形式验证单元请求在配置的NSC中的每个网络服务的形式验证。

公开(公告)号：US20140351801A1

公开(公告)日：2014-11-27

申请号：US14284768

申请日：2014-05-22

Applicant: ELECTRONICS AND TELECOMMUNICATIONS RESEARCH INSTITUTE

Inventor： Myung-Ki SHIN ,  Yun-Chul CHOI ,  Jong-Hwa YI ,  Seung-Ik LEE ,  Hyoung-Jun KIM

IPC: G06F9/45

CPC classification number: G06F8/41 ,  G06F8/43 ,  H04L45/00

Abstract: The present invention relates to a formal technique-based verification apparatus and method for verifying software-defined networking. In accordance with an embodiment, a formal verification apparatus for Software-Defined Networking (SDN), includes a formal language creation unit for collecting flow table information for an entire network topology in response to a request of a SDN control unit, and creating description code in a predefined formal language based on the collected flow table information. A Symbolic Transition Graph (STG) generation unit generates a symbolic transition graph using the created description code in the formal language. A verification execution unit performs verification by applying formal verification technology to the symbolic transition graph.

Abstract translation: 本发明涉及用于验证软件定义的网络的基于形式技术的验证装置和方法。 根据实施例，用于软件定义网络（SDN）的形式验证装置包括形式语言创建单元，用于响应于SDN控制单元的请求而收集整个网络拓扑的流表信息，并且创建描述码 基于收集的流表信息以预定义的形式语言。 符号转换图（STG）生成单元使用形式语言中创建的描述代码生成符号转换图。 验证执行单元通过将形式验证技术应用于符号转换图来执行验证。