Autor*innen mit den meisten Dokumenten
Neueste Veröffentlichungen
- 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.
- KonferenzbeitragUpdates at Runtime for Cyber Physical Systems. A Game Theoretic Approach(Software Engineering 2023 Workshops, 2023) Kröger, Janis; Fränzle, MartinUpdates 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, SaraCode 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, 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.
- 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.
- 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)
- KonferenzbeitragRPA in the post-implementation phase of ERP systems(Software Engineering 2023 Workshops, 2023) Ploder, Christian; Obermair, Philipp; Bernsteiner, Reinhard; Dilger, 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.
- 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.
- 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.