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. The authors here report on an adaptation of KIEL to MATLAB Simulink/Stateflow, and on an automotive case study. The generic concept and infrastructure of KIEL have proven to be very flexible, the adaptation of the KIEL environment to Stateflow did not pose particular problems. Due to the fairly complex semantics of Stateflow the authors have opted to not build an internal simulator, as had been the case for Safe State Machines, but instead to build a gateway to the original Stateflow simulator. To that end, the powerful and reasonably well documented Stateflow API has been helpful. The automotive case study has been very valuable for validating the KIEL/Stateflow adaptation, and for assessing the efficacy of KIEL as a platform for modeling complex reactive systems. As the application has not been developed within KIEL, but rather imported from another tool, the authors did not get to investigate the effectiveness of KIEL's built-in editing capabilities, but the authors gained insights on the layout and simulation capabilities. Overall, the authors did see their original hypotheses on the value of automated layout and adaptive views during simulation confirmed.
The use of complex stateflow-charts with KIEL - an automotive case study
Die Verwendung komplexer Stateflow-Charts mit KIEL - eine Fallstudie im Automobilbereich
Informatik trifft Logistik, INFORMATIK, Jahrestagung der Gesellschaft für Informatik e.V., 37 ; 564-568
2007
5 Seiten, 2 Bilder, 8 Quellen
Aufsatz (Konferenz)
Englisch
Drivetrain system design in Simulink and Stateflow
Tema Archiv | 1998
|Drivetrain System Design in Simulink and Stateflow
British Library Conference Proceedings | 1998
|SAE Technical Papers | 2006
|