Auflistung nach:
Auflistung P292 - Software Engineering and Software Management 2019 nach Autor:in "Becker, Steffen"
1 - 10 von 59
Treffer pro Seite
Sortieroptionen
- Conference Program16. Workshop Automotive Software Engineering(Software Engineering and Software Management 2019, 2019) Helke, Steffen; Schaefer, Ina; Vogelsang, Andreas
- Conference Program1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19)(Software Engineering and Software Management 2019, 2019) Annighöfer, Björn; Schweiger, Andreas; Reich, MarinaCompanies are struggling with the complexity of digital avionics systems. Millions of man months are required for the development of digital airborne systems. Moreover, the complexity of functions, the number of vehicles, and systems continuously rises. There is a high demand for more efficient methods and tools of systems and software engineering. The AVIOSE workshop establishes a new forum for the exchange for the people working on simplifying, shortening, and maturing the creation of avionics systems.
- Conference Program2nd Workshop on Innovative Software Engineering Education(Software Engineering and Software Management 2019, 2019) Krusche, Stephan; Kuhrmann, Marco; Schneider, KurtThis workshop aims at presenting and discussing innovative teaching approaches in software engineering education, which are highly relevant for teaching at universities, colleges, and in online courses. The workshop focuses on three main topics: (1) project courses with industry, (2) active learning in large courses, and (3) digital teaching and online courses.
- Conference Program6th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems(Software Engineering and Software Management 2019, 2019) Heinrich, Robert; Jung, Reiner; Konersmann, Marco; Schmieders, Eric
- WorkshopbeitragArchitecture and Quality of Cloud Simulators(Software Engineering and Software Management 2019, 2019) Mann, ZoltanCloud simulators are complex programs that can simulate a cloud infrastructure and applications running on that infrastructure. Such simulators are often used to evaluate new algorithms for cloud resource management and software deployment optimization. However, the implementation of such algorithms in a cloud simulator is a challenging task that may lead to erosion of the architecture of the simulator, and even to faults in the implementation. Using appropriate abstractions, a clear separation of concerns can be achieved.
- KonferenzbeitragBadger: Complexity Analysis with Fuzzing and Symbolic Execution(Software Engineering and Software Management 2019, 2019) Noller, Yannic; Kersten, Rody; Pasareanu, CorinaIn this work, we report on our recent research results on “Badger: Complexity Analysis with Fuzzing and Symbolic Execution” which was published in the proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis [NKP18]. Badger employs a hybrid software analysis technique that combines fuzzing and symbolic execution for finding performance bottlenecks in software. Our primary goal is to use Badger to discover vulnerabilities which are related to worst-case time or space complexity of an application. To this end, we use a cost-guided fuzzing approach, which produces inputs to increase the code coverage, but also to maximize a resource-related cost function, such as execution time or memory usage. We combine this fuzzing technique with a customized symbolic execution, which is also guided by heuristics that aim to increase the same cost. Experimental evaluation shows that this hybrid approach enables us to use the strengths of both techniques and overcome their individual weaknesses.
- KonferenzbeitragChecking Consistency and Completeness of Software Systems(Software Engineering and Software Management 2019, 2019) Sneed, HarryThe following paper presents the current state of the author’s research on the subject of static software tracing, a research which dates back to the year 2000 when the author was requested to predict the costs of software maintenance projects. The goal of static tracing is to link the software artifacts produced in software development with the original requirements. These artifacts are linked by comparing the data names they use, i.e. their operands, with the nouns in the requirement text. Artifacts that have data names similar to those used in the requirement texts are considered to be implementations of those requirements.
- KonferenzbeitragCombining Verifiers in Conditional Model Checking via Reducers(Software Engineering and Software Management 2019, 2019) Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, HeikeSoftware verification received lots of attention in the past two decades. Nonetheless, it remains an extremely difficult problem. Some verification tasks cannot be solved automatically by any of today’s verifiers. To still verify such tasks, one can combine the strengths of different verifiers. A promising approach to create combinations is conditional model checking (CMC). In CMC, the first verifier outputs a condition that describes the parts of the program state space that it successfully verified, and the next verifier uses that condition to steer its exploration towards the unverified state space. Despite the benefits of CMC, only few verifiers can handle conditions. To overcome this problem, we propose an automatic plug-and-play extension for verifiers. Instead of modifying verifiers, we suggest to add a preprocessor: the reducer. The reducer takes the condition and the original program and computes a residual program that encodes the unverified state space in program code. We developed one such reducer and use it to integrate existing verifiers and test-case generators into the CMC process. Our experiments show that we can solve many additional verification tasks with this reducer-based construction.
- WorkshopbeitragComparison of the FMEA and STPA safety analysis methods-a case study(Software Engineering and Software Management 2019, 2019) Sulaman, Sardar Muhammad; Beer, Armin; Felderer, Michael; Höst, MartinThis summary refers to the paper ’Comparison of the FMEA and STPA safety analysis methods–a case study’ [Su17]. The paper was published as an article in the Software Quality Journal. It compares the Failure Mode and Effect Analysis (FMEA) and the System Theoretic Process Analysis (STPA) in an industrial case study.
- KonferenzbeitragConnected-Car-Services: eine Klassifikation der Plattformen für das vernetzte Automobil(Software Engineering and Software Management 2019, 2019) Bosler, Micha; Jud, Christopher; Herzwurm, GeorgPlattformen stellen zunehmend in den unterschiedlichsten Industrien eine wichtige Komponente der Wertschöpfung dar. Das zeigt sich im Kontext der "Connected Cars" auch in der Automobilindustrie. Vernetzte Fahrzeuge mit Konnektivität-Funktionalitäten ermöglichen das Angebot neuartiger Dienste für Fahrer und Halter. Diesbezüglich etablieren Hersteller, Zulieferer sowie ehemals branchenfremde Unternehmen plattformbasierte Konstrukte, um die zugehörigen Connected-Car-Services zu realisieren. Basierend auf Erkenntnissen aus Experteninterviews werden die wichtigsten Typen der Connected-Car-Plattformen im Rahmen einer Klassifikation charakterisiert.