Seite drucken

Florian Kauer

Foto von Florian Kauer
Florian Kauer
Raum 4.085, Gebäude E
Am Schwarzenberg-Campus 3
21073 Hamburg
Telefon040 42878 - 3746
Fax040 42878 - 2581
E-Mail

Florian Kauer geb. Meier

Im Oktober 2013 habe ich mein Master-Studium Informatik-Ingenieurwesen an der TU Hamburg-Harburg abgeschlossen. Seit November 2013 bin ich als wissenschaftlicher Mitarbeiter am Institut für Telematik tätig.

Lehre

Projekte

Publikationen

Florian Kauer, Florian Meyer und Volker Turau. A Holistic Solution for Reliable Over-the-Air Software Updates in Large Industrial Plants. In Proceedings of WISES 2017: 13th Workshop on Intelligent Solutions in Embedded Systems, to be published, Juni 2017. Hamburg, Germany.
@InProceedings{Telematik_WISES_2017, author = {Florian Kauer and Florian Meyer and Volker Turau}, title = {A Holistic Solution for Reliable Over-the-Air Software Updates in Large Industrial Plants}, booktitle = {Proceedings of WISES 2017: 13th Workshop on Intelligent Solutions in Embedded Systems, to be published}, pages = , day = {12-13}, month = jun, year = 2017, location = {Hamburg, Germany}, }
Abstract: In cyber-physical systems, such as modern industrial plants, complex software is an essential part that enables cost-effective and flexible operation. However, this complexity increases the probability of problems that only reveal themselves after the deployment. This is even more important if security aspects are involved. Therefore, providing the possibility for software updates is an important building block in the design of industrial plants. This paper presents a holistic concept for software updates in an industrial plant with thousands of wirelessly connected embedded devices. Using wireless technology imposes additional difficulties in terms of data rate, packet size and reliability that have to be addressed in particular. The contribution also includes an analytical model to estimate the time until a new firmware is distributed. Evaluations carried out on hardware as well as in the OMNeT++ simulator demonstrate the applicability and scalability of the proposed approach.
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

Laufende Arbeiten

Abgeschlossene Arbeiten