著者

藤田 真太郎 澤田 賢治 新 誠一 細川 嵩

出版者

公益社団法人 計測自動制御学会

雑誌

計測自動制御学会論文集 (ISSN:04534654)

巻号頁・発行日

vol.57, no.8, pp.367-377, 2021 (Released:2021-08-20)

参考文献数

21

---

Since the damage from cyber-attacks increases, there is an urgent need to research and develop security countermeasures for control systems. In the control system, the controller is an important device. This paper then considers a whitelisting system that models the normal operation sequence of a PLC (Programmable Logic Controller) and detects deviations from the model as abnormal. We propose three methods to auto-generate the whitelisting system by LD (Ladder Diagram): Petri net model generation, constraint condition derivation, and LD conversion. The first method generates Petri net models form SFCs (Sequential Function Charts) that are compatible with LDs. The second method derives whitelist conditions from Petri net models to check whether PLC performs the correct operation sequence. The third method implements the whitelist conditions into LD. The auto-generated whitelisting system enables us to monitor the state transitions of the PLC programs. Further, this paper carries out an experimental validation of the methods using a testbed system.

著者

藤田 真太郎 秦 康祐 望月 明典 澤田 賢治 新 誠一 細川 嵩

出版者

自動制御連合講演会

雑誌

自動制御連合講演会講演論文集 第60回自動制御連合講演会

巻号頁・発行日

pp.132-135, 2017 (Released:2017-12-18)

著者

藤田 真太郎 澤田 賢治

出版者

一般社団法人 電気学会

雑誌

電気学会誌 (ISSN:13405551)

巻号頁・発行日

vol.142, no.4, pp.212-214, 2022-04-01 (Released:2022-04-01)

参考文献数

9

---

1.はじめに産業用制御システム(Industrial Control System:ICS)は,発電や配水などの社会インフラとして重要な役割を担っている。特注品だったICSはここ約20年で設計開発の簡易化や標準化のための標準OS(Windows,Linux)の搭載や遠隔操作・監視のためのネットワーク化が