US 11,914,720 B2
Method for verifying drone included in industrial internet of things system, by using petri-net modeling
Il Sun You, Asan-Si (KR); Vishal Sharma, Asan-Si (KR); Gaurav Choudhary, Asan-Si (KR); and Yong Ho Ko, Asan-Si (KR)
Assigned to SOONCHUNHYANG UNIVERSITY INDUSTRY ACADEMY COOPERATION FOUNDATION, Asan-si (KR)
Appl. No. 17/255,497
Filed by SOONCHUNHYANG UNIVERSITY INDUSTRY ACADEMY COOPERATION FOUNDATION, Asan-si (KR)
PCT Filed May 9, 2019, PCT No. PCT/KR2019/095005
§ 371(c)(1), (2) Date Dec. 23, 2020,
PCT Pub. No. WO2020/005048, PCT Pub. Date Jan. 2, 2020.
Claims priority of application No. 10-2018-0075812 (KR), filed on Jun. 29, 2018.
Prior Publication US 2021/0279339 A1, Sep. 9, 2021
Int. Cl. G06F 21/57 (2013.01); G06N 7/00 (2023.01); H04L 9/40 (2022.01); H04L 67/12 (2022.01)
CPC G06F 21/577 (2013.01) [G06N 7/00 (2013.01); H04L 63/08 (2013.01); H04L 67/12 (2013.01)] 5 Claims
OG exemplary drawing
 
1. A method of verifying a drone included in an industrial Internet of things (IIoT) system using petri net modeling, the method comprising:
a modeling step of modeling the industrial Internet of things system into a hierarchical type petri net; and
a verification step of verifying whether security vulnerability is present in the drone based on a hierarchical type petri net model,
wherein the verification step comprises determining that the security vulnerability is present in the drone when at least one of a plurality of determination factors included as places in the hierarchical type petri net model determines an operation of the drone to be abnormal;
wherein the IIoT system comprises:
a user terminal supporting a user;
a first access point connected to the user terminal;
a core connected to the first access point and interconnecting the user and an Internet of Things (IoT) apparatus;
a drone connected to the core in a way to communicate with the core and provided in plural;
a second access point connected to the drone;
a first IoT apparatus connected to the second access point and provided to be capable of bidirectional communication with the user; and
a second IoT apparatus connected to the first IoT apparatus, and
wherein the hierarchical type petri net model comprises:
a first layer provided as a petri net modeled from the user terminal;
a second layer provided as a petri net modeled from the first access point;
a third layer provided as a petri net modeled from the core;
a fourth layer provided as a petri net modeled from the drone;
a fifth layer provided as a petri net modeled from the second access point;
a sixth layer provided as a petri net modeled from the first IoT apparatus; and
a seventh layer provided as a petri net modeled from the second IoT apparatus.