Abstract
In this paper, we present our behavioral SDL model for the IEEE 802.15.3 MAC protocol. The model was derived using an object-oriented approach based on the client/server paradigm and is divided into data path and control path subsystems. Within the model, there are different abstraction layers, each layer providing a well-defined set of services to the higher layers. This modular design approach facilitated teamwork and led to a model, which is understandable, easy to extend, adapt, and test. Thus, our SDL model can serve as a basis for the following steps in the design flow, which is also presented briefly.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
IEEE Standard 802: Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications (1999)
Bluetooth SIG: Specification Of The Bluetooth System (1999)
IEEE Standard 802: Part 15.3: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for High Rate Wireless Personal Area Networks (WPAN) (2003)
ITU-T: ITU-T Recommendation Z.100 (11/99). SDL: Specification and Description Language (1999.)
Telelogic AB: Telelogic Tau SDL Suite (2003), Available from http://www.telelogic.com/products/tau/sdl
Graney, M.: Speeding Up Wireless Standards Development. In: CommsDesign (2000), Available from http://www.commsdesign.com/main/2000/09/0009stand.htm
Leue, S., Oechslin, P.: From SDL Specifications to Optimized Parallel Protocol Implementations. In: Ito, M., Neufeld, G. (eds.) Workshop Proceedings of the Fourth International IFIP Workshop on Protocols for High Speed Networks, pp. 308–328 (1994)
Drosos, C., Zayadine, M., Metafas, D.: Embedded real-time communication protocol development using SDL for ARM microprocessor. Dedicated Systems Magazine Q1, 37–43 (2001)
Hännikäinen, M., Knuutila, J., Hämäläinen, T., Saarinen, J.: Using SDL for Implementing a Wireless Medium Access Control Protocol. In: IEEE International Symposium on Multimedia Software Engineering (MSE 2000), December 2000, pp. 229–236 (2000)
Grass, E., Tittelbach-Helmrich, K., Jagdhold, U., Troya, A., Lippert, G., Krüger, O., Lehmann, J., Maharatna, K., Dombrowski, K., Fiebig, N., Kraemer, R., Mähönen, P.: On the Single-Chip Implementation of a Hiperlan/2 and IEEE 802.11a Capable Modem. IEEE Personal Communications (2001)
Bläsius, S., Karg, S., Maier, J., Kohler, G.: Development of SDL-based software for an embedded system - practical experiences. In: 2nd Workshop on SDL and MSC (SAM 2000), Grenoble (2000)
IEEE Standard 802: Annex D: Formal description of the 802.15.4 operation. In: Draft Standard for Part 15.4: Wireless Medium Access Control (MAC) and Physical Layer (PHY) specifications for Low Rate Wireless Personal Area Networks (LR-WPANs) (February 2003)
IEEE Standard 802: Annex B: Formal description of the 802.15.1 operation. In: Part 15.1: Wireless Medium Access Control (MAC) and Physical Layer (PHY) specifications for Wireless Personal Area Networks (WPANsTM) (2001)
TTP Communications plc: 802.15.3 MAC (July 2003), Available from: http://www.ttpcom.com/ttpcom/products/802_15_3_MAC.html
Open SystemC Initiative, http://www.systemc.org
Polis homepage at the University of California at Berkeley, http://wwwcad.eecs.berkeley.edu/~polis/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dietterle, D., Babanskaja, I., Dombrowski, K., Kraemer, R. (2004). High-Level Behavioral SDL Model for the IEEE 802.15.3 MAC Protocol. In: Langendoerfer, P., Liu, M., Matta, I., Tsaoussidis, V. (eds) Wired/Wireless Internet Communications. WWIC 2004. Lecture Notes in Computer Science, vol 2957. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24643-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-24643-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20954-6
Online ISBN: 978-3-540-24643-5
eBook Packages: Springer Book Archive