Development of Controllers Using Simulink and Contract-Based Design-Reference-Cited by-同舟云学术

Development of Controllers Using Simulink and Contract-Based Design

Published:2012 Issue: Volume: Page:151-169
ISSN:2327-039X
Container-title:Dependability and Computer Engineering
language:
Short-container-title:

Author:

Boström Pontus¹,Huova Mikko²,Olszewska Marta (Plaska)³,Linjama Matti²,Heikkilä Mikko²,Sere Kaisa¹,Waldén Marina¹

Affiliation:

1. Åbo Akademi University, Finland

2. Tampere University of Technology, Finland

3. Marta (Plaska) OlszewskaÅbo Akademi University & Turku Centre for Computer Science , Finland

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.

Publisher

IGI Global

Reference27 articles.

1. Back, R.-J. R., & Kurki-Suonio, R. (1983). Decentralization of process nets with centralized control. 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, (pp. 131-142).

2. Stepwise refinement of action systems.;R.-J. R.Back;Structured Programming,1991

3. Back, R.-J. R., & von Wright, J. (1994). Trace refinement of action systems. In B. Jonsson, & J. Parrow (Eds.), Proceedings of the 5th International Conference on Concurrency Theory, CONCUR'94: LNCS 836, (pp. 367-384). Heidelberg, Germany: Springer-Verlag.

4. Barnett, M., Leino, K. R., & Schulte, W. (2004). The Spec# programming system: An overview. In G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, & T. Muntean (Eds.), Proceedings of International Workshop CASSIS 2004, Marseille, France: LNCS Vol. 3362. Construction and Analysis of Safe, Secure and Interoperable Smart Devices, (pp. 49-69). Heidelberg, Germany: Springer-Verlag.