Logo des Repositoriums

SE 2023 - Workshops

https://dl.gi.de/handle/20.500.12116/40193
Auflistung nach:

Auflistung SE 2023 - Workshops nach Titel

1 - 10 von 19
  • Konferenzbeitrag
    20th Workshop on Automotive Software Engineering (ASE'23)
    (Software Engineering 2023 Workshops, 2023) Kugele, Stefan; Grunske, Lars
    Software-based systems play an increasingly important role and enable most innovations in modern cars. This workshop will address various topics related to automotive software development. The participants will discuss appropriate methods, techniques, and tools needed to address the most current challenges for researchers and practitioners.
  • Konferenzbeitrag
    5th Workshop on Avionics Systems and Software Engineering (AvioSE'23)
    (Software Engineering 2023 Workshops, 2023) Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, Stéphane
    Systems and software engineering in aerospace is subject to special challenges. For their resolution the AvioSE'23 workshop connects academia and industry with selected scientific presentations of high quality, motivating keynote talks, and an interactive panel discussion.
  • Konferenzbeitrag
    Adaption des Software-Qualitätsmanagements im Automotive-Bereich für eine Nutzung von Fremdkomponenten
    (Software Engineering 2023 Workshops, 2023) Schlosser, Joachim; Mattausch, Alexander; Neukirchner, Moritz; Holve, Rainer
    OEMs verlangen für alle zugekaufte Software die Einhaltung von Standards wie ASPICE und oft auch ihrer eigenen. In High Performance Controllern wird jedoch bereits in großem Umfang nicht-konforme Software eingesetzt. Softwarelieferungen werden eher aufgrund von Erfahrungswerten als aufgrund einer systematischen Risikobewertung akzeptiert. Viele der vorhandenen Open-Source-Software-Komponenten haben sich als zuverlässig erwiesen und läuft sogar auf kritischen Teilen der Internet-Infrastruktur. Keine dieser Komponenten ist nach automobilen Entwicklungsprinzipien entwickelt worden, dennoch handelt es sich um insgesamt robuste und qualitativ hochwertige Implementierungen. Wie kann das Qualitätsmanagement von diesen Softwareprojekten lernen und dadurch die Entwicklungseffizienz steigern, ohne dass die Codequalität darunter leidet?
  • Konferenzbeitrag
    Anforderungen an ein Vorgehensmodell zur Auswahl von Unternehmens-Software
    (Software Engineering 2023 Workshops, 2023) Weiss, Christoph; Keckeis, Johannes; Weiss, Elisabeth
    Im vorliegenden Paper wird, anhand eines Literaturreviews, der Frage nachgegangen, welchen Anforderungen Vorgehensmodelle bei deren Erstellung unterliegen. Aufgrund der zum großen Teil fragmentarischen Darstellung der Genese von Vorgehensmodellen konnten lediglich vier Anforderungen, welche in mehreren Quellen Niederschlag gefunden hatten, identifiziert werden. Diese Erkenntnis führt zu weiteren Fragen, welche einer wissenschaftlichen Untersuchung zugeführt werden sollten.
  • Konferenzbeitrag
    Brake or Drive: On the Relation Between Morality and Traffic Rules when Driving Autonomously
    (Software Engineering 2023 Workshops, 2023) Rakow, Astrid; Schwammberger, Maike
    For a safe and successful future with autonomous traffic agents (ATAs), these ATAs need to be enabled to understand and abide by traffic rules. However, purely formalising and analysing traffic rules is not enough to solve this task. In this paper, we discuss the role of moral for ATAs that follow traffic rules. In particular, moral values may enable an ATA to prioritise traffic rules, in case of conflicts. We outline an approach that uses formal verification to identify situations where traffic rules are in conflict with each other, with moral values or with specific goals of an ATA. We sketch how moral values and reasoning can help an ATA to resolve such conflicts autonomously.
  • Konferenzbeitrag
    Cyber Security and Software Update management system for connected vehicles in compliance with UNECE WP.29, R155 and R156
    (Software Engineering 2023 Workshops, 2023) Bohara, Rohit; Ross, Mirko; Rahlfs, Sven; Ghatta, Sara
    Code is the new fuel of a modern car. Almost every aspect of a car is controlled and managed by software running in electronic control units (ECU). This has led to enormous complexity in automotive software. To put this in perspective, automotive software has grown from few 100 lines of code to 100 million in a span of 40 years. Additionally, inherent convolution in the automotive software supply chain introduces its own set of problems for cyber security and safety of a car. The research paper proposes a pioneered approach for cyber security and software update management to transform the automotive software engineering principles. It aims to strengthen the security of automotive software, bring transparency in the software supply chain and establishes regulatory compliance management processes by design.
  • Konferenzbeitrag
    A Domain-Specific Language for Requirements Engineering in Safety-Critical Automotive Software Development
    (Software Engineering 2023 Workshops, 2023) Schlichthaerle, Stefan; Wullstein-Kammler, Philipp; Schanda, Florian
    Requirements engineering is a crucial part of every software development project. Deficits in this discipline have tremendous impact on the overall project's success. In this paper, we present our approach that treats requirements like source code and therefore benefits from modern software development workflows and paradigms, to bridge the gap between requirements engineering and large-scale agile software development. We derive the requirements for our approach and discuss the underlying tooling as well as the corresponding impact on processes. We show examples, including validation of requirements and the traceability towards source code.
  • Konferenzbeitrag
    Message from the SE’23 Workshop Chairs
    (Software Engineering 2023 Workshops, 2023) Groher, Iris; Vogel, Thomas
    Preface of the SE’23 Workshop Proceedings
  • Konferenzbeitrag
    Model-Based and Automated Software Tool Qualification of Domain-Specific Modeling Tools as per RTCA DO-330
    (Software Engineering 2023 Workshops, 2023) Frey, Constantin; Annighoefer, Bjoern
    The use of domain-specific modeling (DSM) in a software life cycle that includes the objectives and activities as per RTCA DO-178C offers a variety of opportunities. With the help of DSM tools, development artefacts can be generated from a system design model. DSM tools that are used in the software life cycle and whose output is not verified require a tool qualification according to RTCA DO-330. This tool qualification is associated with an extensively high effort. Therefore, this paper proposes a model-based and automated approach for tool qualification. Qualification templates should be developed, covering requirements and tests for DSM specific aspects. These template models are instantiated in a qualification model transformation. The result should be qualification artefacts. This approach should greatly reduce the qualification effort. The component in the DSM tool for tool qualification is the Tool Qualification Agent (TQA). First, the concept of the Tool Qualification Agent is presented. Afterwards, the results from a first implementation are analyzed. First requirement templates and a qualification model transformation were developed. Requirements were generated with the qualification model transformation. Although the Tool Qualification Agent so far only covers small parts of the tool qualification, it demonstrates that the concept is feasible.
  • Konferenzbeitrag
    On the Design and Model-Based Validation of Flight Control System Automation for an Unmanned Coaxial Helicopter
    (Software Engineering 2023 Workshops, 2023) Hofsäß, Hannes; Hosseini, Barzin; Rhein, Julian; Holzapfel, Florian
    An existing coaxial helicopter with a maximum takeoff weight of 600 kg has been transformed into a unmanned aerial system. To enable unmanned experimental validation of novel flight control-laws in flight tests, the helicopter's flight control system has been extended by digital components. As the loss of the helicopter platform due to a failure in the experimental digital flight control system has been identified a risk for the project, contingency procedures have been considered in the system design. In this paper, we suggest a model-based and lean development approach for system automation development, which to the best of the authors knowledge, is new. Within the process we suggest to introduce Operational Sequence Diagrams that only represent procedural system behavior to describe the Design Reference Scenarios of the Concept of Operations. Thereby we enable the total exploitation of a System Architecture Behavioral model within the design process, considering the definition of procedures, the validation of architecture design and automated code generation. To validate the suggested approach, we present its application to the design of the system automation for the flight control system of the unmanned helicopter. The system has been successfully integrated and tested in caged flight tests in November 2022.