A case study in simulation-based system specification and design

A good practice in developing control systems involves specification validation/verification: and implementation. Specified models usually form a starting point for simulation-based validation, resulting in reducing the risk of design errors. If a proper abstraction level is chosen, the implementation of validated models can be a straightforward process. For the purpose of simulation-based validation as described in this paper, it is essential to include models of the machine to be controlled. This is implied by the fact that the main focus is on the performance of the controlled system. Nowadays, it is possible to automatically generate real-time code from (validated) models which allows for incremental system development. The purpose of this paper is to present a method that allows for simulation-based validation of control systems incorporating the issues described above and to indicate how the method can be applied in a relevant case study.