• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow

Pontus Boström, Lionel Morel, Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow. TUCS Technical Reports 830, Turku Centre for Computer Science, 2007.

Abstract:

As embedded control systems are becoming more complex, there is a
need for new software development and structuring techniques. The
combination Simulink/Stateflow has become a popular tool for
model-based design for this type of hybrid systems, due to the
simulation and analysis tools available. To enable design and
validation of large complex systems in Simulink/Stateflow, an
appropriate model architecture is needed. Mode-automata is such an
architecture, where control is strictly separated from signal
processing. In this paper we give a formal definition of
mode-automata in Simulink/Stateflow. This gives a precise definition
of an architecture that restricts Simulink/Stateflow to a safe and
easy to use subset that is easy to verify, but still usable in
practice. We propose syntactic rules to check that a given
Simulink/Stateflow model complies to our mode-automata architecture
and we illustrate the approach with a controller for a digital
hydraulics system.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBoMo07a,
  title = {Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow},
  author = {Boström, Pontus and Morel, Lionel},
  number = {830},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2007},
  keywords = {Mode-automata, Simulink, Stateflow, Embedded Controllers, Architecture},
  ISBN = {978-952-12-1922-1},
}

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

Edit publication