SDL-Based Performance Evaluation A Survey

摘要

The tutorial addresses performance-related issues and describes how performance aspects can be integrated with the SDL method. First we consider principles and techniques for model based performance evaluation. Then we survey a number of approaches that combine performance evaluation with the SDL method. Finally an approach is introduced that provides a language QSDL (Queueing SDL) and the tool system QUEST for the evaluation of time and resource extended system specifications.