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

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.