Abstract:
Disclosed herein is a method and apparatus for providing a gateway function. The gateway function may be provided through interaction between a gateway and a server. In providing the gateway function, the gateway may provide a relatively lower layer, and the server may provide a relatively upper layer. The server may provide a gateway function in an NFV manner. The gateway may perform processing by calling a mapping function of the NFV type provided by the server. The server may be one of cloud servers providing an NFV pool.
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:
A sensor node address management data structure and a method of managing a sensor network using an identifier of a sensor node can provide a single management system based on ID information used to identify the sensor node even though a sensor network management system does not provide a plurality of management systems based on an individual identification system for sensor networks and sensor nodes that are to be built in a variety of network environments. The sensor node address management data structure that is managed by a network management system for managing a sensor network includes: a first field including an identifier allocated to a sensor node; a second field indicating a network management type of the sensor node to make a connection to the sensor network; and a third field providing address information on the sensor node necessary for the connection to the sensor network.
Abstract:
Disclosed herein are a vehicle emergency notification method and apparatus using interaction with an external terminal. Some of functions of a conventional vehicle emergency notification apparatus are performed by a replaceable or detachable external terminal. The apparatus may provide notification of a vehicle emergency via interaction with the external terminal. The external terminal generates a Minimum Set of Data (MSD) related to an accident involving the vehicle. A proxy Public Safety Answering Point (PSAP) receives the MSD from the external terminal. The PSAP finally determines whether an accident involving the vehicle has occurred via interaction with a proxy PSAP FE and interaction with a vehicle occupant, and requests dispatch from an emergency agency if it is finally determined that the accident involving the vehicle has occurred.
Abstract:
Disclosed herein are an apparatus and method for identifying interoperability between object-identifier-based heterogeneous identifier nodes for a next generation network. The apparatus includes a plurality of identifier registry servers located in a plurality of unit networks connected to an open network, and configured to receive and store identifiers and locators of nodes of corresponding unit networks, and also configured to, as identifiers of destination nodes that are communication target nodes are input from nodes of the unit networks, return locators of the destination nodes, wherein unique object identifiers are assigned to the identifier registry servers. An object identifier resolution server is located in the open network, and is configured to receive and store object identifiers and locators of the identifier registry servers, and is also configured to, as object identifiers are input from nodes of the unit networks, transfer locators of identifier registry servers to the nodes.
Abstract:
An apparatus and a method for network monitoring and packet inspection capable of performing network monitoring and packet inspection in real time in a network system are disclosed. In accordance with an embodiment of the present invention, the apparatus for monitoring and packet inspection includes: a controller configured to transmit and receive an open flow protocol message and perform a network control; and a switch configured to include a flow table for data transfer and a security channel for connection with the controller, wherein the flow table includes target information which is information on a flow on which a user performs the monitoring and packet inspection.
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:
Disclosed herein is an information service system using direct communication between vehicles for machine-to-machine (M2M)-based intelligent transport services (ITS). The information service system includes at least one vehicle ITS station and at least one roadside device. The vehicle station and the roadside device exchange information with a server. The vehicle ITS station includes an ITS-S host configured to perform overall control, an ITS-S router configured to connect with a short or long distance communication network, to form a communication network, and to perform transmission and reception of data, and a vehicle ITS-S gateway configured to provide data received from an outside of the vehicle ITS station, that is, data provided from an electronic control unit (ECU) or a variety of types of sensors on a vehicle. The ITS-S host, the ITS-S router and the vehicle ITS-S gateway are connected over an ITS station-internal network, thereby forming a vehicle-mounted device.