Auflistung nach:
Auflistung SE 2024 - Workshops nach Erscheinungsdatum
1 - 10 von 20
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragReliable Generation of Formal Specifications using Large Language Models(SE 2024 - Companion, 2024) Kogler, Philipp; Falkner, Andreas; Sperl, SimonRecent pre-trained Large Language Models (LLMs) have demonstrated promising Natural Language Processing (NLP) and code generation abilities. However, the intrinsically unreliable output due to the probabilistic nature of LLMs imposes a major challenge as validity can generally not be guaranteed, making subsequent processing prone to errors. When LLMs are used to translate natural-language specifications to formal specifications, this limitation becomes evident. We propose a framework involving prompting and algorithmic post-processing that continuously interacts with the LLM to ensure strict syntactic validity and reasonable content correctness. Furthermore, we introduce a use-case in the domain of engineering processes for railway infrastructure and demonstrate that our approach is sufficiently mature for implementation in an industrial environment.
- KonferenzbeitragA Preliminary Survey of the State of the Art in Simulation-Based Development and Certification to Support Digital Aircraft Design Research(SE 2024 - Companion, 2024) Struck, Malte Christian; Weinert, Alexander; Schreiber, Andreas; Felderer, MichaelMany safety critical domains require certification of a product before it can be released to the market. On the one hand, simulations and digital methods allow for cheaper and faster assurance of properties. On the other hand, the new and different methodology implies completely new requirements. We provide a general overview of the field and focus on naming, use cases, stakeholders, and quality criteria. We also highlight the needs of simulation users for research. We show that the naming in the different domains for virtual certification is widely spread, but the research needs aim into the same direction.
- KonferenzbeitragMode Management in Contract-Based Design(SE 2024 - Companion, 2024) Kröger, Janis; Fränzle, MartinNowadays, safety-critical systems are structured into several operating modes due to their various functionality. To evade inconsistent states in the specification and design, it is essential that these modes and their mode transitions are well defined. This entails a significant effort. This paper proposes an approach to coordinate mode changes between different components using a mode manager. Natural language patterns are designed to reduce the complexity of specifying mode changes. An example system ACC is used to illustrate the concept and patterns.
- KonferenzbeitragTowards COTS component synchronization for low SWaP-C flight control systems(SE 2024 - Companion, 2024) Sax, Franz; Holzapfel, FlorianThe rise of innovative and novel fly-by-wire air vehicles like e-VTOLs for Advanced Air Mobility demands flight control systems whose components are low size, weight, power and cost (SWaP-C), but nevertheless offer high performance. One approach towards this mismatch is to use COTS components from e.g. the automotive sector and use their extensive features to enhance performance in a given system architecture. This paper describes one method of minimizing the latency in the communication between two COTS components by using an easily realizable algorithm with minimal memory, code and computation requirements for relative synchronization of the execution cycles of the components. A description of the resulting control problem, as well as simulation results from a dedicated MATLAB simulation environment are given. Those are then compared with an implementation on a representative set of devices from the EPUCOR flight control system.
- KonferenzbeitragHyLiMo: A Textual DSL and Hybrid Editor for Efficient Modular Diagramming(SE 2024 - Companion, 2024) Krieger, NiklasDiagramming with precise layouting for scientific publications and technical documentations is time-consuming and cumbersome. Therefore, this work briefly presents HyLiMo, a tool for blended graphical and textual diagramming including live-synchronizing. This allows diagrammers to define diagrams textually and then adjust the layout graphically. An evaluation via two case studies confirmed the tool’s practicality in creating class diagrams with precise layouts. However, feedback suggests several features for future work.
- KonferenzbeitragA Universal Configuration Format for Avionics(SE 2024 - Companion, 2024) Chrysalidis, Philipp; Thielecke, FrankAvionics module configuration, especially in the face of advancing technologies, will become more complex as computational demands rise. This requires a robust and automated approach while adhering to industry standards. However, state-of-the-art configuration is still highly error-prone and suffers from various stakeholders working with unsynchronized and decentralized data. This causes unnecessary iterations, leading to delays in development. The Universal Configuration Format for Avionics (UCoF), integrated into the AvioNET framework, presents a forward-looking solution. UCoF, built upon a meta-model approach, strives to enhance the configuration process through model-based methods. It meets essential configuration management requirements and offers versatility by supporting the configuration of diverse avionic platforms. Combining essential data for configuring real avionics device families, implementation targets and network design grants users access to a comprehensive data set throughout the configuration process.
- KonferenzbeitragMessage from the SE’24 Workshop Chairs(SE 2024 - Companion, 2024) Dhungana, Deepak; Lambers, LeenPreface of the SE’24 Workshop Proceedings
- BuchSoftware Engineering 2024 - Companion Proceedings (SE-C 2024)(2024) Dhungana, Deepak; Lambers, Leen; Bonorden, Leif; Henning, Sören
- KonferenzbeitragVerbesserung der Testqualität mit dem Testing Quality Audit(SE 2024 - Companion, 2024) Reißing, Ralf; Gomringer, Christoph; Houdek, FrankDie Entwicklung der Elektrik/Elektronik (E/E) im Automobil ist typischerweise verteilt auf den Fahrzeughersteller (OEM) und seine Zulieferer. Mitentscheidend für eine hohe Qualität der entwickelten Systeme ist eine hinreichende Absicherung der Erfüllung aller jeweils relevanten Anforderungen durch die beteiligten Parteien. Mercedes-Benz hat ab 2008 das Testing Quality Audit (TQA) eingeführt, um bei Bedarf die Güte der durchgeführten Testaktivitäten bei Zulieferern zu bewerten und zu verbessern. Dieser Beitrag stellt das TQA vor und diskutiert seineWeiterentwicklung über die Jahre seit der Einführung sowie die dabei gemachten Erfahrungen sowohl zum TQA-Ablauf als auch zu typischen Befunden bei den TQAs.
- KonferenzbeitragEnhancing DO-178C/DO-331 Based Process-Oriented Build Tool: Integration of System Composer and Automated PIL Simulation(SE 2024 - Companion, 2024) Panchal, Purav; Dmitriev, Konstantin; Myschik, StephanThe growing utilization of software in safety-critical systems can be attributed to advancing technology and substantial interest within aerospace and space industries. However, this increased reliance on software to enhance avionic system functionality raises crucial safety questions, emphasizing the need for compliance with standards like DO-178C/DO-331. To facilitate development, a process-oriented build tool was created in MATLAB/Simulink. This tool enhances development efficiency and ensures adherence to established processes, offering benefits like modular software management, systematic artifact handling with traceability, seamless integration with various verification tools, automated model and code verification, and a well-defined design environment. Recently, two new advancements have been made to the tool, integration of System Composer for developing software architecture and automated processor-in-the-loop (PIL) verification using Trace32. This paper presents these new developments along with examples.