Auflistung nach Autor:in "Junker, Maximilian"
1 - 6 von 6
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragCharacterizing Implicit Communal Components as Technical Debt in Automotive Software Systems(Software Engineering 2017, 2017) Vogelsang, Andreas; Femmer, Henning; Junker, Maximilian
- KonferenzbeitragHow much does unused code matter for maintenance?(Software Engineering 2014, 2014) Eder, Sebastian; Junker, Maximilian; Hauptmann, Benedikt; Juergens, Elmar; Vaas, Rudolf; Prommer, Karl-Heinz
- KonferenzbeitragModeling an Anomaly Detection System with SpesML(Modellierung 2022 Satellite Events, 2022) Junker, Maximilian; Femmer, HenningSpesML is an instantiation of the SPES methodology for cyber physical systems using SysML. However, SpesML is still under development and urgently requires evaluation with practical examples. This experience report describes our study of using SpesML for an anomaly detection system. The goals of the case study are to evaluate feasibility, benefits, and shortcomings of both the tool and the methodology iteratively at early stages of the project. The results are already promising with respect to both methodology and tool; however, the work continuously identifies suggestions for adaptations and future work regarding both.
- KonferenzbeitragSiemens rail - industrial case study: model-based development of a train guardmt function(Software-engineering and management 2015, 2015) Böhm, Wolfgang; Junker, MaximilianSiemens AG Rail Automation, fortiss GmbH, and the chair for Software and System Engineering at Technische Universität München set up a transfer project to apply the SPES modeling framework (SPES MF) to the Platfor
- KonferenzbeitragSimulating a flash file system with CoreASM and Eclipse(INFORMATIK 2011 – Informatik schafft Communities, 2011) Junker, Maximilian; Haneberg, Dominik; Schellhorn, Gerhard; Reif, Wolfgang; Ernst, GidonThe formal specification of a file system for flash memory is the first step towards its verification. But creating such a formal specification is complex and errorprone. Visualizing the system state and having an executable version of the specification helps to better understand the specified system. In this paper, we present an approach for simulating and visualizing specifications written in the Abstract State Machine (ASM) formalism. We extend the ASM execution engine CoreASM to execute ASMs written using algebraic specifications. Furthermore we develop an Eclipsebased visualization framework and integrate CoreASM into it. This enables us to create different abstract views of the CoreASM system state and allows the user to interact with the specification in an intuitive way. We apply our techniques to the visualization of an abstract specification of a flash memory file system and report on our experiences with CoreASM and Eclipse.
- ConferencePaperSpecmate: Automated Creation of Test Cases from Acceptance Criteria(Software Engineering 2021, 2021) Fischbach, Jannik; Vogelsang, Andreas; Spies, Dominik; Wehrle, Andreas; Junker, Maximilian; Freudenstein, DietmarWe summarize the paper Specmate: Automated Creation of Test Cases from Acceptance Criteria, which was presented at the 2020 edition of the IEEE International Conference on Software Testing, Verification and Validation (ICST).