Development of Controllers Using Simulink and Contract-Based Design

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.

[1]  Lionel Morel,et al.  Design and Validation of Digital Controllers for Hydraulic Systems , 2007 .

[2]  Ralph-Johan Back,et al.  Trace Refinement of Action Systems , 1994, CONCUR.

[3]  Xavier Crégut,et al.  The TOPCASED project : a toolkit in open source for critical aeronautic systems design , 2006 .

[4]  Liliana Favre.  Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution , 2010 .

[5]  Stavros Tripakis,et al.  Translating discrete-time simulink to lustre , 2003, TECS.

[6]  Michael D. Ernst,et al.  An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.

[7]  Matti Linjama,et al.  Accurate Trajectory Tracking Control of Water Hydraulic Cylinder with Non-Ideal on/off Valves , 2003 .

[8]  Lionel Morel,et al.  Logical-time contracts for reactive embedded components , 2004 .

[9]  Lionel Morel,et al.  Stepwise Development of Simulink Models Using the Refinement Calculus Framework , 2007, ICTAC.

[10]  Daniel Stearns,et al.  An Experience With Design by Contract , 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

[11]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[12]  Ana Cavalcanti,et al.  Control Law Diagrams in Circus , 2005, FM.

[13]  K. Rustan M. Leino,et al.  The Spec# Programming System: An Overview , 2004, CASSIS.

[14]  Jean-Philippe Chancelier,et al.  Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4 , 2009 .

[15]  Lionel Morel,et al.  Design and Implementation of Energy Saving Digital Hydraulic Control System , 2007 .

[16]  Kaisa Sere,et al.  Stepwise Refinement of Action Systems , 1991, Struct. Program..

[17]  Ralph-Johan Back,et al.  Decentralization of Process Nets with Centralized Control , 1983, PODC.