Abstract:
Provided is a communication method and apparatus using network slicing. A communication method of a communication apparatus performing communication with a user equipment receives a predetermined request from the user equipment, selects a single network slice instance to be allocated to the user equipment from among a plurality of network slice instances in the communication apparatus in response to the request, selects a single network function instance to be allocated to the user equipment from among a plurality of network function instances included in the selected network slice instance. The network slice instance is in an instantiated form of a network slice that includes at least one network function and resource for providing a network service having a predetermined capability and characteristic to the user equipment.
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 first Bluetooth terminal having a short range communication module that is set as an anchor searches for a peripheral Bluetooth terminal and transmits information of the found Bluetooth terminal to a place management server. The place management server updates place information of a user of the found Bluetooth terminal to place information of the first Bluetooth terminal and transmits the updated place information to the found Bluetooth terminal.
Abstract:
A knowledge service synchronization apparatus transmits a knowledge request message from a knowledge consumer to a knowledge server, receives a knowledge response message to the knowledge request message from the knowledge server, and outputs knowledge contents that the knowledge consumer requests. In this case, when the knowledge response message is an update message including updated knowledge contents, the knowledge service synchronization apparatus determines an output of knowledge contents of the update message according to whether the knowledge consumer wants to receive updated knowledge.
Abstract:
Provided is a method of optimizing a network data analytics function device is disclosed. In the optimization method, the network data analytics function device may collect network data according to a request for analysis of network data received from the consumer network function device, and provide analytics information, which is a result of analyzing the network data, to the consumer network function device. The network data analytics function device may receive a feedback on the analytics information from the consumer network function device, and adjust a method of analyzing network data based on the feedback.
Abstract:
A network data collection method from application function device for network data analytic function is disclosed. The network data collection method includes transmitting a Naf_EventExposure_Subscribe message for a subscription of an event into an application function (AF) device; and receiving a Naf_EventExposure_Notify message from the AF device when the NWDAF subscribes the event.
Abstract:
There is provided a method in which a Service Function Forwarding node (SFF) processes traffic. The SFF determines whether a first Service Function Instant (SFI) is in the state of being able to process traffic. The first SFI is locally connected to the SFF, and implements a Service Function (SF) for the processing of traffic. It is determined whether the first SFI is in the state of being able to process traffic. When the first SFI is in the state of being unable to process traffic, the processing of the traffic is requested from a second SFI in which the same SF has been implemented.
Abstract:
An apparatus and method for providing a message based on an object are disclosed. The apparatus includes an object management unit, a message management unit, a notification processing unit, and a reading processing unit. The object management unit performs the registration, authentication and deletion of an object based on object identification information and object authentication information transmitted from a message generation terminal. The message management unit connects a first message and message control information, transmitted from the message generation terminal, to the corresponding object. The notification processing unit provides notification of the arrival of the first message to a message reception terminal based on a message notification condition included in the message control information. The reading processing unit processes the reading of the first message of the message reception terminal based on object authentication information and a message reading condition included in the message control information.
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:
An apparatus for authoring a task includes a scenario extracted information input unit configured to receive data, an event, and behavior information that are extracted from a task scenario; and a partial behavior information generator configured to extract and write partial behavior rules/sequences based on the received data, event, and behavior information. Further, the apparatus includes an overall behavior information generator configured to set relationship between the written partial behavior rules/sequences and integrate the partial behavior rules/sequences according to the set relationship to write overall behavior rules/sequences; and a task conversion unit configured to convert the written overall behavior rules/sequences into a task which a robot and/or an intelligent agent may execute.