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)로 구비되는 복수의 판단인자 중 적어도 하나가 상기 드론의 작동을 비정상으로 판단하는 경우, 상기 드론에 보안 취약성이 있는 것으로 판단하는 것일 수 있다.
METHOD FOR VERIFYING DRONE INCLUDED IN INDUSTRIAL INTERNET OF THINGS SYSTEM, BY USING PETRI-NET MODELING
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
페트리 넷 모델링을 이용한 산업용 사물 인터넷 시스템에 구비되는 드론의 검증방법
2020-01-02
Patent
Elektronische Ressource
Koreanisch
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
Europäisches Patentamt | 2019
|