SDL and MSC are standardized specification techniques for the development of reactive real-time 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.

In the telecommunication industry, the Specification and Description Language (SDL) is a widely accepted technique to support the software development process. While several commercial SDL tools exist that focus on functional aspects, rather little research has been done concerning the integration of nonfunctional aspects in the development process. Our research is focusing on the integration of performance aspects in the development process. In the paper, we give an overview on the DO-IT toolbox and describe how the toolbox can be applied to develop a parallel implementation of a multimedia application on top of the XTP protocol suite. The DO-IT toolbox supports the formal specification of performance requirements (e.g. response time and throughput) and the selection of the appropriate design and implementation decisions. Keywords FDT-based system and protocol engineering, FDT-based implementation, parallel systems, SDL, MSC, performance modeling and optimization, tool support, XTP,...

The Specification and Description Language SDL and Message Sequence Charts (MSCs) are widely used in the telecommunication industry to support the software development process. In the paper, a methodology and a set of tools are described for the development of high performance parallel systems in the context of SDL and MSCs. While SDL and MSCs only support the formal specification of functional aspects of the system, we propose (1) the extension of MSCs to include non-functional requirements as the performance requirements of the application and (2) the annotation of SDL specifications with the respective execution cost on the parallel system. The formalization of non-functional aspects yields a set of benefits for system development: it allows the full integration of performance issues in all phases of the design process, starting from the requirements specification down to the final parallel implementation. It supports the automatization of performance related design decisions and al...