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
N1 - Funding Information:
ACKNOWLEDGMENT The research was partially supported by National Institute of Information and Communications Technology (NICT).
Publisher Copyright:
© 2021 IEEE.
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 -
