Abstract: For safety-critical applications, the validation process using a model-based approach plays an increasingly important role. In this paper we propose the application of a predictive control ...