Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Stepwise Development of Simuli...

Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Pontus Boström, Lionel Morel, Marina Waldén, Stepwise Development of Simulink Models Using the Refinement Calculus Framework. In: Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.), Theoretical Aspects of Computing - ICTAC2007, Lecture Notes in Computer Science 4711, 79–93, Springer, 2007.

Abstract:

Simulink is a popular tool for model-based development of control
systems. However, due to the complexity caused by the increasing
demand for sophisticated controllers, validation of Simulink models
is becoming a more difficult task. To ensure correctness and
reliability of large models, it is important to be able to reason about
model parts and their interactions. This paper provides a definition
of contracts and refinement using the action system formalism.
Contracts enable abstract specifications of model parts, while
refinement offers a framework to reason about correctness of
implementation of contracts, as well as composition of model parts.
An example is provided to illustrate system development using
contracts and refinement.

BibTeX entry:

@INPROCEEDINGS{inpBoMoWa07a,
  title = {Stepwise Development of Simulink Models Using the Refinement Calculus Framework},
  booktitle = {Theoretical Aspects of Computing - ICTAC2007},
  author = {Boström, Pontus and Morel, Lionel and Waldén, Marina},
  volume = {4711},
  series = {Lecture Notes in Computer Science},
  editor = {Jones, Cliff B. and Liu, Zhiming and Woodcock, Jim},
  publisher = {Springer},
  pages = {79–93},
  year = {2007},
  keywords = {Simulink, Action systems, Refinement, Control systems, Design by Contract},
}

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

Publication Forum rating of this publication: level 1

Edit publication