Interactive Incremental Hardware Synthesis for SCCharts

SCCharts [vHDM+14] is a synchronous visual language used for the modeling of embedded reactive systems. SCCharts are under development within the context of KIELER. KIELER is a research project of the real-time and embedded systems group of Kiel University. The KIELER Compiler (KiCo) provides various model-to-model transformations originating in SCCharts and uses the interactive incremental approach [MSvH14]. Models transformed by the KIELER Compiler within its compilation chain have the same behavior as the original SCChart model but come with various information content. Adapting the incremental approach, this thesis proposes a further transformation. It synthesizes circuits from SCCharts by using a sequentialized representation of SCCharts to identify data-flow dependencies. Those dependencies occur if multiple writes to one variable exist within one program. In a first step the sequentialized model is transformed into a Static Single Assignment [CFR+91] form, resolving the data-flow problems. This form then is synthesized into hardware which can be visualized and simulated in the KIELER SCCharts framework. Integrating the transformations listed above for the hardware synthesis guarantees the tool chain and the model-to-model transformations to be continuous and incremental. Since the KIELER SCCharts framework offers a multifunctional user interface, the user may interact with the modeled program. More precisely, the user may choose target models and modify the original model as well as simulate models individually or side by side. This interactive incremental improves understandability, traceability or optimization issues.