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


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

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


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

    Erscheinungsdatum :

    2019-11-29


    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



    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. | Europäisches Patentamt | 2020

    Freier Zugriff

    Internet of things could enable drones

    Garrett, Lawrence | Online Contents | 2017


    Industrial welding drones using object recognition sensors

    LEE CHAN SOL | Europäisches Patentamt | 2021

    Freier Zugriff

    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