Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Mode-Automata in Simulink/Stat...

Mode-Automata in Simulink/Stateflow

Pontus Boström, Lionel Morel, Mode-Automata in Simulink/Stateflow. TUCS Technical Reports 772, Turku Centre for Computer Science, 2006.

Abstract:

This paper presents an application of the mode-automata based design method to Stateflow/Simulink. The observation we make is two fold. First, we realized that modeautomata, being one of the most convincing proposition made recently to separate control from signal processing, is only starting to be applied to industrial tools. Second, although the separation of control and signal processing is somehow effective in Stateflow/Simulink, the lack of formal definition does not lead to a valuable interpretation.

<p>The goal of the work presented in this paper is to make these two approaches converge. We introduce a formalisation of Stateflow/Simulink where the language has been reduced so that to fit the mode-automata approach and thus restrict the expressive power of Stateflow in a way still suitable to real-life application. We then illustrate the approach with a small application in digital hydraulics controller development.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBoMo06a,
  title = {Mode-Automata in Simulink/Stateflow},
  author = {Boström, Pontus and Morel, Lionel},
  number = {772},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2006},
  ISBN = {952-12-1737-5},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication