Seite drucken

Maximilian Köstler

Foto von Maximilian Köstler
Maximilian Köstler
Raum 4.085, Gebäude E
Am Schwarzenberg-Campus 3
21073 Hamburg
Telefon040 42878 - 3746
Fax040 42878 - 2581
E-Mail

Lehre

Projekte

Publikationen

Florian Kauer, Maximilian Köstler, Tobias Lübkert und Volker Turau. Formal Analysis and Verification of the IEEE 802.15.4 DSME Slot Allocation. In Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, November 2016, pp. 140–147. Malta.
@InProceedings{Telematik_MSWIM_Formal_DSME, author = {Florian Kauer and Maximilian Köstler and Tobias Lübkert and Volker Turau}, title = {Formal Analysis and Verification of the IEEE 802.15.4 DSME Slot Allocation}, booktitle = {Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems}, pages = {140-147}, month = nov, year = 2016, location = {Malta}, }
Abstract: Providing dependability is still a major issue for wireless mesh networks, which restrains their application in industrial contexts. The widespread CSMA/CA medium access can provide high throughput and low latency, but can not prevent packet loss due to collisions, especially in very large and dense networks. Time slotted medium access techniques together with a distributed slot management, as proposed by the Distributed Synchronous Multi-channel Extension (DSME) of the IEEE 802.15.4 standard, are promising to provide low packet loss, high scalability and bounded end-to-end delays. However, our implementation, openDSME, exposed some weaknesses. While the allocated slots allow for reliable data transmission, the slot management itself is conducted via CSMA/CA and is thus vulnerable to packet loss, eventually leading to an inconsistent slot allocation. This paper uses the UPPAAL framework for formal analysis and verification of the slot management process. The analysis identifies weaknesses of the slot allocation process under communication and node failures. However, it is shown that inconsistencies are eventually resolved and improvements to the procedure are proposed that reduce the negative impact of failed slot allocation procedures significantly.
Maximilian Köstler, Florian Kauer, Tobias Lübkert und Volker Turau. Towards an Open Source Implementation of the IEEE 802.15.4 DSME Link Layer. In Proceedings of the 15. GI/ITG KuVS Fachgespräch Sensornetze, University of Applied Sciences Augsburg, Dept. of Computer Science, September 2016. Augsburg, Germany.
@InProceedings{Telematik_FGSN_openDSME, author = {Maximilian Köstler and Florian Kauer and Tobias Lübkert and Volker Turau}, editor = {Juergen Scholz and Alexander von Bodisco}, title = {Towards an Open Source Implementation of the IEEE 802.15.4 DSME Link Layer}, booktitle = {Proceedings of the 15. GI/ITG KuVS Fachgespräch Sensornetze}, pages = , publisher = {University of Applied Sciences Augsburg, Dept. of Computer Science}, day = {22-23}, month = sep, year = 2016, location = {Augsburg, Germany}, }
Abstract: Reliable wireless solutions for large-scale automation are a major challenge today. The IEEE 802.15.4 standard forms the basis for many open and proprietary implementations. To reflect current state-of-the-art techniques, the IEEE has amended standard 802.15.4 with new MAC-layers such as TSCH, which resembles WirelessHART, and the Deterministic and Synchronous Multi-Channel Extension (DSME). This paper introduces openDSME, our implementation of IEEE 802.15.4 DSME. DSME aims at preventing packet collisions through slot reservation in networks where conventional CSMA/CA is not reliable enough. In this document, we will outline core features of DSME and openDSME, and present details of our implementation. Additionally, current research efforts on connected topics will be highlighted.

Die vollständige Publikationsliste ist separat verfügbar.

Betreute Arbeiten

Offene Arbeiten