Open Access

The usage of high-level synthesis (HLS) tools for FPGAs has increased significantly over the last years since they matured and allow software programmers to take advantage of reconfigurable hardware technology. Most HLS tools employ methods to optimize for loops, e. g. by unrolling or pipelining them. But there is hardly any work on the optimization of while loops. This comes at no surprise since most while loops have loop-carried dependences involving the loop condition which result in large recurrence cycles in the dataflow graphs. Therefore typical while loops cannot be parallelized or pipelined. We propose a novel transformation which allows to optimize while loops nested within a for loop. By interchanging the two loops, it is possible to pipeline (and thereby parallelize) the inner loop, resulting in a reduced execution time. We present two case studies on different hardware platforms and show the speedup factors - compared to a host processor and to an unoptimized hardware implementation - achieved by our while loop optimization method.

he development of context-aware applications is a difficult and error-prone task. The dynamics of the environmental context combined with the complexity of the applications poses a vast number of possibilities for mistakes during the creation of new applications. Therefore it is important to test applications before they are deployed in a life system. For this reason, this paper proposes a testing tool, which will allow for automatic generation of various test cases from application description documents. Semantic annotations are used to create specific test data for context-aware applications. A test case reduction methodology based on test case diversity investigations ensures scalability of the proposed automated testing approach.

Anaerobic digestion products of agricultural biogas plants are characterised by high nitrogen, phosphorus, and potassium content. In three scale-up steps, a membrane based digestate treatment process of solid-liquid-separation, ultrafiltration, and reverse osmosis for nutrient recovery was investigated. Lab-scale trials delivered a very good understanding of fluid properties and subsequent ultrafiltration performance, which is the limiting process step in terms of energy demand and operation costs. In semi-technical experiments, optimisation, and design parameters were developed, which were subsequently applied to pilot-scale tests at two full-scale biogas plants. The process optimisation resulted in 50 % energy reduction of the ultrafiltration step. About 36 % of the sludge volume was recovered as dischargeable water, 20 % as solid N/P-fertiliser, and 44 % as liquid N/K-fertiliser.

Es werden drei Modellierungsansätze zur Simulation von Laserscannern in Pflanzenbeständen für die Entwicklung umfeldbasierter Fahrzeugfunktionen beschrieben. Das Sensorsignal der Distanzmessung wird dabei anhand realer Messwerte oder phänomenologisch und auf der Basis empirisch ermittelter Kennwerte in Abhängigkeit von objekt- und sensorspezifischen Einflussfaktoren abgebildet. Basierend auf den Methoden zur Simulation von Distanzmesssystemen der Open Source Simulationsumgebung Gazebo wurden die Modellierungsansätze als spezifische Sensor- und Umfeldmodelle implementiert. Die Modelle wurden insbesondere für den Einsatz an mobilen landwirtschaftlichen Arbeitsmaschinen und für die Anwendung in der Getreideernte optimiert.

Smart city applications in the Big Data era require not only techniques dedicated to dynamicity handling, but also the ability to take into account contextual information, user preferences and requirements, and real-time events to provide optimal solutions and automatic configuration for the end user. In this paper, we present a specific functionality in the design and implementation of a declarative decision support component that exploits contextual information, user preferences and requirements to automatically provide optimal configurations of smart city applications. The key property of user-centricity of our approach is achieved by enabling users to declaratively specify constraints and preferences on the solutions provided by the smart city application through the Decision Support component, and automatically map these constraints and preferences to provide optimal responses targeting user needs. We showcase the effectiveness and flexibility of our solution in two real usecase scenarios: a multimodal travel planner and a mobile parking application. All the components and algorithms described in this paper have been defined and implemented as part of the Smart City Framework CityPulse.