- 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, Lukas; Groher, Iris; Vogel, ThomasIn 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.
- KonferenzbeitragUpdates at Runtime for Cyber Physical Systems. A Game Theoretic Approach(Software Engineering 2023 Workshops, 2023) Kröger, Janis; Fränzle, Martin; Groher, Iris; Vogel, ThomasUpdates are becoming increasingly important in the field of cyber physical systems in order to increase the lifetime of these systems and to save resources and costs. One way to achieve this is to update the system at runtime. This paper describes our vision of a game-theoretic approach to determine when an update is possible at runtime, taking into account the system behavior. This ensures that the system behaves safely at all points in time. For this purpose we use so-called timed games and synthesize a strategy under which the update can be performed. We sketch the approach and illustrate its application on an automotive example of an autopilot.
- KonferenzbeitragCyber 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; Groher, Iris; Vogel, ThomasCode 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.
- Konferenzbeitrag20th Workshop on Automotive Software Engineering (ASE'23)(Software Engineering 2023 Workshops, 2023) Kugele, Stefan; Grunske, Lars; Groher, Iris; Vogel, ThomasSoftware-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, Elisabeth; Groher, Iris; Vogel, ThomasIm 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.
- KonferenzbeitragRequirement Management in Enterprise Systems Projects(Software Engineering 2023 Workshops, 2023) Weiss, Christoph; Keckeis, Johannes; Groher, Iris; Vogel, ThomasPreface of the Workshop Requirement Management in Enterprise Systems Projects (AESP - Anforderungsmanagement in Enterprise Systems-Projekten)
- KonferenzbeitragProfessionalisation in ERP Selection Revisited III(Software Engineering 2023 Workshops, 2023) Humpl, Stefan; Groher, Iris; Vogel, ThomasThe 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.
- KonferenzbeitragRPA in the post-implementation phase of ERP systems(Software Engineering 2023 Workshops, 2023) Ploder, Christian; Obermair, Philipp; Bernsteiner, Reinhard; Dilger, Thomas; Groher, Iris; Vogel, ThomasRobotic Process Automation (RPA) can automate processes of various systems using their user interfaces. Back-office processes are particularly suitable for automation with the help of digital workers. Many back-office processes are carried out in Enterprise Resource Planning (ERP) systems. Companies worldwide use ERP systems, meaning they are in the post-implementation phase and interact with these systems daily. Changes to the system are expected during the post-implementation phase. In this paper, recommendations for action that help introduce this technology in the post-implementation phase of ERP systems are made, and decision factors that speak for using this technology are elaborated. For this purpose, twelve interviews are conducted with experts who have already gained experience with Robotic Process Automation in the context of ERP systems, and the results of the interviews will be compared and supplemented with the existing literature. A central result of the work is that the involvement of employees working in the processes to be automated in their daily work is an essential component in all phases of the implementation process. Decision-making factors contributing significantly to companies or organizations deciding to implement RPA can generally be divided into technical and organizational. In general, it can be said that Robotic Process Automation can be used to add value to ERP systems.
- 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, Florian; Groher, Iris; Vogel, ThomasMachine 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.
- KonferenzbeitragTowards Enabling Level 3A AI in Avionic Platforms(Software Engineering 2023 Workshops, 2023) Zaeske, Wanja; Brust, Clemens-Alexander; Lund, Andreas; Durak, Umut; Groher, Iris; Vogel, ThomasThe 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.