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)로 구비되는 복수의 판단인자 중 적어도 하나가 상기 드론의 작동을 비정상으로 판단하는 경우, 상기 드론에 보안 취약성이 있는 것으로 판단하는 것일 수 있다.


    Access

    Download


    Export, share and cite



    Title :

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


    Additional title:

    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
    페트리 넷 모델링을 이용한 산업용 사물 인터넷 시스템에 구비되는 드론의 검증방법


    Contributors:
    YOU IL SUN (author) / SHARMA VISHAL (author) / CHOUDHARY GAURAV (author) / KO YONG HO (author)

    Publication date :

    2020-01-02


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    Korean


    Classification :

    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. | European Patent Office | 2019

    Free access

    Drone system using the Internet of Things

    European Patent Office | 2018

    Free access

    Drone system using the Internet of Things

    CHO HWA JU | European Patent Office | 2018

    Free access

    3 Drone system using the Internet of Things

    KIM YOUNG HYUNG / KIM GWIGUN / LEE SU BIN et al. | European Patent Office | 2019

    Free access

    METHOD FOR VERIFYING STATUS OF DRONE

    European Patent Office | 2018

    Free access