Abstract
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 (eg. response time and throughput) and the selection of the appropriate design and implementation decisions.
Chapter PDF
Similar content being viewed by others
Keywords
References
D.D. Clark, D.L. Tennenhouse. (1990). Architectural considerations for a new generation of protocols. ACM SIGCOMM, p. 200–208.
P. Dauphin, R. Hofmann, R. Klar, B. Mohr, A. Quick, M. Siegle, F. Sötz. (1994) ZM4/SIMPLE: a General Approach to Performance-Measurement and -Evaluation of Distributed Systems. Readings in Distributed Computing Systems, T.L. Casavant, M. Singhal ( Ed ), IEEE Computer Society Press.
P. Dauphin, W. Dulz, F. Lemmen. (1995) Specification-driven Performance Monitoring of SDL/MSC-specified Protocols. Proc. 8th Int. Workshop on Protocol Test Systems, A. Cavalli, S. Budkowski (Ed.).
R. Hofmann, R. Klar, B. Mohr, A. Quick, M. Siegle. (1994) Distributed Performance Monitoring: Methods, Tools and Applications. IEEE Transactions on Parallel and Distributed Systems, 5 (6).
ITU-T. (1993) Z. 100, Specification and Description Language (SDL). ITU.
ITU-T. (1993a) Z. 120, Message Sequence Chart. ITU.
A. Mitschele-Thiel. (1993) Automatic Configuration and Optimization of Parallel Transputer Applications. Transputer Applications and Systems ’83, R. Grebe et al. (Ed.), vol. 2, IOS Press.
A. Mitschele-Thiel, K. Dussa-Zieger. (1994) Near-Optimal Compile-Time Scheduling and Configuration of Parallel Systems. Proc. of the 1994 World Transputer Congress, Lake Como, Italy, IOS Press.
A. Mitschele-Thiel. (1996) Methodology and Tools for the Development of High Performance Parallel Systems with SDL/MSCs. Software Engineering for Parallel and Distributed Systems, I. Jelly, I. Gorton, P. Croll (Ed.), Chapman & Hall.
C.R. Reeves (Ed.). (1993) Modern Heuristic Techniques for Combinatorial Problems. Blackwell Scientific Publications, Oxford.
M. Schwehm, T. Walter. (1994) Mapping and Scheduling by Genetic Algorithms, Parallel Processing: CONPAR’94—VAPP VI, Third Joint Int. Conf. Vector and Parallel Processing, Lecture Notes in Computer Science 854, Springer-Verlag.
W.T. Strayer, B.J. Dempsey, A.C. Weaver. (1992) XTP: The Xpress transfer protocol. Addison Wesley.
Telelogic Malmö AB. (1995) SDT 3.0 User’s Guide, SDT 3.0 Reference Manual. Verilog. (1994) GEODE — Technical Presentation.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Mitschele-Thiel, A., Langendörfer, P., Henke, R. (1996). Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. In: Gotzhein, R., Bredereke, J. (eds) Formal Description Techniques IX. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35079-0_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35079-0_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2883-4
Online ISBN: 978-0-387-35079-0
eBook Packages: Springer Book Archive