Logo des Repositoriums

Auflistung nach Autor:in "Denninger, Oliver"

1 - 3 von 3
  • Textdokument
    Automotive Software Engineering in an increasingly Data-Driven Automotive Sector
    (Software Engineering 2025 – Companion Proceedings, 2025) Denninger, Oliver; Axmann, Joachim K.; Kacianka, Severin; Westphal, Bernd
    Automotive trends such as power-train electrification, personalization, connectivity, and automated driving are not well supported by the classical approach to hardware/software architectures that centre around numerous, dedicated electronic control units (ECUs) where software is delivered as part of the ECU and it and its environment does not change much after vehicle assembly. Similarly, current electronic architectures and vehicles do not exploit data-driven software development practices and do not have the capability to make use of unprecedented amounts of data on the vehicle, but also its environment and the Internet. These trends ask for a data-driven approach where the development, production, and operation data of automotive software feed back into continuous correction, improvement, and personalization. In this paper, we report findings from the Transformation Hub Automotive Software Engineering (TASTE) with two years of intensive discussions and workshops with a wide range of companies regarding the challenges facing the German based automotive industry in general, as well as individual companies from Original Equipment Manufacturers (OEM) to different suppliers (TIER-n). We discuss how previously different approaches need to be integrated into new software-centr
  • Textdokument
    Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking
    (INFORMATIK 2021, 2021) Klamroth,Jonas; Scheerer, Max; Denninger, Oliver
    Quantencomputer erschließen uns durch ihren überpolynomiellem Speedup neue Anwendungsfelder für schwer-berechenbare Probleme. Der Entwurf von Quantenalgorithmen ist bisher allerdings komplex und fehleranfällig. Daher ist zu erwarten, dass vorerst nur einzelne Subroutinen eines Programms auf Quantencomputern umgesetzt werden. Um die Korrektheit solcher Programme garantieren zu können, sind neue Ansätze erforderlich. In dieser Arbeit stellen wir einen Ansatz zum vollautomatischen Nachweis der Korrektheit von Programmen mit eingebetteten Quantenalgorithmen vor. Dazu bauen wir auf Bounded-Model-Checking-Verfahren auf, welche die Fehlerfreiheit hinsichtlich einer gegebenen Spezifikation beweisen können. Als Spezifikationssprache verwenden wir JML. Dabei werden die Quantenalgorithmen als Quantenschaltkreis beschrieben und in Java eingebettet. Wir zeigen die Umsetzbarkeit unseres Ansatzes an zwei etablierten Quantenalgorithmen.
  • Konferenzbeitrag
    Software Engineering am FZI Forschungszentrum Informatik
    (Software Engineering 2020, 2020) Henß, Jörg; Denninger, Oliver
    Im Folgenden geben wir einen kurzen Überblick über das Profil und die Forschungs- und Transferschwerpunkte des Forschungsbereichs Software Engineering am FZI. Neben ausgewählten Schwerpunkten im Bereich Prozess- und Software-Architektur-Analysen geben wir einen Ausblick auf zukünftige Themen.