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

Maximilian Köstler und Florian Kauer. A Remote Interface for Live Interaction with OMNeT++ Simulations. In Proceedings of the 4th OMNeT++ Community Summit 2017, September 2017. Bremen, Germany.
@InProceedings{Telematik_OMNETPP_2017, author = {Maximilian Köstler and Florian Kauer}, title = {A Remote Interface for Live Interaction with OMNeT++ Simulations}, booktitle = {Proceedings of the 4th OMNeT++ Community Summit 2017}, number = {arXiv:1709.02822}, day = {07-08}, month = sep, year = 2017, location = {Bremen, Germany}, }
Abstract: Discrete event simulators, such as OMNeT++, provide fast and convenient methods for the assessment of algorithms and protocols, especially in the context of wired and wireless networks. Usually, simulation parameters such as topology and traffic patterns are predefined to observe the behaviour reproducibly. However, for learning about the dynamic behaviour of a system, a live interaction that allows changing parameters on the fly is very helpful. This is especially interesting for providing interactive demonstrations at conferences and fairs. In this paper, we present a remote interface to OMNeT++ simulations that can be used to control the simulations while visualising real-time data merged from multiple OMNeT++ instances. We explain the software architecture behind our framework and how it can be used to build demonstrations on the foundation of OMNeT++.
Florian Kauer, Maximilian Köstler, Tobias Lübkert und Volker Turau. OpenDSME - A Portable Framework for Reliable Wireless Sensor and Actuator Networks (Demonstration). In Proceedings of the 3rd International Conference on Networked Systems (NetSys 2017), März 2017. Göttingen, Germany.
@InProceedings{Telematik_Netsys_2017, author = {Florian Kauer and Maximilian Köstler and Tobias Lübkert and Volker Turau}, title = {OpenDSME - A Portable Framework for Reliable Wireless Sensor and Actuator Networks (Demonstration)}, booktitle = {Proceedings of the 3rd International Conference on Networked Systems (NetSys 2017)}, day = {13-16}, month = mar, year = 2017, location = {Göttingen, Germany}, }
Abstract: The Deterministic and Synchronous Multi-Channel Extension (DSME) of the IEEE 802.15.4 standard provides a data link layer for time division multiple access in wireless mesh networks. The authors present openDSME, a portable implementation for hardware and simulators which promises reliable message transfer suitable for applications in demanding industrial environments. A demonstration has been developed to illustrate the performance of openDSME in a simulated network and to show its benefits over CSMA/CA.
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.

Die vollständige Publikationsliste ist separat verfügbar.

Betreute Arbeiten

Offene Arbeiten

Laufende Arbeiten