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

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. TUCS Technical Reports 821, Turku Centre for Computer Science, 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 systems 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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tBoMoWa07a,
  title = {Stepwise Development of Simulink Models Using the Refinement Calculus Framework},
  author = {Boström, Pontus and Morel, Lionel and Waldén, Marina},
  number = {821},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2007},
  keywords = {Simulink, Design by Contract, Refinement, Action Systems},
  ISBN = {978-952-12-1905-4},
}

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

Edit publication