A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis

Takuto Yamauchi; Takanori Hirano; Jialong Li; Takafumi Kawasaki; Yin Chen; Akira Tsuge; Tadashi Okoshi; Jin Nakazawa; Nobukazu Yoshioka; Georgios Palaiokrassas; Antonios Litke; Kenji Tei

doi:10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033

A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis

Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, Kenji Tei

環境情報学部

研究成果: Conference contribution

抄録

We present a controller to Node-RED translator (CNT), a tool for developing Node-RED systems that are safe and easy to update continuously. CNT introduces the discrete controller synthesis to conventional Node- Redsystems to provide a guarantee of flow correctness (safety). Flow correctness, which essentially means that the nodes fire at the timing intended by the designer, is crucial in smart city systems that require frequent application updates with no room for design errors. In this work, we propose a method for developing a Node- Redsystem using CNT along with its accompanying algorithm. We also report the results of experiments that demonstrate the usefulness of the proposed method.

本文言語	English
ホスト出版物のタイトル	Proceedings - IEEE Congress on Cybermatics
ホスト出版物のサブタイトル	2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021
編集者	James Zheng, Xiao Liu, Tom Hao Luan, Prem Prakash Jayaraman, Haipeng Dai, Karan Mitra, Kai Qin, Rajiv Ranjan, Sheng Wen
出版社	Institute of Electrical and Electronics Engineers Inc.
ページ	130-137
ページ数	8
ISBN（電子版）	9781665417624
DOI	https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033
出版ステータス	Published - 2021
イベント	2021 IEEE Congress on Cybermatics: 14th IEEE International Conferences on Internet of Things, iThings 2021, 17th IEEE International Conference on Green Computing and Communications, GreenCom 2021, 2021 IEEE International Conference on Cyber Physical and Social Computing, CPSCom 2021 and 7th IEEE International Conference on Smart Data, SmartData 2021 - Virtual, Melbourne, Australia 継続期間: 2021 12月 6 → 2021 12月 8

出版物シリーズ

名前	Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021

Conference

Conference	2021 IEEE Congress on Cybermatics: 14th IEEE International Conferences on Internet of Things, iThings 2021, 17th IEEE International Conference on Green Computing and Communications, GreenCom 2021, 2021 IEEE International Conference on Cyber Physical and Social Computing, CPSCom 2021 and 7th IEEE International Conference on Smart Data, SmartData 2021
国/地域	Australia
City	Virtual, Melbourne
Period	21/12/6 → 21/12/8

ASJC Scopus subject areas

人工知能
コンピュータネットワークおよび通信
コンピュータサイエンスの応用
情報システムおよび情報管理
再生可能エネルギー、持続可能性、環境
安全性、リスク、信頼性、品質管理
通信

UN SDG

この成果は、次の持続可能な開発目標に貢献しています

文献へのアクセス

10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033

他のファイルとリンク

引用スタイル

Yamauchi, T., Hirano, T., Li, J., Kawasaki, T., Chen, Y., Tsuge, A., Okoshi, T., Nakazawa, J., Yoshioka, N., Palaiokrassas, G., Litke, A., & Tei, K. (2021). A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis. In J. Zheng, X. Liu, T. H. Luan, P. P. Jayaraman, H. Dai, K. Mitra, K. Qin, R. Ranjan, & S. Wen (Eds.), Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021 (pp. 130-137). (Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033

A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis. / Yamauchi, Takuto; Hirano, Takanori; Li, Jialong その他.
Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021. ed. / James Zheng; Xiao Liu; Tom Hao Luan; Prem Prakash Jayaraman; Haipeng Dai; Karan Mitra; Kai Qin; Rajiv Ranjan; Sheng Wen. Institute of Electrical and Electronics Engineers Inc., 2021. p. 130-137 (Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021).

研究成果: Conference contribution

Yamauchi, T, Hirano, T, Li, J, Kawasaki, T, Chen, Y, Tsuge, A, Okoshi, T , Nakazawa, J, Yoshioka, N, Palaiokrassas, G, Litke, A & Tei, K 2021, A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis. in J Zheng, X Liu, TH Luan, PP Jayaraman, H Dai, K Mitra, K Qin, R Ranjan & S Wen (eds), Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021. Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021, Institute of Electrical and Electronics Engineers Inc., pp. 130-137, 2021 IEEE Congress on Cybermatics: 14th IEEE International Conferences on Internet of Things, iThings 2021, 17th IEEE International Conference on Green Computing and Communications, GreenCom 2021, 2021 IEEE International Conference on Cyber Physical and Social Computing, CPSCom 2021 and 7th IEEE International Conference on Smart Data, SmartData 2021, Virtual, Melbourne, Australia, 21/12/6. https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033

Yamauchi T, Hirano T, Li J, Kawasaki T, Chen Y, Tsuge A その他. A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis. In Zheng J, Liu X, Luan TH, Jayaraman PP, Dai H, Mitra K, Qin K, Ranjan R, Wen S, editors, Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021. Institute of Electrical and Electronics Engineers Inc. 2021. p. 130-137. (Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021). doi: 10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033

Yamauchi, Takuto ; Hirano, Takanori ; Li, Jialong その他. / A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis. Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021. editor / James Zheng ; Xiao Liu ; Tom Hao Luan ; Prem Prakash Jayaraman ; Haipeng Dai ; Karan Mitra ; Kai Qin ; Rajiv Ranjan ; Sheng Wen. Institute of Electrical and Electronics Engineers Inc., 2021. pp. 130-137 (Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021).

@inproceedings{40dc82c3c22d4bd29f272b0b3c55708c,

title = "A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis",

abstract = "We present a controller to Node-RED translator (CNT), a tool for developing Node-RED systems that are safe and easy to update continuously. CNT introduces the discrete controller synthesis to conventional Node- Redsystems to provide a guarantee of flow correctness (safety). Flow correctness, which essentially means that the nodes fire at the timing intended by the designer, is crucial in smart city systems that require frequent application updates with no room for design errors. In this work, we propose a method for developing a Node- Redsystem using CNT along with its accompanying algorithm. We also report the results of experiments that demonstrate the usefulness of the proposed method.",

keywords = "Node-RED, data flow, discrete controller synthesis, labeled transition system, smart city system",

author = "Takuto Yamauchi and Takanori Hirano and Jialong Li and Takafumi Kawasaki and Yin Chen and Akira Tsuge and Tadashi Okoshi and Jin Nakazawa and Nobukazu Yoshioka and Georgios Palaiokrassas and Antonios Litke and Kenji Tei",

note = "Funding Information: ACKNOWLEDGMENT The research was partially supported by National Institute of Information and Communications Technology (NICT). Publisher Copyright: {\textcopyright} 2021 IEEE.; 2021 IEEE Congress on Cybermatics: 14th IEEE International Conferences on Internet of Things, iThings 2021, 17th IEEE International Conference on Green Computing and Communications, GreenCom 2021, 2021 IEEE International Conference on Cyber Physical and Social Computing, CPSCom 2021 and 7th IEEE International Conference on Smart Data, SmartData 2021 ; Conference date: 06-12-2021 Through 08-12-2021",

year = "2021",

doi = "10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033",

language = "English",

series = "Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "130--137",

editor = "James Zheng and Xiao Liu and Luan, {Tom Hao} and Jayaraman, {Prem Prakash} and Haipeng Dai and Karan Mitra and Kai Qin and Rajiv Ranjan and Sheng Wen",

booktitle = "Proceedings - IEEE Congress on Cybermatics",

}

TY - GEN

T1 - A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis

AU - Yamauchi, Takuto

AU - Hirano, Takanori

AU - Li, Jialong

AU - Kawasaki, Takafumi

AU - Chen, Yin

AU - Tsuge, Akira

AU - Okoshi, Tadashi

AU - Nakazawa, Jin

AU - Yoshioka, Nobukazu

AU - Palaiokrassas, Georgios

AU - Litke, Antonios

AU - Tei, Kenji

PY - 2021

Y1 - 2021

N2 - We present a controller to Node-RED translator (CNT), a tool for developing Node-RED systems that are safe and easy to update continuously. CNT introduces the discrete controller synthesis to conventional Node- Redsystems to provide a guarantee of flow correctness (safety). Flow correctness, which essentially means that the nodes fire at the timing intended by the designer, is crucial in smart city systems that require frequent application updates with no room for design errors. In this work, we propose a method for developing a Node- Redsystem using CNT along with its accompanying algorithm. We also report the results of experiments that demonstrate the usefulness of the proposed method.

AB - We present a controller to Node-RED translator (CNT), a tool for developing Node-RED systems that are safe and easy to update continuously. CNT introduces the discrete controller synthesis to conventional Node- Redsystems to provide a guarantee of flow correctness (safety). Flow correctness, which essentially means that the nodes fire at the timing intended by the designer, is crucial in smart city systems that require frequent application updates with no room for design errors. In this work, we propose a method for developing a Node- Redsystem using CNT along with its accompanying algorithm. We also report the results of experiments that demonstrate the usefulness of the proposed method.

KW - Node-RED

KW - data flow

KW - discrete controller synthesis

KW - labeled transition system

KW - smart city system

UR - http://www.scopus.com/inward/record.url?scp=85127454485&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85127454485&partnerID=8YFLogxK

U2 - 10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033

DO - 10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033

M3 - Conference contribution

AN - SCOPUS:85127454485

T3 - Proceedings - IEEE Congress on Cybermatics: 2021 IEEE International Conferences on Internet of Things, iThings 2021, IEEE Green Computing and Communications, GreenCom 2021, IEEE Cyber, Physical and Social Computing, CPSCom 2021 and IEEE Smart Data, SmartData 2021

SP - 130

EP - 137

BT - Proceedings - IEEE Congress on Cybermatics

A2 - Zheng, James

A2 - Liu, Xiao

A2 - Luan, Tom Hao

A2 - Jayaraman, Prem Prakash

A2 - Dai, Haipeng

A2 - Mitra, Karan

A2 - Qin, Kai

A2 - Ranjan, Rajiv

A2 - Wen, Sheng

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2021 IEEE Congress on Cybermatics: 14th IEEE International Conferences on Internet of Things, iThings 2021, 17th IEEE International Conference on Green Computing and Communications, GreenCom 2021, 2021 IEEE International Conference on Cyber Physical and Social Computing, CPSCom 2021 and 7th IEEE International Conference on Smart Data, SmartData 2021

Y2 - 6 December 2021 through 8 December 2021

ER -

A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis

抄録

出版物シリーズ

Conference

ASJC Scopus subject areas

UN SDG

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル