In the Matlab Simulink environment, systems can be modelled using Simulink block diagrams and Stateflow state charts. While stateful logic is more naturally modelled using Stateflow, in practice complex block diagrams are often used instead, resulting in models that are hard to understand and maintain. In order to improve the maintainability and understandability of large industrial models, this paper presents a strategy for refactoring Simulink block diagrams implementing stateful logic into functionally equivalent Stateflow state charts that more naturally represent the intended behaviour. To bridge the gap between the syntax of block diagrams and state charts, Mealy machines represented by tabular expressions are used as an intermediate representation. The compositional language of block diagrams is used to combine tables modelling individual blocks into a table for the entire block diagram which describes the high level state machine encoded in the Simulink subsystem. A prototype tool that performs the translation from Simulink to Stateflow automatically is discussed.
Thu 11 Apr Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:30 | Software Evolution & Requirements EngineeringFASE at JUPITER Chair(s): Gabriele TaentzerUniversität Marburg | ||
10:30 30mTalk | Structural and Nominal Cross-Language Clone Detection FASE Link to publication | ||
11:00 30mTalk | SL2SF: Refactoring Simulink to Stateflow FASE Link to publication | ||
11:30 30mTalk | Metric Temporal Graph Logic over Typed Attributed Graphs FASE Holger GieseHasso Plattner Institute, University of Potsdam, Maria Maximova, Lucas Sakizloglou, Sven Schneider Link to publication | ||
12:00 15mTalk | KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs FASE Link to publication | ||
12:15 15mTalk | Business Process Privacy Analysis in PLEAK FASE Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-BañuelosUniversity of Tartu, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom Link to publication |