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:

  • Systems Engineering for Cyber-Physical Systems
  • Safety, Security, Reliability and Availability
  • Risk-Assessment and -Minimization
  • Model-Based Safety Analysis

 

News and Announcements

21.02.2020The dates for the presentations were announced. Please report any problems as soon as possible.
25.10.2019The slides of the kick-off meeting can be downloaded below at the timeline.
23.10.2019The topic assignment is done and was announced by e-mail.
16.10.2019We 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.2019The available seminar topics have been published. To apply for seminar topics, please follow the steps below.
14.10.2019The 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.2019Registration is now possible. Further information can be found in the section Registration below.

Presentations

Block 1

 

Datum:Mo, 02.03.2020
Beginn:13:00 Uhr
Raum:46-267
UhrzeitThemaDauerStudent(en)TitelBetreuer
13:00T1015 minKatarina ZejnulovicApplication of Explainable Artificial Intelligence (XAI) concepts to Generative Adversarial Networks (GAN)Christian
T1220 minJacques DörnerOverview of Importance Measures for Basic Events in Fault TreesFelix
Sevilay Akkus
T1825 minBavithira GnanasegaramAdaptation of Service-oriented Architectures to different domainsFrank
Rohit Jain
Priom Biswas
14:00Puffer + Pause
14:20T2115 minJiradet OunjaiA Systematic Literature Review on using High-Performance Computing in the automotive domainEmilia
T625 minChristoph ZwickSurvey of hardware platforms for automotive model demonstrators in a research contextTewanima
Martin Böh
Fahia Nasnin
T1520 minTayyaba SeherWhy autonomous driving? A non-technical use-case analysisTewanima
Clement John Shaji
15:45Ende

Block 2

 

Datum:Mi, 11.03.2020
Beginn:9:00 Uhr
Raum:46-267
UhrzeitThemaDauerStudent(en)TitelBetreuer
9:00T125 minFrank Eric MbougaSoftware Engineering of Self-adaptive SystemsRasha
Daniel Mamat
Kevin Kaißling
T215 minVlad-Cristian ConstantinTesting of Self-adaptive SystemsRasha
T315 minFlorian WirschemSelf-adaptive Systems Design Using Control Engineering ApproachesRasha
10:00Puffer + Pause
10:15T715 minRaghad MatarSecurity threats caused by compiler optimizationsJasmin
T820 minPoorvi SahaiComputing use cases for edge computingJasmin
Sushmitha Kalluri
T920 minJunhan SuiPerformance in microservice-based systemsJasmin
Talant Asankozhoev
11:30Ende

Block 3

 

Datum:Do, 12.03.2020
Beginn:12:00 Uhr
Raum:46-267
UhrzeitThemaDauerStudent(en)TitelBetreuer
12:00T415 minMarvin CasparAutomatic Derivation of Fault Tree Models from SysML Models for Safety AnalysisTewanima
T1320 minJonas BrozeitOpenness - A Vital facet of Industry 4.0?Nishanth
Nathalie Hippchen
T1415 minFlorian WeickCo-operative adaptive Cruise control (CACC) in real world traffic scenariosNishanth
12:50Puffer + Pause
13:10T1615 minTheogene UrimubenshiA Survey on research challenges and engineering practices for Smart Embedded SystemAnil
T2215 minRudolf WagnerWriting of successful research paper in the Dependability CommunityEmilia
14:00Ende

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.

Beschreibung :

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.

Literatur :

  • 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.

Betreuer:

Rasha Abu Qasem

Beschreibung :

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.

Literatur :

  • 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.

Betreuer:

Rasha Abu Qasem

Beschreibung :

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.

Literatur :

  • 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.

Betreuer:

Rasha Abu Qasem

Beschreibung :

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.

Literatur :

Beschreibung :

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

Betreuer:

Brian Tewanima Löwe

Beschreibung :

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.

Literatur :

Betreuer:

Jasmin Jahić

Beschreibung :

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.

Literatur :

Betreuer:

Jasmin Jahić

Beschreibung :

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.

Literatur :

    Betreuer:

    Jasmin Jahić

    Beschreibung :

    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.

    Literatur :

    Betreuer:

    Christian Wolschke

    Beschreibung :

    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.

    Literatur :

    • 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

    Betreuer:

    Christian Wolschke

    Beschreibung :

    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.

    Literatur :

    Betreuer:

    Felix Möhrle

    Beschreibung :

    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?

    Literatur :

    • 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)

    Betreuer:

    Nishanth Laxman

    Beschreibung :

    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.

    Literatur :

    • 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.

      Betreuer:

      Nishanth Laxman

      Beschreibung :

      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.

      Betreuer:

      Nishanth Laxman

      Beschreibung :

      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.

      Literatur :

      • 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).

      Betreuer:

      Anil Patel

      Beschreibung :

      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.

      Literatur :

      • 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.

      Betreuer:

      Anil Patel

      Beschreibung :

      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

      Literatur :

      • 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.

      Betreuer:

      Frank Schnicke

      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.

      Timeline


      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.

      Kickoff-Meeting25.10.2019, 10:00 in room 46-267 (slides)
      Annotated table of contents22.11.2019
      First version of written papers19.01.2020
      Final version of written papers16.02.2020
      Presentations02.03., 11.03., 12.03.

      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 und LaTeX
      . The duration of the presentations can be found in the schedule above.

      Organizers