Résumé: The integration of performance evaluation techniques into the SDL method is an important task. In particular in the area of telecommunications and distributed systems where product families have to be maintained for many years, performance should be considered from the very beginning of system design. This paper demonstrates how performance engineering can be successfully applied. Firstly, an SDL specification of TCP/IP is used to derive a performance model that includes the original SDL system as well as additional constructs describing the consumption of time and resources. Different implementation variants have been evaluated in experimental scenarios. Secondly, the application of a specification-driven monitoring technique to the same SDL specification of TCP/IP is described. The case study shows how the functional and temporal behaviour of an implementation derived from an SDL specification can be analysed and improved by monitoring the running system. The two approaches, modelling and monitoring, are supplementary to each other. This paper provides arguments that the systematic application of specification-driven performance engineering will result in major savings of time and money in later development phases and for later system releases.

Langue: Anglais