Abstract
In contrast to protocols of the network or transport layer the protocols for medium access have to consider the timing behavior of the communication medium. Although SDL is a widely used language for the specification of communication systems,in most cases time critical parts are not considered. In this paper,a design pattern is discussed that allows the specification of time critical functionality sucg as multiplexers or Quality-of-Service (QoS) schedulers. In many applications such services are running in a synchronous manner with the communication medium. A notation for timing aspects is needed for the specification of this behavior which itself is only possible in a sensible way with a formal model of time. Clocks are used to define the term real-time in a formal way,leading to the specification of timing constraints,for example sending data packets in deterministic time intervals within a communication system. In a case study from the mobile communication area,the design pattern was used to specify the MAC-Layer including time critical parts.
This work has been funded by the Deutsche Forschungsgemeinschaft (DFG) under grant HE 1408/4-3 as a part of the program Rapid Prototyping of Embedded Control Systems with Real-Time Constraints. We thank Lennard Kerber for his critical comments and ideas; Günther Peitz and Georg Sandhaus of Tenovis for their support during the development of the DECT MAC-Layer and providing the Tenovis DECT transceiver modules; additionally Kai Lampka for his work on the specification of the DECT MAC-Layer.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.M. Daveau, G. Marchioro, A.J. Jerraya. Hardware/Software Co-Design of an ATM Network Interface Card: a Case Study. 6th International Workshop on Hardware/Software Codesign, IEEE Computer Society Press, Seattle,1998.
ETSI. ETS 300-175-3, Digital Enhanced Cordless Telecommunications (DECT); Common Interface (CI); Part 3: Medium Access Control (MAC) layer. ETSI, 1996.
N. Faltin, L. Lambert, A. Mitschele-Thiel, F. Slomka. An Annotational Extension of Message Sequence Charts to Support Performance Engineering. In A. Cavalli, A. Sarma (eds.), SDL’97 Time for Testing,SDL,MSC and Trends, 8th SDL Forum, Elsevier Science, 1997.
B. Geppert, R. Gotzhein, F. Röβler. Configuring Communication Protocols Using SDL Patterns. In A. Cavalli, A. Sarma (eds.),SDL’97 Time for Testing,SDL,MSC and Trends, 8th SDL Forum, Elsevier Science,1997.
B. Geppert, F. Röβler, R. L. Feldmann, S. Vorwieger. Combining SDL Patterns with Continuous Quality Improvement: An Experience Factor Tailored to SDL Patterns. In Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, Berlin, June 1998.
R. Hofmann, R. Klar, B. Mohr, A. Quick, M. Siegle. Distributed Performance Monitoring: Methods, Tools, and Applications. IEEE Trans. Parallel and Distributed Systems. Vol. 5, No. 6, June 1994.
ITU-T. Z.100 (11/99), ITU, Specification and Description Language. ITU, Specification and description language (SDL), November 2000.
ITU-T. Z.100, Appendix I. ITU, Specification and Description Language. ITU, 1993.
ITU-T. Z.120,Message Sequence Chart. ITU, 1996.
P. Langendörfer, H. König. Specifying and Validating Quality of Service Requirements Using Signal Chains. Workshop on Performance and Time in SDL and MSC, Internal report IMMD-VII-1/98, University of Erlangen-Nuremberg, February 1998.
B. Müller-Clostermann, M. Diefenbruch. Queueing SDL: A Language for the Functional and Quantitative Specification of Distributed Systems. Workshop on Performance and Time in SDL and MSC, Internal report IMMD-VII-1/98, University of Erlangen-Nuremberg, February 1998.
R. Münzenberger, F. Slomka, M. Dörfel, R. Hofmann. A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems. Submitted to IEEE Transactions on VLSI Systems.
A. Mitschele-Thiel, F. Slomka. Codesign with SDL/MSC,In K. Buchenrieder, Al Sedlmeier (eds.), International Workshop on Conjoint Systems Engineering (CONSYSE’97), IT-press, 1999.
I. Schieferdecker, A. Rennoch, O. Mertens. Timed MSCs-an Extension to MSC’96. In A. Wolisz, I. Schieferdecker, A. Rennoch (eds.), Formale Beschreibungstechniken Für verteilte Systeme,GI/ITG-F achgesprälch, Berlin, June 1997.
F. Slomka, M. Dörfel, R. Münzenberger. Generating Mixed Hardware/Software Systems from SDL Specifications. Accepted for the International Symposium on Hardware/Software Codesign, Codes 2001.
H.-J. Vögel, W. Kellerer, S. Sarg, M. Kober, A. Beckert, G. Einfalt. SDL based prototyping of ISDN-DECT-PBX switching software. In Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, Berlin, June 1998.
I. Wakeman, A. Ghosh, J. Crowcroft, V. Jacobson, S. Floyd: Implementing Real-Time Packet Forwarding Policies using Streams Proceedings of the USENIX Technical Conference, Louisiana, New Orleans, Jan. 1995.
H. Zhang. Service Disciplines for Guaranteed Performance Service in Packet-Switching Networks. Proceedings of IEEE, Vol. 83, No. 10, October 1995.
L. Zhang. Virtual Clock: A New Traffic Control Algorithm for Packet-Switched Networks. ACM Transactions on Computer Systems, Vol. 9, No. 2, May 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Münzenberger, R., Slomka, F., Dörfel, M., Hofmann, R. (2001). A General Approach for the Specification of Real-Time Systems with SDL. In: Reed, R., Reed, J. (eds) SDL 2001: Meeting UML. SDL 2001. Lecture Notes in Computer Science, vol 2078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48213-X_13
Download citation
DOI: https://doi.org/10.1007/3-540-48213-X_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42281-5
Online ISBN: 978-3-540-48213-0
eBook Packages: Springer Book Archive