| Title |
A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis |
| ID_Doc |
41251 |
| Authors |
Yamauchi, T; Hirano, T; Li, JL; Kawasaki, T; Chen, Y; Tsuge, A; Okoshi, T; Nakazawa, J; Yoshioka, N; Palaiokrassas, G; Litke, A; Tei, K |
| Title |
A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis |
| Year |
2021 |
| Published |
|
| DOI |
10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics53846.2021.00033 |
| 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-RED systems 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-RED system using CNT along with its accompanying algorithm. We also report the results of experiments that demonstrate the usefulness of the proposed method. |
| Author Keywords |
discrete controller synthesis; Node-RED; smart city system; labeled transition system; data flow |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Conference Proceedings Citation Index - Science (CPCI-S) |
| EID |
WOS:000795905900018 |
| WoS Category |
Computer Science, Cybernetics; Computer Science, Information Systems; Computer Science, Theory & Methods |
| Research Area |
Computer Science |
| PDF |
|