According to one embodiment, a method of verifying a drone provided in an Industrial Internet of Things (IIoT) using petri net modeling includes: a modeling step of modeling the IIoT with a hierarchical petri net; and a verifying step of verifying the presence or absence of security vulnerability of the drone based on a hierarchical petri net model, wherein the verifying step determines the presence of the security vulnerability on the drone when at least one of a plurality of determination factors provided in the hierarchical petri net model with a place determines that operation of the drone is abnormal.

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


    Access

    Download


    Export, share and cite



    Title :

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


    Additional title:

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


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

    Publication date :

    2019-11-29


    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



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

    YOU IL SUN / SHARMA VISHAL / CHOUDHARY GAURAV et al. | European Patent Office | 2020

    Free access

    Internet of things could enable drones

    Garrett, Lawrence | Online Contents | 2017


    Internet of Drones

    Gharibi, Mirmojtaba / Boutaba, Raouf / Waslander, Steven L. | ArXiv | 2016

    Free access

    Verifying properties of Ada designs using colored Petri nets

    MCLENDON, JR., WILLIAM / VIDALE, RICHARD | AIAA | 1991


    Verifying concurrent system behavior with Petri net invariants

    VIDALE, R. / FUJITA-YUHAS, T. | AIAA | 1991