ABSTRACT

Abstract The validation of performance-critical and safety-critical systems requires an extended view of the performance concept, and the improvement of studies on model production methods for the automatic generation of performance models from early-phase software life-cycle artifacts. It also requires a less conventional view of the validation process.