[English]
[Deutsch]

Chair of Software Engineering: Dependability
Prof. Dr.-Ing. Liggesmeyer

Home

Research

Teaching

Staff

Job Offers

Publications

Contact


Datenschutzerklärung

Impressum

Seminar Software Engineering

The chair SEDA organizes the joint Software Engineering Seminar for Bachelor and Master students in winter semester 2019/20. The goal of the seminar is to introduce students to the critical reading, understanding, summarizing, and presentation of scientific papers. Contents are selected topics from the field of software and systems engineering, in particular:

News and Announcements

27.02.2020 We have updated the dates for the presentations.
21.02.2020 The dates for the presentations were announced. Please report any problems as soon as possible.
25.10.2019 The slides of the kick-off meeting can be downloaded below at the timeline.
23.10.2019 The topic assignment is done and was announced by e-mail.
16.10.2019 We have removed the topic T5 because it was a duplicate of T15. Your already submitted topic preferences were automatically updated by replacing T5 with T15 (same topic).
15.10.2019 The available seminar topics have been published. To apply for seminar topics, please follow the steps below.
14.10.2019 The collection of seminar topics took us a little longer this semester. We will probably publish the topics tomorrow and postpone the kick-off meeting by one week. We will announce more details tomorrow in a broadcast mail.
18.09.2019 Registration is now possible. Further information can be found in the section Registration below.

Presentations

Block 1

Date: Mon, 02.03.2020
Start: 13:00
Room: 46-267

Time Topic Duration Student(s) Title Supervisor
13:00 T3 15 min Florian Wirschem Self-adaptive Systems Design Using Control Engineering Approaches Rasha
T9 15 min Talant Asankozhoev Performance in microservice-based systems Jasmin
T14 15 min Florian Weick Co-operative adaptive Cruise control (CACC) in real world traffic scenarios Nishanth
13:45 Buffer + Break
14:05 T21 15 min Jiradet Ounjai A Systematic Literature Review on using High-Performance Computing in the automotive domain Emilia
T6 25 min Christoph Zwick Survey of hardware platforms for automotive model demonstrators in a research context Tewanima
Martin Böh
Fahia Nasnin
T15 20 min Tayyaba Seher Why autonomous driving? A non-technical use-case analysis Tewanima
Clement John Shaji
15:20 End

Block 2

Date: Wed, 11.03.2020
Start: 9:00
Room: 46-267

Time Topic Duration Student(s) Title Supervisor
9:00 T1 25 min Frank Eric Mbouga Software Engineering of Self-adaptive Systems Rasha
Daniel Mamat
Kevin Kaißling
T2 15 min Vlad-Cristian Constantin Testing of Self-adaptive Systems Rasha
T12 20 min Jacques Dörner Overview of Importance Measures for Basic Events in Fault Trees Felix
Sevilay Akkus
10:00 Buffer + Break
10:20 T7 15 min Raghad Matar Security threats caused by compiler optimizations Jasmin
T8 20 min Poorvi Sahai Computing use cases for edge computing Jasmin
Sushmitha Kalluri
11:10 End

Block 3

Date: Thu, 12.03.2020
Start: 12:00
Room: 46-267

Time Topic Duration Student(s) Title Supervisor
12:00 T4 15 min Marvin Caspar Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis Tewanima
T13 20 min Jonas Brozeit Openness - A Vital facet of Industry 4.0? Nishanth
Nathalie Hippchen
T10 15 min Katarina Zejnulovic Application of Explainable Artificial Intelligence (XAI) concepts to Generative Adversarial Networks (GAN) Christian
12:50 Buffer + Break
13:10 T18 25 min Bavithira Gnanasegaram Adaptation of Service-oriented Architectures to different domains Frank
Rohit Jain
Priom Biswas
T22 15 min Rudolf Wagner Writing of successful research paper in the Dependability Community Emilia
14:00 End

Topics Overview

Note: Click on a topic to open the detailed view.

Depending on the supervisors, not all topics can be worked on in all languages. Group work is possible for some topics.

T1 (Bachelor, Master - English - Persons: 1-3) : Software Engineering of Self-adaptive Systems
Description
Self-adaptation has become a hot topic within the system engineering community. It has introduced several challenges to the traditional software engineering activities. The goal of this work is to identify these challenges in the different software development steps and to analyse the so far proposed solutions for them.
Literature
  • M. Bellare and P. Rogaway, Software Engineering for Self-Adapting Systems, vol. 1070. 2009.
  • Betty H.C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi, Software Engineering for Self-Adaptive Systems: A Research Roadmap, 2009.
Supervisor Rasha Abu Qasem

T2 (Bachelor, Master - English - Persons: 1-2) : Testing of Self-adaptive Systems
Description
The provision of assurances for self-adaptive systems is challenging since runtime changes introduce a high degree of uncertainty. The goal of this work is to address the challenge of self-adaptive systems testing and to classify the solutions provided until now for it, then to argue about their feasibility.
Literature
  • P. Helle, W. Schamai, and C. Strobel, “Testing of Autonomous Systems - Challenges and Current State-of-the-Art,” INCOSE Int. Symp., vol. 26, no. 1, pp. 571–584, 2016.
  • R. de Lemos et al., “Software engineering for self-adaptive systems: research challenges in the provision of assurances,” Lect. Notes Comput. Sci. (including Subser. Lect. Notes Artif. Intell. Lect. Notes Bioinformatics), vol. 9640 LNCS, no. December 2013, pp. 3–30, 2017.
Supervisor Rasha Abu Qasem

T3 (Bachelor, Master - English - Persons: 1) : Self-adaptive Systems Design Using Control Engineering Approaches
Description
Control engineering approaches have been identified as a promising tool to integrate self-adaptive capabilities into software systems. The goal of this work is to compare the different control engineering approaches. Then to show how they are elaborated in the design process of self-adaptive software systems.
Literature
  • T. Patikirikorala, A. Colman, J. Han, and L. Wang, “A systematic survey on the design of self-adaptive software systems using control engineering approaches,” ICSE Work. Softw. Eng. Adapt. Self-Managing Syst., pp. 33–42, 2012.
Supervisor Rasha Abu Qasem

T4 (Master - English German - Persons: 1) : Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis
Description
Fault Tree models are a necessity for the state of the art Fault Tree Safety Analysis. This paper proposes an approach for integrating safety analysis of safety critical systems into the model-driven engineering workflow. To that end SysML system models are automatically transformed into Fault Tree models.
Literature
Supervisor Brian Tewanima Löwe

T6 (Bachelor, Master - English German - Persons: 1-3) : Survey of hardware platforms for automotive model demonstrators in a research context
Description
Compare 5 automotive model kits with respect to their feasibility of use as hardware demonstrators in a scientific reasearch context. Every demonstrator is to be analyzed and compared according to at least these parametes:
  • Hardware
    • hardware capability & features
    • extensibility
    • robustness
    • performance
  • Software
    • existing toolkits
    • API features
    • supported development environments
    • size and quality of documentation
  • Scientific community
    • existing research projects
    • known problems
Literature
  • t.b.d.
Supervisor Brian Tewanima Löwe

T7 (Master - English - Persons: 1) : Security threats caused by compiler optimizations
Description
Compilers today apply extremely powerful and complex optimization algorithms. While these optimizations significantly improve execution performance (e.g., by re-ordering instructions), they might impose new vulnerabilities in software (e.g., some redundancies are irrelevant for functionality, but they might be relevant for other properties). Functionality of the optimized binary might be proper, but the optimizations can affect quality properties. Lately, security breaches due to compiler optimizations are becoming increasingly important topic in research and industry. This seminar will gather detected examples of security breaches caused by compiler optimizations, approaches and notations for specifying security-related properties that should not be violated (i.e., testing criteria) by compiler optimizations, and approaches for finding compiler optimizations-caused security bugs.
Literature
Supervisor Jasmin Jahić

T8 (Master - English - Persons: 1-2) : Computing use cases for edge computing
Description
With the increase in the computing requirements, computing industry responded with multicore and manycore processors and cloud computing. However, lately industry is facing problems with the lack of computing resources on devices and latencies caused by the need to communicate with cloud. As the answer, we have lately seen rise of the edge computing. This seminar aims to investigate: Concepts of the edge computing, Industrial use cases suitable for edge computing, Performance advantages of the edge computing over cloud and many-core on device computing.
Literature
Supervisor Jasmin Jahić

T9 (Master - English - Persons: 1-2) : Performance in microservice-based systems
Description
In today’s industry, rising architectural style is based on microservices. The idea of this style is to distribute and partition a software system to small services with clearly separated functionalities and fixed interfaces. While developers and architects have recognized great benefits from this separation of concerns, the remaining question is: how does the microservice style influence performance of software systems? This seminar aims to research about existing case studies in the area of performance of microservices with the focus on performance. Besides explaining microservices with examples (code and models), it will focus on identifying architectural properties that affect performance of software systems and that are directly affected by the microservices pattern.
Literature
Supervisor Jasmin Jahić

T10 (Bachelor, Master - English German - Persons: 1) : Explainable Artificial Intelligence - An overview
Description
The advent of deep neural networks pushed many fields in automatic recognition, i.e. voice recognition and picture/video analysis. Nevertheless, the trained models give no direct insight why they produce for certain input the corresponding output. The student give an overview of existing explanation approaches and their goals.
Literature
Supervisor Christian Wolschke

T11 (Bachelor, Master - English German - Persons: 1) : Activation Analysis of DNN
Description
The analysis of Deep neural networks (DNN) is crucial to ensure the quality of the trained model. In order to find different and test different input classes, multiple methods exists. The student should investigate, how the methods described in the reference list work and how they are interrelated. Beyond the given papers, further work should also be examined.
Literature
  • Investigating Layer Activation Patterns in Neural Networks for Classification Error Detection. Victor DEMUYSERE. 2018. https://dial.uclouvain.be/memoire/ucl/en/object/thesis%3A17232/datastream/PDF_01/view
  • Runtime Monitoring Neuron Activation Patterns. Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka. 2018. https://arxiv.org/abs/1809.06573
  • Interpretability Beyond Feature Attribution: Quantitative Testing with Concept Activation Vectors (TCAV). Been Kim, Martin Wattenberg, Justin Gilmer, Carrie Cai, James Wexler, Fernanda Viegas, Rory Sayres. 2018. https://arxiv.org/abs/1711.11279
  • Testing Deep Neural Networks. 2019. Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore. https://arxiv.org/abs/1803.04792
  • Samarasinghe S. (2016) Order in the Black Box: Consistency and Robustness of Hidden Neuron Activation of Feed Forward Neural Networks and Its Use in Efficient Optimization of Network Structure. In: Shanmuganathan S., Samarasinghe S. (eds) Artificial Neural Network Modelling. Studies in Computational Intelligence, vol 628. Springer, Cham
  • Not Just a Black Box: Learning Important Features Through Propagating Activation Differences. Avanti Shrikumar, Peyton Greenside, Anna Shcherbina, Anshul Kundaje. 2017. https://arxiv.org/abs/1605.01713
  • M. Kahng, P. Y. Andrews, A. Kalro and D. H. Chau, "ActiVis: Visual Exploration of Industry-Scale Deep Neural Network Models," in IEEE Transactions on Visualization and Computer Graphics, vol. 24, no. 1, pp. 88-97, Jan. 2018. doi: 10.1109/TVCG.2017.2744718 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8022871&isnumber=8165924
  • Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening. 2018. Concolic testing for deep neural networks. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018). ACM, New York, NY, USA, 109-119. DOI: https://doi.org/10.1145/3238147.3238172
Supervisor Christian Wolschke

T12 (Bachelor, Master - English German - Persons: 1-2) : Overview of Importance Measures for Basic Events in Fault Trees
Description
Fault trees are a widely used modeling technique for system failures and their causes. System failures (top events) are modeled as a logical concatenation of events at a lower level in the system (basic events). On the basis of a fault tree model, various analyses can be carried out, e.g. in order to evaluate the safety or reliability of the system. Thereby, the influence of individual basic events on the top event can vary considerably, as some system parts are more critical than others. The aim of this work is to give an overview of various metrics that can be used to evaluate the importance of basic events.
Literature
Supervisor Felix Möhrle

T13 (Bachelor, Master - English - Persons: 1-2) : Openness – A Vital facet of Industry 4.0?
Description
Openness is defined in several ways in various fields. Openness with respect to systems engineering, is a scenario where in different systems can integrate with each other during operation to share information or exchange important certificates to achieve a common goal. Similarly, openness is defined in different way in case of industrial production. The ever changing market trends, customer specific requirements for various products have triggered the need of new production systems which are flexible and adaptable to these. But openness is another step further, in Production systems. Openness can be a solution to handle this ever changing market needs and make manufacturer a competent player in today’s economy. Flexible and adaptable production systems are of prime focus in Germany led vision of “Industry 4.0”, but can openness also be a vital facet of this vision?
Literature
  • Redlich, Tobias, et al. "The Strategy of Openness in industrial production." Management of Engineering and Technology (PICMET), 2015 Portland International Conference on. IEEE, 2015.
  • Wulfsberg, Jens Peter, Tobias Redlich, and Franz-Ludwig Bruhns. "Open production: scientific foundation for co-creative product realization." Production Engineering 5.2 (2011): 127-139.
  • Propris, Lisa De, Stefano Menghinello, and Roger Sugden. "The internationalisation of production systems: embeddedness, openness and governance." Entrepreneurship and regional development 20.6 (2008): 493-515.
  • https://news.sap.com/2018/01/industrie-4-0-why-openness-and-collaboration-make-all-the-difference/
  • Anderl, R., et al. "Aspects of the research roadmap in application scenarios." Federal Ministry for Economic Affairs and Energy, Tech. Rep. (2016)
Supervisor Nishanth Laxman

T14 (Bachelor, Master - English - Persons: 1) : Co-operative adaptive Cruise control (CACC) in real world traffic scenarios
Description
CACC is extended version of Adaptive cruise control in cars. Systems / Vehicles with CACC are being used to form platoons on highways and claim to improve Performance, fuel efficiency while considering the safety of own and other vehicles, and humans involved as well. It will be interesting to know, exactly to what extent is it advantageous and feasible in actual traffic scenarios, which are highly dynamic in nature and also see if such systems can be reliable.
Literature
  • Naus, Gerrit, et al. "Cooperative adaptive cruise control." IEEE automotive engineering symposium Eindhoven, The Netherlands. Vol. 6. 2009.
  • Van Arem, Bart, Cornelie JG Van Driel, and Ruben Visser. "The impact of cooperative adaptive cruise control on traffic-flow characteristics." IEEE Transactions on Intelligent Transportation Systems 7.4 (2006): 429-436.
  • Milanés, Vicente, et al. "Cooperative Adaptive Cruise Control in Real Traffic Situations." IEEE Trans. Intelligent Transportation Systems 15.1 (2014): 296-305.
  • Shladover, Steven, Dongyan Su, and Xiao-Yun Lu. "Impacts of cooperative adaptive cruise control on freeway traffic flow." Transportation Research Record: Journal of the Transportation Research Board 2324 (2012): 63-70.
Supervisor Nishanth Laxman

T15 (Bachelor, Master - English - Persons: 1-2) : Why autonomous driving? A non-technical use-case analysis
Description
In modern times everyone is pushing towards autonomous vehicles and driving. But before the very challenging technical questions should be addressed, many hard questions w.r.t. the use-case must be answered:
  • What is to be gained from autonomous driving?
  • Why are advanced driving assistence systems (ADAS) not sufficient?
  • Do these two approaches (autonomous vs. ADAS) complement or contradict each other?
  • Is autonomous driving a successor of ADAS or a parallel development?
  • How feasible are both approaches?
  • Where do we stop w.r.t. both approaches?

The topic has a stronger focus on economic than on technical aspects and is particularly suitable for students of Wirtschaftsingenieurswesen.
Supervisor Nishanth Laxman

T16 (Bachelor - English - Persons: 1) : A Survey on research challenges and engineering practices for Smart Embedded System
Description

A smart embedded system has gained popularity in recent years and increasingly work in safety-critical dynamic environment with complex System of Systems architecture. To address this, an approach to find out the hidden challenges associated with the intelligent systems, as well as state of the art engineering practices that support the development of smart embedded systems, needs to be identified.

Goal: A literature survey must be conducted to address the associated challenges with the development of Smart Embedded System. In addition, a survey also includes the current state of the art engineering practices that increases intelligence in the Embedded systems. (Tip: Engineering practices can be in any application domain, e.g., Automotive, Railways, Medical etc.)

Keywords:- Embedded Systems, Intelligence for Embedded Systems, Smart Embedded Systems, Self-Aware/Context-Aware Embedded System, Embedded Intelligence.

Literature
  • Dutt, N., Jantsch, A., and Sarma, S. (2016). Toward smart embedded systems: A self-aware system-on-chip (soc) perspective. ACM Transactions on Embedded Computing Systems (TECS), 15(2), 22.
  • Baunach, M., Gomes, R. M., Malenko, M., Mauroner, F., Ribeiro, L. B., and Scheipel, T. (2018). Smart mobility of the future–a challenge for embedded automotive systems. e & i Elektrotechnik und Informationstechnik, 135(4-5), 304-308.
  • Krupitzer, C., Breitbach, M., Roth, F. M., VanSyckel, S., Schiele, G., and Becker, C. (2018). A survey on engineering approaches for self-adaptive systems (extended version).
Supervisor Anil Patel

T17 (Master - English - Persons: 1) : Scenario based edge case and corner case studies for Autonomous Vehicles
Description

The development progress of autonomous vehicles is limited due to the increased level of uncertainty resulting from the enormous number of possible scenarios. Even artificial neural networks are not sufficient to reliably classify situations. Therefore, an approach is required to identify the edge case and corner case for autonomous vehicles is required with respect to the boundary case and base case.

Goal: - Different types of the edge case, corner case, boundary case and base case with respect to Autonomous Vehicles have to be collected and discussed it in detail. (Tip: - Edge case is a problem that happens very rarely while corner case occurs only outside the operational domain)

Keywords: - Autonomous Vehicle, Edge case, Corner Case, Boundary Case, Base Case, Use cases for Autonomous Driving, Scenarios for Autonomous Vehicles.

Literature
  • Wachenfeld, W., Winner, H., Gerdes, J. C., Lenz, B., Maurer, M., Beiker, S., ... and Winkle, T. (2016). Use cases for autonomous driving. In Autonomous driving (pp. 9-37). Springer, Berlin, Heidelberg.
  • Fridman, L., Jenik, B., and Reimer, B. (2017). Arguing machines: Perception control system redundancy and edge case discovery in real-world autonomous driving. arXiv preprint arXiv:1710.04459.
  • Zhao, D. (2016). Accelerated Evaluation of Automated Vehicles.
Supervisor Anil Patel

T18 (Bachelor, Master - English - Persons: 1-3) : Adaptation of Service-oriented Architectures to different domains
Description
SOA (or microservices) is used to decouple static connections between service providers and service consumers. This enables quick introduction of new service providers or exchange of existing service implementations. However, is it applicable to different domains like Industrie 4.0 or Smart Grinds without adaptation efforts or introduction of new aspects like simulation models?

Expectations:
  • Detailed description of SOA (What are the core parts?)
  • Overview over different domains in which SOA was applied
  • Literature Research for each domain, showcasing the application and possible tailoring needed
Literature
  • Rosen, Michael, et al. Applied SOA: service-oriented architecture and design strategies. John Wiley & Sons, 2012.
  • Karnouskos, Stamatis, et al. "A SOA-based architecture for empowering future collaborative cloud-based industrial automation." IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society. IEEE, 2012.
Supervisor Frank Schnicke

Legend:

English German Available languages
Persons: 1 Single work (1 person)
Persons: N Group work possible (min-max)

Topic Application

To apply for seminar topics, please proceed as follows:

  1. In the list above, select the topics you would like to work on. We recommend that you select more than one topic, as not everyone can get their preferred topic. The selection of several topics increases the chance of receiving a topic.

    Sort your selection in descending order by priority, as shown in the following example:

    T5 > T8 > T14

    Here, the topic T5 is the first choice, T8 the second choice and T14 the third choice. You can list as many topics as you like.

  2. Optional: If group work is possible on one or more of your selected topics and you already know fellow students with whom you would like to work, please let us know.

    To do this, list the names of your fellow students in a second line, as shown in the following example:

    Name1, Name2

    This information is independent of your choice of topics from step 1. It is sufficient if your fellow students apply for a topic identical to yours. Our algorithm prefers to form groups of students who know each other. You can also apply alone for topics with group work and will then be randomly matched with other students.

  3. Please let us know if you need a grade for the seminar. In case of doubt, clarify this question with your examination office. Usually, most students only receive an ungraded certificate.

    Grade: no

Send us this information in a brief e-mail until Tue, 22.10.2019 at 14 hours. We will do our best to include as many of you as possible.

Registration

To register for the seminar, please send us a short e-mail with the following information.
The deadline for registration is 20.09.2019. A final confirmation of who can participate in the seminar can only be given after the registration deadline. Usually, there are more registrations than available topics, which is why we will probably have to draw lots for the free places.

Timeline

Kickoff-Meeting 25.10.2019, 10:00 in room 46-267 (slides)
Annotated table of contents 22.11.2019
First version of written papers 19.01.2020
Final version of written papers 16.02.2020
Presentations 02.03., 11.03., 12.03.

At the kick-off meeting, the organization of the seminar is discussed and contact is made with the supervisors. After a few weeks, the participants prepare a table of contents (TOC) with some key points to the planned contents of the work. In the following, all participants create a written paper on their topic. The work should be discussed in regular meetings with the supervisors. The first version of the written paper is to be finished by mid-January and will serve as a basis for final feedback from the supervisors. The final version of the paper is to be completed by the beginning of February. At the end the works will be presented at a final meeting.

Material

The seminar will be held in English. Bachelor students are free to choose between German or English.

Paper

Please use the modified LNCS template for your paper. Your paper should be about 10 pages (bachelor) or 15 pages (master) long (not including figures).

Presentations

Please use our templates for PowerPoint, LibreOffice, or LaTeX. The duration of the presentations can be found in the schedule above.

Organizers