The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study

Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradigms established so far often results in models that are difficult to comprehend and maintain, which severely compromises their practical use. The Kiel Integrated Environment for Layout (KIEL) is a modeling environment for the exploration of alternative editing and representation paradigms. We here report on an adaptation of KIEL to MATLAB Simulink/Stateflow, and on an automotive case study.