Mode-automata based methodology for Scade

Abstract. In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data ow parts. This methodology allows to facilitate the specication of dierent kinds of systems and to have a better readabil-ity. It also permits to separate the study of the dierent parts by using the most appropriate existing tools for each of them. Following this idea, we are particularly interested in the notion of running modes and in the Scade tool. Scade is a graphical development environment coupling data processing and state machines (modeled by the synchronous languages Lustre and Esterel). It can be used to specify, simulate, verify and generate C code. However, this tool does not follow any design methodology, which often makes dicult the understanding and the re-use of existing applications. We will show that it is also dicult to separate control and data ow parts using Scade. Regulation systems are better specied using mode-automata which allow adding an automaton structure to data ow specications written in Lustre. When we observe the mode-structure of the mode-automaton, we clearly see where the modes dier and the conditions for changing modes. This makes it possible to better understand the behavior of the system. In this work, we try to combine the advantages of Scade and running modes, in order to develop a new design methodology which facilitates the study of several systems by respecting the separation between control and data ows. This schema is illustrated through the Climate case study suggested by Esterel Technologies1, in order to exhibit the benets of our approch compared to the one advocated in Scade.