Auflistung SE 2023 - Workshops nach Erscheinungsdatum
1 - 10 von 19
Treffer pro Seite
Sortieroptionen
- 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.
- KonferenzbeitragProfessionalisation in ERP Selection Revisited III(Software Engineering 2023 Workshops, 2023) Humpl, StefanThe implementation of new ERP systems or the adaptation of existing ERP systems is a central challenge for modern companies, which is also reflected in the development of relevant job advertisements. A specific analysis of relevant job advertisements in Austria shows a professionalisation in ERP selection, but also a shift towards employing such experts in the own company versus outsourcing this expertise. Job titles and job specific requirements (competences) mentioned in job advertisements in 2017 and 2022 show a respective development. But it also becomes visible that the labour market for relevant experts is marked by a growing demand and insufficient supply, which implies that the more recent job advertisements are broader, more detailed in asking for competences, and therefore showing a hope for somehow fitting candidates. The COVID-19 crisis led to an increased in-house recruiting, which is turning back to a mixed in-house and external recruiting approach after COVID-19 in 2022.
- 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.
- 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.
- 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.
- KonferenzbeitragAdaption 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, RainerOEMs 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?
- KonferenzbeitragModel-Based and Automated Software Tool Qualification of Domain-Specific Modeling Tools as per RTCA DO-330(Software Engineering 2023 Workshops, 2023) Frey, Constantin; Annighoefer, BjoernThe 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.
- 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.
- 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)