Abstract
SDL patterns are reusable software artifacts. They represent generic solutions for recurring design problems with SDL as applied design language. We have developed a construction set of protocol building blocks consisting of a pool of SDL patterns and an accompanying methodology for the incremental design of communication protocols. In this paper, we present a case study on the specification of communication protocols based on SDL patterns. The case study is part of a more comprehensive project, where a real-time communication subsystem was developed on top of a Controller Area Network (CAN) installation. We demonstrate how the protocols supporting user communication and certain management tasks were configured. We also applied the SDT Cadvanced code generator to implement the resulting design specification on a PC cluster. Generally, it turned out that SDL-pattern based configuring of communication protocols yields more systematic designs, i.e., readability and maintainability is improved and less design errors occur, since the design decisions are well founded and documented.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work is supported by the German Science Foundation (DFG) as part of the Sonderforschungsbereich SFB 501 Development of Large Systems with Generic Methods.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35394-4_29
Download to read the full chapter text
Chapter PDF
References
G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language, Version 1.0, Rational Software Corporation, 1997
F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, Pattern-Oriented Software Architecture - A System of Patterns, John Wiley Sons, 1996
K. Etschberger, CAN Controller-Area-Network - Basics, Protocols, Building Blocks, Applications (in German), Hanser Verlag, 1994
R. L. Feldmann, B. Geppert, and F. Rößler, Towards an Experimental Evaluation of SDLPattern based Protocol Design, SFB 501 Report 04/98, Computer Science Department, University of Kaiserslautern, Germany, 1998
E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns - Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995
B. Geppert, R. Gotzhein, and E. Rößler, Configuring Communication Protocols Using SDL Patterns, SDL’97 Time for Testing - SDL, MSC and Trends, Proceedings of the 8th SDL Forum, Paris/Evry, France, 1997
B. Geppert and E Rößler, Generic Engineering of Communication Protocols - Current Experience and Future Issues, Proceedings of the 1st IEEE International Conference on Formal Engineering Methods, ICFEM’97, Hiroshima, Japan, 1997
F. Rößler and B. Geppert, Applying Quality of Service Architectures to the Field-Bus Domain, Proceedings of the 2nd IEEE International Workshop on Factory Communication Systems, WFCS’97, Barcelona, Spain, 1997
E Rößler, A. Kühlmeyer, Implementing Real-Time Communication on a Token-Ring Network, Proceedings of the 6th Open Workshop on High Speed Networks, Stuttgart, October, 1997
Telelogic, TAU 3.3 Methodology Guidelines — Partl: The SOMT Method, Telelogic, Sweden, 1998
Z.100 CCITT Specification and Description Language (SDL),ITU-T, 1996
Z.120 Message Sequence Chart (MSC),ITU-T, 1996
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Geppert, B., Kühlmeyer, A., Rößler, F., Schneider, M. (1998). SDL-Pattern based Development of a Communication Subsystem for CAN. In: Budkowski, S., Cavalli, A., Najm, E. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. PSTV FORTE 1998 1998. IFIP — The International Federation for Information Processing, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35394-4_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-35394-4_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5262-5
Online ISBN: 978-0-387-35394-4
eBook Packages: Springer Book Archive