Logo des Repositoriums

Auflistung nach Autor:in "Koziolek, Anne"

1 - 10 von 199
  • Textdokument
    1. Workshop Künstliche Intelligenz in der Umweltinformatik
    (INFORMATIK 2020, 2021) Abecker, Andreas; Bruns, Julian; Naumann, Stefan
    In den letzten Jahrzehnten hat die Umweltforschung begonnen, eine datengesteuerte Perspektive einzunehmen, die durch riesige Sensornetze, satellitengestützte Erdbeobachtung und einen fast allgegenwärtigen Internetzugang ermöglicht wird. Von einigen dieser datengestützten Ansätze wird erwartet, dass sie Visionen einer nachhaltigen Zukunft umsetzen können. Zum Beispiel, indem sie es ermöglichen, in nachhaltigen intelligenten Städten zu leben oder die Welt mit „Smarter Landwirtschaft“ zu ernähren. Oder indem man die Umweltverschmutzung oder die globale Entwaldung mit besserer Erdbeobachtung bekämpft. Es besteht jedoch eine Kluft zwischen einigen der derzeitigen Erwartungen, die in datengesteuerte Techniken gesetzt werden, und der Reife im Bereich des (räumlichen) Maschinellen Lernens und der Künstlichen Intelligenz. Im Workshop werden offene Forschungsfragen adressiert und Anwendungsbeispiele aus den Schnittfeldern von KI und Umweltanwendungen diskutiert.
  • Konferenzbeitrag
    14th Symposium on Software Performance 2023, preface
    (Softwaretechnik-Trends Band 43, Heft 4, 2023) Heinrich, Robert; Hahner, Sebastian; Koziolek, Anne; Reussner, Ralf
    Preface of the SPP 2023
  • ConferencePaper
    18th Workshop on Automotive Software Engineering (ASE’21)
    (Software Engineering 2021, 2021) Ebel, Patrick; Helke, Steffen; Schaefer, Ina; Vogelsang, Andreas
    Software-based systems play an increasingly important role and enable most of the innovations in modern cars. This workshop deals with various topics related to the development of automotive software and discusses suitable methods, techniques, and tools necessary to master the most current challenges researchers and practitioners are facing.
  • Textdokument
    1st Workshop on Evaluating Intelligent and Ubiquitous Mobility Systems
    (INFORMATIK 2020, 2021) Titov, Waldemar; Trefzger, Mathias; Schlegel, Thomas
    Evaluation of peoples' mobility and intermodal transport is crucial for understanding mobility and traffic in general and leads to new challenges from the perspective of computer science and especially Human-Computer Interaction.
  • ConferencePaper
    2nd Workshop on Requirement Management in Enterprise Systems Projects (AESP’21)
    (Software Engineering 2021, 2021) Weiss, Christoph; Keckeis, Johannes
    ERP systems and other enterprise systems are the backbone of any company in a digitized world. In almost every company Enterprise Systems are adapted to the needs of the customers within the scope of parameterization, modifications (changes to existing functions and logics) or even extensions (new developments of existing functions and logics). However, many of such Enterprise Systems projects fail due to missing, incorrect, inadequate or incomplete requirements there are "incorrect" expectations, divergents in definition and attitudes on requirements management between customers and suppliers. These challenges will be highlighted, talked over and discussed during this workshop.
  • ConferencePaper
    3rd Workshop on Avionics Systems and Software Engineering (AvioSE’21)
    (Software Engineering 2021, 2021) Annighöfer, Björn; Schweiger, Andreas; Reich, Marina
    Software development in the aerospace domain is driven by new application potentials, increasing complexity, rising certification effort, and increasing cost pressure. In particular, future applications such as e.g., autonomous air transport, aircrew workload reduction, commercial UAVs, and further enhancement of existing functionality add to the system complexity. At the same time, there are challenges in communication and navigation in airspace, certification for multi-core processors, artificial intelligence as well as security for software, hardware, and connectivity. New software development methodologies and techniques are required for dealing with these challenges.
  • Textdokument
    The 5th GI/ACM Workshop 2020 Scope and Draft Programme on Standardization of Secure and Safe Smart Manufacturing Systems with respect to IEC 62443 IACS
    (INFORMATIK 2020, 2021) deMeer, Jan; Waedt, Karl; Rennoch, Axel; Hof, Hans-Joachim
    The 5th GI/ACM Workshop Programme on Standardization of Secure and Safe Production within Industrial Automation and Control Systems (IACS) took place virtually at September 28, 2020 at the Karlsruhe Institute of Technology (KIT) that hosted the 50th GI's yearly assembly (GI Informatik 2020 Jahrestagung): https://informatik2020.de/programm/workshops/
  • Textdokument
    8. Workshop Umweltinformatik zwischen Nachhaltigkeit und Wandel (UINW 2020)
    (INFORMATIK 2020, 2021) Naumann, Stefan; Voigt, Kristina; Kern, Eva; Wohlgemuth, Volker; Behrens, Grit
    Der Workshop „Umwelinformatik zwischen Nachhaltigkeit und Wandel“ schlägt auch in seinem bereits achten Durchlauf die Brücke zwischen Informatik, Umwelt-und Nachhaltigkeitswissenschaften und präsentiert interdisziplinäre wissenschaftliche Lösungen aus der Schnittstelle zwischen Digitalisierung und Nachhaltiger Entwicklung.
  • ConferencePaper
    8th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS'21)
    (Software Engineering 2021, 2021) Heinrich, Robert; Jung, Reiner; Konersmann, Marco; Schmieders, Eric
    Software ist ein wesentlicher Bestandteil unseres täglichen Lebens. Mobilität, Energie, Wirtschaft, Produktion und Infrastruktur hängen stark von Software ab, die allerdings nicht immer von hoher Qualität ist. Kritische Probleme, wie Effizienzeinbrüche oder hohe Wartungsaufwände, können durch schlechte Softwarequalität verursacht werden. Beispiele sind vielfältig in der Presse zu finden. Qualitätseigenschaften hängen stark von Entwurfsentscheidungen bzgl. der Architektur eines Systems ab. Um eine hohe Qualität bei der Systemevolution zu gewährleisten, sind Forschung und Praxis an Ansätzen interessiert, mit denen verschiedene Entwurfsalternativen modelliert und analysiert werden können. Dieser Beitrag zeigt Herausforderungen bei der architektur-basierten Evolution von software-intensiven Systemen auf. Es werden Modellierungs- und Analysetechniken vorgestellt, die zur Untersuchung verschiedener Qualitätseigenschaften auf Architekturebene geeignet sind. Darüber hinaus werden Modularisierungskonzepte für Sprachen (definiert durch Metamodelle) und Analysetechniken vorgestellt. Diese führen zur ersten Referenzarchitektur für Metamodelle zur Qualitätsmodellierung und -analyse.
  • ConferencePaper
    Accurate Modeling of Performance Histories for Evolving Software Systems
    (Software Engineering 2021, 2021) Mühlbauer, Stefan; Apel, Sven; Siegmund, Norbert
    This work has been originally published in the proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). Learning from the history of a software system’s performance behavior does not only help discovering and locating performance bugs, but also supports identifying evolutionary performance patterns and general trends. Exhaustive regression testing is usually impractical, because rigorous performance benchmarking requires executing realistic workloads per revision, resulting in large execution times. We devise a novel active revision sampling approach that aims at tracking and understanding a system’s performance history by approximating the performance behavior of a software system across all of its revisions. In short, we iteratively sample and measure the performance of specific revisions to learn a performance-evolution model. We select revisions based on how uncertainty our models predicts their correspondent performance values. Technically, we use Gaussian Process models that not only estimates performance for each revision, but also provides an uncertainty value alongside. This way, we iteratively improve our model with only few measurements. Our evaluation with six real-world configurable software system demonstrates that Gaussian Process models are able to accurately estimate the performance-evolution histories with only few measurements and to reveal interesting behaviors and trends, such as change points.