Processing

Please wait...

Settings

Settings

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

Publication Number WO/2020/005048
Publication Date 02.01.2020
International Application No. PCT/KR2019/095005
International Filing Date 09.05.2019
IPC
[IPC code unknown for B64F 5/60]
H ELECTRICITY
04
ELECTRIC COMMUNICATION TECHNIQUE
L
TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
29
Arrangements, apparatus, circuits or systems, not covered by a single one of groups H04L1/-H04L27/136
02
Communication control; Communication processing
06
characterised by a protocol
H ELECTRICITY
04
ELECTRIC COMMUNICATION TECHNIQUE
L
TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
29
Arrangements, apparatus, circuits or systems, not covered by a single one of groups H04L1/-H04L27/136
02
Communication control; Communication processing
06
characterised by a protocol
08
Transmission control procedure, e.g. data link level control procedure
B64F 5/60 (2017.01)
H04L 29/06 (2006.01)
H04L 29/08 (2006.01)
CPC
B64F 5/60
H04L 29/06
H04L 29/08
Applicants
  • 순천향대학교 산학협력단 SOONCHUNHYANG UNIVERSITY INDUSTRY ACADEMY COOPERATION FOUNDATION [KR/KR]; 충청남도 아산시 신창면 순천향로 22 22, Soonchunhyang-ro, Sinchang-myeon, Asan-Si, Chungcheongnam-do 31538, KR
Inventors
  • 유일선 YOU, Il Sun; KR
  • 샤마비샬 SHARMA, Vishal; KR
  • 초드하리가우라브 CHOUDHARY, Gaurav; KR
  • 고용호 KO, Yong Ho; KR
Agents
  • 김태선 KIM, Tae Sun; KR
Priority Data
10-2018-007581229.06.2018KR
Publication Language Korean (KO)
Filing Language Korean (KO)
Designated States
Title
(EN) METHOD FOR VERIFYING DRONE INCLUDED IN INDUSTRIAL INTERNET OF THINGS SYSTEM, BY USING PETRI-NET MODELING
(FR) 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
(KO) 페트리 넷 모델링을 이용한 산업용 사물 인터넷 시스템에 구비되는 드론의 검증방법
Abstract
(EN)
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.
(FR)
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.
(KO)
드론의 검증방법의 일 실시예는, 페트리 넷 모델링을 이용한 산업용 사물 인터넷(Industrial Internet of Things, IIoT) 시스템에 구비되는 드론의 검증방법에 있어서, 상기 산업용 사물 인터넷 시스템을 계층형 페트리 넷으로 모델링하는 모델링단계; 및 계층형 페트리 넷 모델에 기초하여 상기 드론의 보안 취약성 존재여부를 검증하는 검증단계를 포함하고, 상기 검증단계는, 상기 계층형 페트리 넷 모델에 플레이스(place)로 구비되는 복수의 판단인자 중 적어도 하나가 상기 드론의 작동을 비정상으로 판단하는 경우, 상기 드론에 보안 취약성이 있는 것으로 판단하는 것일 수 있다.
Latest bibliographic data on file with the International Bureau