TY - JOUR A1 - Bayerstadler, Andreas A1 - Becquin, Guillaume A1 - Binder, Julia A1 - Botter, Thierry A1 - Ehm, Hans A1 - Ehmer, Thomas A1 - Erdmann, Marvin A1 - Gaus, Norbert A1 - Harbach, Philipp A1 - Hess, Maximilian A1 - Klepsch, Johannes A1 - Leib, Martin A1 - Luber, Sebastian A1 - Luckow, Andre A1 - Mansky, Maximilian A1 - Mauerer, Wolfgang A1 - Neukart, Florian A1 - Niedermeier, Christoph A1 - Palackal, Lilly A1 - Pfeiffer, Ruben A1 - Polenz, Carsten A1 - Sepulveda, Johanna A1 - Sievers, Tammo A1 - Standen, Brian A1 - Streif, Michael A1 - Strohm, Thomas A1 - Utschig-Utschig, Clemens A1 - Volz, Daniel A1 - Weiss, Horst A1 - Winter, Fabian T1 - Industry quantum computing applications JF - EPJ Quantum Technology N2 - Quantum computing promises to overcome computational limitations with better and faster solutions for optimization, simulation, and machine learning problems. Europe and Germany are in the process of successfully establishing research and funding programs with the objective to dvance the technology’s ecosystem and industrialization, thereby ensuring digital sovereignty, security, and competitiveness. Such an ecosystem comprises hardware/software solution providers, system integrators, and users from research institutions, start-ups, and industry. The vision of the Quantum Technology and Application Consortium (QUTAC) is to establish and advance the quantum computing ecosystem, supporting the ambitious goals of the German government and various research programs. QUTAC is comprised of ten members representing different industries, in particular automotive manufacturing, chemical and pharmaceutical production, insurance, and technology. In this paper, we survey the current state of quantum computing in these sectors as well as the aerospace industry and identify the contributions of QUTAC to the ecosystem. We propose an application-centric approach for the industrialization of the technology based on proven business impact. This paper identifies 24 different use cases. By formalizing high-value use cases into well-described reference problems and benchmarks, we will guide technological progress and eventually commercialization. Our results will be beneficial to all ecosystem participants, including suppliers, system integrators, software developers, users, policymakers, funding program managers, and investors. KW - Benchmarks KW - Industry application KW - Quantum computing KW - QUTAC KW - Reference problems Y1 - 2021 U6 - https://doi.org/10.1140/epjqt/s40507-021-00114-x VL - 8 SP - 1 EP - 17 PB - Springer ER - TY - INPR A1 - Murr, Florian A1 - Mauerer, Wolfgang T1 - McFSM: Near Turing-Complete Finite-State Based Programming N2 - Finite state machines (FSMs) are an appealing mechanism for simple practical computations: They lend themselves to very effcient and deterministic implementation, are easy to understand, and allow for formally proving many properties of interest. Unfortunately, their computational power is deemed insuffcient for many tasks, and their usefulness has been further hampered by the state space explosion problem and other issues when naïvely trying to scale them to sizes large enough for many real–life applications. This paper expounds on theory and implementation of multiple coupled fnite state machines (McFSMs), a novel mechanism that combines benefits of FSMs with near Turing-complete, practical computing power, and that was designed from the ground up to support static analysis and reasoning. We develop an elaborate category–theoretical foundation based on non–deterministic Mealy machines, which gives a suitable algebraic description for novel ways of blending di#erent computing models. Our experience is based on a domain specific language and an integrated development environment that can compile McFSM models to multiple target languages, applying it to use-cases based on industrial scenarios. We discuss properties and advantages of McFSMs, explain how the mechanism can interact with real–world systems and existing code without sacrificing provability, determinism or performance. We discuss how McFSMs can be used to replace and improve on commonly employed programming patterns, and show how their effcient handling of large state spaces enables them to be used as core building blocks for distributed, safety critical, and real–time systems of industrial complexity, which contributes to the longdesired goal of providing executable specifications. KW - Finite state machines KW - Mealy machines KW - automata KW - coupled machines KW - executable specifcation KW - category theory KW - generative approaches KW - formal models KW - static analysis Y1 - 2021 UR - https://www.lfdr.de/Publications/2021/MuMa21.pdf ER - TY - GEN A1 - Ramsauer, Ralf A1 - Bulwahn, Lukas A1 - Lohmann, Daniel A1 - Mauerer, Wolfgang T1 - The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects T2 - MiniDebConf Regensburg (MDC) 2021 Y1 - 2021 UR - https://gemmei.ftp.acc.umu.se/pub/debian-meetings/2021/MiniDebConf-Regensburg/sound-of-silence.webm CY - Regensburg ER - TY - CHAP A1 - Mauerer, Wolfgang A1 - Ramsauer, Ralf A1 - Lucas, Edson R. F. A1 - Scherzinger, Stefanie T1 - Silentium! Run-Analyse-Eradicate the Noise out of the DB/OS Stack T2 - Datenbanksysteme für Business, Technologie und Web (BTW 2021): 13.-17. September 2021, Dresden, Deutschland N2 - When multiple tenants compete for resources, database performance tends to suffer. Yet there are scenarios where guaranteed sub-millisecond latencies are crucial, such as in real-time data processing, IoT devices, or when operating in safety-critical environments. In this paper, we study how to make query latencies deterministic in the face of noise (whether caused by other tenants or unrelated operating system tasks). We perform controlled experiments with an in-memory database engine in a multi-tenant setting, where we successively eradicate noisy interference from within the system software stack, to the point where the engine runs close to bare-metal on the underlying hardware. We show that we can achieve query latencies comparable to the database engine running as the sole tenant, but without noticeably impacting the workload of competing tenants. We discuss these results in the context of ongoing efforts to build custom operating systems for database workloads, and point out that for certain use cases, the margin for improvement is rather narrow. In fact, for scenarios like ours, existing operating systems might just be good enough, provided that they are expertly configured. We then critically discuss these findings in the light of a broader family of database systems (e.g., including disk-based), and how to extend the approach of this paper accordingly. Low-latency databases; tail latency; real-time databases; bounded-time query processing; DB-OS co-engineering KW - bounded-time query processing KW - DB-OS co-engineering KW - Low-latency databases KW - real-time databases KW - tail latency Y1 - 2021 U6 - https://doi.org/10.18420/btw2021-21 SP - 397 EP - 421 PB - Gesellschaft für Informatik ER - TY - CHAP A1 - Mauerer, Wolfgang A1 - Scherzinger, Stefanie ED - Ailamaki, Anastasia T1 - Nullius in Verba: Reproducibility for Database Systems Research, Revisited T2 - 2021 IEEE 37th International Conference on Data Engineering (ICDE 2021): 19-22 April 2021, Chania, Greece N2 - Over the last decade, reproducibility of experimental results has been a prime focus in database systems research, and many high-profile conferences award results that can be independently verified. Since database systems research involves complex software stacks that non-trivially interact with hardware, sharing experimental setups is anything but trivial: Building a working reproduction package goes far beyond providing a DOI to some repository hosting data, code, and setup instructions.This tutorial revisits reproducible engineering in the face of state-of-the-art technology, and best practices gained in other computer science research communities. In particular, in the hands-on part, we demonstrate how to package entire system software stacks for dissemination. To ascertain long-term reproducibility over decades (or ideally, forever), we discuss why relying on open source technologies massively employed in industry has essential advantages over approaches crafted specifically for research. Supplementary material shows how version control systems that allow for non-linearly rewriting recorded history can document the structured genesis behind experimental setups in a way that is substantially easier to understand, without involvement of the original authors, compared to detour-ridden, strictly historic evolution. KW - Control systems KW - Data engineering KW - Database systems KW - docker KW - git KW - Hardware KW - Industries KW - Reproducibility of results KW - reproducible science KW - reproduction, reproduction package KW - scientific attribution KW - scientific method KW - Tutorials Y1 - 2021 SN - 978-1-7281-9184-3 U6 - https://doi.org/10.1109/ICDE51399.2021.00270 SP - 2377 EP - 2380 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Scherzinger, Stefanie A1 - Mauerer, Wolfgang A1 - Kondylakis, Haridimos ED - Ailamaki, Anastasia T1 - DeBinelle: Semantic Patches for Coupled Database-Application Evolution T2 - 2021 IEEE 37th International Conference on Data Engineering (ICDE 2021): 19-22 April 2021, Chania, Greece N2 - Databases are at the core of virtually any software product. Changes to database schemas cannot be made in isolation, as they are intricately coupled with application code. Such couplings enforce collateral evolution, which is a recognised, important research problem. In this demonstration, we show a new dimension to this problem, in software that supports alternative database backends: vendor-specific SQL dialects necessitate a simultaneous evolution of both, database schema and program code, for all supported DB variants. These near-same changes impose substantial manual effort for software developers. We introduce DeBinelle, a novel framework and domain-specific language for semantic patches that abstracts DB-variant schema changes and coupled program code into a single, unified representation. DeBinelle further offers a novel alternative to manually evolving coupled schemas and code. DeBinelle considerably extends established, seminal results in software engineering research, supporting several programming languages, and the many dialects of SQL. It effectively eliminates the need to perform vendor-specific changes, replacing them with intuitive semantic patches. Our demo of DeBinelle is based on real-world use cases from reference systems for schema evolution. KW - database management systems KW - databases KW - evolution KW - programming language semantics KW - semantic patches KW - software product lines KW - specification languages KW - SQL Y1 - 2021 SN - 978-1-7281-9184-3 U6 - https://doi.org/10.1109/ICDE51399.2021.00307 SP - 2697 EP - 2700 PB - IEEE CY - Piscataway, NJ ER - TY - JOUR A1 - Mauerer, Wolfgang A1 - Scherzinger, Stefanie T1 - Digitale Forschungswerkzeuge : Nachhaltigkeit für Software und Daten JF - Forschung & Lehre (Forschung und Lehre) N2 - Die wissenschaftliche Reproduktionskrise hat den Blick auf digitale Forschungswerkzeuge intensiviert. Auch wenn der Mehraufwand für Reproduzierbarkeit und Zugänglichkeit zunehmend anerkannt wird, existieren noch Defizite in der Umsetzung, wenn es darum geht, die Datenbasis und Forschungswerkzeuge verfügbar zu machen Y1 - 2021 UR - https://www.wissenschaftsmanagement-online.de/system/files/downloads-wimoarticle/2021-10_WIMO_Digitale_Forschungswerkzeuge_Mauerer_Scherzinger.pdf VL - 28 IS - 10 SP - 816 EP - 817 PB - Zentrum für Wissenschaftsmanagement e.V. (ZWM)
 ER -