Auflistung nach:
Auflistung SE 2023 - Workshops nach Erscheinungsdatum
1 - 10 von 19
Treffer pro Seite
Sortieroptionen
- Konferenzbeitrag20th Workshop on Automotive Software Engineering (ASE'23)(Software Engineering 2023 Workshops, 2023) Kugele, Stefan; Grunske, LarsSoftware-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.
- KonferenzbeitragAnforderungen an ein Vorgehensmodell zur Auswahl von Unternehmens-Software(Software Engineering 2023 Workshops, 2023) Weiss, Christoph; Keckeis, Johannes; Weiss, ElisabethIm 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.
- KonferenzbeitragTool Qualification Aspects in ML-Based Airborne Systems Development(Software Engineering 2023 Workshops, 2023) Dmitriev, Konstantin; Kaakai, Fateh; Ibrahim, Mohamad; Durak, Umut; Potter, Bill; Holzapfel, FlorianMachine Learning (ML) technology can provide the best results in many highly complex tasks such as computer vision and natural language processing and quickly evolving further. These unique ML capabilities and apparent potential can enable the next epoch of automation in airborne systems including single pilot or even autonomous operation of large commercial aircraft. The main problems to be solved towards ML deployment in commercial aviation are safety and certification, because there are several major incompatibilities between ML development aspects and traditional design assurance practices, in particular traceability and coverage verification issues. In this paper, we study the qualification aspects of tools used for development and verification of ML-based systems (ML tools) and propose mitigation measures for some known ML verification gaps through ML tools qualification. In particular, we review the DO-330 and DO-200B tool classification approach with respect to ML-specific workflows and propose to extend the tool qualification criteria for ML data management and ML model training tools.
- KonferenzbeitragRequirement Management in Enterprise Systems Projects(Software Engineering 2023 Workshops, 2023) Weiss, Christoph; Keckeis, JohannesPreface of the Workshop Requirement Management in Enterprise Systems Projects (AESP - Anforderungsmanagement in Enterprise Systems-Projekten)
- KonferenzbeitragTowards Enabling Level 3A AI in Avionic Platforms(Software Engineering 2023 Workshops, 2023) Zaeske, Wanja; Brust, Clemens-Alexander; Lund, Andreas; Durak, UmutThe role of AI evolves from human assistance over human/machine collaboration towards fully autonomous systems. As the push towards more autonomy subsequently removes the reliance on a human overseeing the system, means of self supervision must be provided to enable safe operations. This work explores dynamic reconfiguration to provide resilience to unforeseen environmental conditions that exceed the systems capabilities, but also against normal faults. We focus on providing the means for this in an ARINC 653 compliant environment, since we target avionics platforms. Scheduling and communication are two major aspects of dynamic reconfiguration. Hence, we discuss multiple respective implementation approaches. The third pillar of reconfiguration, the process of deciding when to reconfigure is also investigated. Combining these yields the building blocks for a self-supervising system.
- Konferenzbeitrag5th Workshop on Avionics Systems and Software Engineering (AvioSE'23)(Software Engineering 2023 Workshops, 2023) Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, StéphaneSystems 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.
- KonferenzbeitragBrake or Drive: On the Relation Between Morality and Traffic Rules when Driving Autonomously(Software Engineering 2023 Workshops, 2023) Rakow, Astrid; Schwammberger, MaikeFor 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.
- KonferenzbeitragProviding Evidence for Correct and Timely Functioning of Software Safety Mechanisms(Software Engineering 2023 Workshops, 2023) Becker, Jan Steffen; Koopmann, Björn; Stierand, Ingo; Westhofen, LukasIn many application domains, the development of safety-critical systems must follow standards that define process steps and artifacts to establish a comprehensive safety argumentation. Commonly, this involves the identification of hazards and risks as well as the formulation of a safety concept to mitigate these risks. The concept is decomposed into safety requirements, which are finally implemented in hardware and software. All steps must be covered by analyses to ensure that the concept is effective and correctly implemented. This work focuses on timing aspects of the safety concept, i.e., on how it can be ensured that risk mitigation occurs in time. Based on an industrial use case, we show how consistent timing specifications can be derived, decomposed, and implemented in a complete and sound way. The approach extends previous work on contract-based design and investigates on explicating failure modes and fault detection in contract specifications. Finally, we show how model checking can support the verification of safety concepts and their implementation.
- KonferenzbeitragA Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System(Software Engineering 2023 Workshops, 2023) Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rath, Amelie; Rumpe, Bernhard; Schweiger, AndreasThe development of avionics message communication systems is expensive due to their complexity and the need to get them accepted by the certification authorities. We need to develop high-integrity software, but we also face cost pressure. For managing complex large systems, several time-synchronous modeling languages have been proposed. While these are appropriate for hardware specifications, when it comes to specifying distributed software systems, an event-based specification style is better suited. We present an event-based specification theory based on the framework Focus by giving the signatures and data types for specifications using event automata. For this, we capture message processing order as a further dimension of non-determinism by specifying a general timed merge component. These event automata can represent underspecification of behavior, and a refinement calculus can be applied to these for a stepwise reduction of non-determinism. Furthermore, we present the necessary concepts for enabling a user-friendly specification and simulation of event-based systems by using the architecture description language MontiArc. Finally, we evaluate our approach by performing a top-down architecture design of an avionics case study and demonstrating event-based specifications of requirements in MontiArc. The presented methodology improves the management of complexity, reduces costs, and increases the system quality.
- KonferenzbeitragA Seamless and End-to-End Approach for Early and Continuous Validation of Next-Generation Avionics Platforms(Software Engineering 2023 Workshops, 2023) Abdo, Kamiran; Broehan, Jasmin; Thielecke, FrankEmerging technologies, such as multi-core avionics, mixed-critical systems on shared resources and the adaption of artificial intelligence (AI) in the field of avionics, drive a growth of complexity, as well as a higher uncertainty during early design phases for avionic platforms. This results in an error-prone and time-consuming development process, as these technologies have not yet been fully evaluated for avionics. Consequently, it is important to continuously validate design choices to detect potential design flaws as early as possible. This shall avoid unnecessary iterations during the development process, reduce related costs and ultimately, time to market. This work proposes a seamless and model-based concept for early and continuous validation of next generation avionics platforms through all their phases – design, implementation, testing and ultimately, integration.