Performance Evaluation of SDL/MSC-specified Systems
Winfried Dulz, Immd Vii · 1996
SDL and MSC are standardized specification techniques for the development of reactive realtime systems and protocol architectures. Whereas MSC scenarios only allow to specify the dynamic system behavior in form of event/time diagrams, SDL specifications are used to describe static and functional aspects of the system as well. In this paper a framework is presented which demonstrates the relationship between formally specified SDL systems and appropriate performance analysis respectively monitoring techniques driven by annoted MSC scenarios. It is further discussed how to analyse some important performance measures for SDL-specified systems, i.e. the utilization of processor and channel components, which correspond to the workload characteristics of given MSC scenarios. 1 Introduction and Motivation Due to the ever increasing complexity of parallel and distributed systems appropriate computer aided system engineering (CASE) techniques must be used to design safe and high performance sy...