| 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 | |
| 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. |
No similar articles found.