In one embodiment of the present invention, a method for verifying a drone included in an industrial Internet of Things (IIoT) system, by using petri-net modeling, according to one embodiment, comprises: a modeling step of modeling the IIoT system as a hierarchical petri-net; and a verification step of verifying whether the drone has security vulnerability on the basis of the hierarchical petri-net model, wherein the verification step can determine that the drone has security vulnerability when at least one of a plurality of determination factors provided as places to the hierarchical petri-net model determines that the drone is operating abnormally.

    Un mode de réalisation de la présente invention concerne un procédé de vérification d'un drone inclus dans un système de l'internet des objets industriels (IIoT), en utilisant une modélisation de réseau de Pétri. Selon un mode de réalisation, le procédé comprend : une étape de modélisation consistant à modéliser le système IIoT sous la forme d'un réseau de Pétri hiérarchique ; et une étape de vérification consistant à vérifier si le drone présente une vulnérabilité de sécurité sur la base du modèle de réseau de Pétri hiérarchique, l'étape de vérification pouvant déterminer que le drone a une vulnérabilité de sécurité lorsqu'au moins l'un d'une pluralité de facteurs de détermination fournis en tant qu'emplacements au modèle de réseau de Pétri hiérarchique détermine que le drone fonctionne anormalement.

    드론의 검증방법의 일 실시예는, 페트리 넷 모델링을 이용한 산업용 사물 인터넷(Industrial Internet of Things, IIoT) 시스템에 구비되는 드론의 검증방법에 있어서, 상기 산업용 사물 인터넷 시스템을 계층형 페트리 넷으로 모델링하는 모델링단계; 및 계층형 페트리 넷 모델에 기초하여 상기 드론의 보안 취약성 존재여부를 검증하는 검증단계를 포함하고, 상기 검증단계는, 상기 계층형 페트리 넷 모델에 플레이스(place)로 구비되는 복수의 판단인자 중 적어도 하나가 상기 드론의 작동을 비정상으로 판단하는 경우, 상기 드론에 보안 취약성이 있는 것으로 판단하는 것일 수 있다.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    METHOD FOR VERIFYING DRONE INCLUDED IN INDUSTRIAL INTERNET OF THINGS SYSTEM, BY USING PETRI-NET MODELING


    Weitere Titelangaben:

    PROCÉDÉ DE VÉRIFICATION DE DRONE COMPRIS DANS UN SYSTÈME DE L'INTERNET DES OBJETS INDUSTRIELS, AU MOYEN D'UNE MODÉLISATION DE RÉSEAU DE PÉTRI
    페트리 넷 모델링을 이용한 산업용 사물 인터넷 시스템에 구비되는 드론의 검증방법


    Beteiligte:
    YOU IL SUN (Autor:in) / SHARMA VISHAL (Autor:in) / CHOUDHARY GAURAV (Autor:in) / KO YONG HO (Autor:in)

    Erscheinungsdatum :

    2020-01-02


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Koreanisch


    Klassifikation :

    IPC:    B64F GROUND OR AIRCRAFT-CARRIER-DECK INSTALLATIONS SPECIALLY ADAPTED FOR USE IN CONNECTION WITH AIRCRAFT , Boden- oder Flugzeugträgerdeckeinrichtungen besonders ausgebildet für die Verwendung in Verbindung mit Luftfahrzeugen / H04L TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION , Übertragung digitaler Information, z.B. Telegrafieverkehr



    A method for verifying drones in Industrial Internet of Things using Petri net modeling

    YOU IL SUN / VISHAL SHARMA / GAURAV CHOUDHARY et al. | Europäisches Patentamt | 2019

    Freier Zugriff

    Drone system using the Internet of Things

    Europäisches Patentamt | 2018

    Freier Zugriff

    Drone system using the Internet of Things

    CHO HWA JU | Europäisches Patentamt | 2018

    Freier Zugriff

    3 Drone system using the Internet of Things

    KIM YOUNG HYUNG / KIM GWIGUN / LEE SU BIN et al. | Europäisches Patentamt | 2019

    Freier Zugriff

    METHOD FOR VERIFYING STATUS OF DRONE

    Europäisches Patentamt | 2018

    Freier Zugriff