Performance Evaluation of SDL/MSC-specified Systems

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.