Seite drucken

Volker Turau

Foto von Volker Turau
Prof. Dr. rer. nat. Volker Turau
Raum 4.088, Gebäude E
Am Schwarzenberg-Campus 3
21073 Hamburg
Telefon040 42878 - 3530
Fax040 42878 - 2581
E-Mail

Seit Oktober 2002 bin ich Professor an der Technischen Universität Hamburg-Harburg.


Program Committee Activities | Editorial Activities | CV | Doktoranden

Bücher

Algorithmische Graphentheorie - 4., erweiterte und überarbeitete Auflage
De Gruyter Studium, 2015, ISBN 978-3-110-41727-2 (Lösungen)

Erdős-Zahl

Meine Erdős-Zahl ist 4.

Lehre

Publikationen

Li-Hsing Yen, Jean-Yao Huang und Volker Turau. Designing Self-Stabilizing Systems Using Game Theory. ACM Transactions on Autonomous and Adaptive Systems, Volume 11, Issue 3, Article 18, 2017.
@Article{Telematik_Transactions_on_Autonomous_and_Adaptive_Systems_2017, author = {Li-Hsing Yen and Jean-Yao Huang and Volker Turau}, title = {Designing Self-Stabilizing Systems Using Game Theory}, journal = {ACM Transactions on Autonomous and Adaptive Systems}, volume = {Volume 11, Issue 3, Article 18}, year = 2017, }
Abstract: Self-stabilizing systems tolerate transient faults by always returning to a legitimate system state within a finite time. This goal is challenged by several system features such as arbitrary system states after faults, various process execution models, and constrained process communication means. This work designs self-stabilizing distributed algorithms from the perspective of game theory, achieving an intended system goal through private goals of processes. We propose a generic game design for identifying a maximal independent set (MIS) or a maximal weighted independent set (MWIS) among all processes in a distributed system. From the generic game several specific games can be defined which differ in whether and how neighboring players influence each other. Turning the game designs into self-stabilizing algorithms, we obtain the first algorithms for the MWIS problem and also the first self-stabilizing MIS algorithm that considers node degree (including an analysis of its performance ratio). We also show how to handle simultaneous moves of processes in some process execution models. Simulation results indicate that, for various representative network topologies, the new algorithm outperforms existing methods in terms of MIS size and convergence rate. For the MWIS problem, the new algorithms performed only slightly worse than centralized greedy counterparts.
Gerry Siegemund und Volker Turau. PSVR - Self-Stabilizing Publish/Subscribe Communication for Ad-Hoc Networks (Short Paper). In Proceedings of Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, November 2016, pp. 346–351. Lyon, France.
@InProceedings{Telematik_SSS_2016, author = {Gerry Siegemund and Volker Turau}, title = {PSVR - Self-Stabilizing Publish/Subscribe Communication for Ad-Hoc Networks (Short Paper)}, booktitle = {Proceedings of Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium}, pages = {346-351}, day = {7-10}, month = nov, year = 2016, location = {Lyon, France}, }
Abstract: PSVR is a novel routing algorithm for pub/sub systems in ad-hoc networks focusing on scenarios where communications links are unstable and nodes frequently change subscriptions. It is a compromise of size and maintenance effort for routing tables due to sub- and unsubscriptions and the length of routing paths. Designed in a self-stabilizing manner it scales well with network size. The evaluation with real world deployment reveals that PSVR only needs slightly more messages than a close to optimal routing structure for publication delivery, and creates shorter routing paths than an existing self-stabilizing algorithm.
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

Laufende Arbeiten