Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Development of Controllers Usi...

Development of Controllers Using Simulink and Contract-Based Design

Pontus Boström, Mikko Heikkilä, Mikko Huova, Matti Linjama, Marta Olszewska, Kaisa Sere, Marina Waldén, Development of Controllers Using Simulink and Contract-Based Design. In: Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, 151–169, IGI Global, 2011.

http://dx.doi.org/10.4018/978-1-60960-747-0.ch008

Abstract:

This chapter describes the application of contract-based design in Simulink to the development of a digital hydraulic controller. A semi-formal approach to the development is used, where contracts are used to aid the structuring of the system and for creating interface specifications for components that can later be used for testing. An analysis of the influence of the contracts on the development process and system quality is provided to evaluate the effectiveness of the method. It was concluded that contract-based design can significantly aid the development of high quality Simulink models.

BibTeX entry:

@INBOOK{cBoHeHuLiOlSeWa11a,
  title = {Development of Controllers Using Simulink and Contract-Based Design},
  booktitle = {Dependability and Computer Engineering: Concepts for Software-Intensive Systems},
  author = {Boström, Pontus and Heikkilä, Mikko and Huova, Mikko and Linjama, Matti and Olszewska, Marta and Sere, Kaisa and Waldén, Marina},
  editor = {Petre, Luigia and Sere, Kaisa and Troubitsyna, Elena},
  publisher = {IGI Global},
  pages = {151–169},
  year = {2011},
}

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

Publication Forum rating of this publication: level 1

Edit publication