Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Simulation and modelling : enablers for a better quality of life ; 14th European simulation multiconference 2000, ESM 2000, May 23-26, 2000, Ghent, Belgium |
| Editors | D. Van Landeghem |
| Place of Publication | San Diego, ca |
| Publisher | SCS |
| Pages | 232-238 |
| ISBN (Print) | 1-565-55204-0 |
| Publication status | Published - 2000 |
| Event | 14th European Simulation Multiconference (ESM 2000), May 23-26, 2000, Ghent, Belgium - Ghent, Belgium Duration: 23 May 2000 → 26 May 2000 |
Conference
| Conference | 14th European Simulation Multiconference (ESM 2000), May 23-26, 2000, Ghent, Belgium |
|---|---|
| Country/Territory | Belgium |
| City | Ghent |
| Period | 23/05/00 → 26/05/00 |
| Other | 14th International European Simulation Multiconference (ESM 2000) |