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.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.|
|13:00||T10||15 min||Katarina Zejnulovic||Application of Explainable Artificial Intelligence (XAI) concepts to Generative Adversarial Networks (GAN)||Christian|
|T12||20 min||Jacques Dörner||Overview of Importance Measures for Basic Events in Fault Trees||Felix|
|T18||25 min||Bavithira Gnanasegaram||Adaptation of Service-oriented Architectures to different domains||Frank|
|14:00||Puffer + Pause|
|14:20||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|
|T15||20 min||Tayyaba Seher||Why autonomous driving? A non-technical use-case analysis||Tewanima|
|Clement John Shaji|
|9:00||T1||25 min||Frank Eric Mbouga||Software Engineering of Self-adaptive Systems||Rasha|
|T2||15 min||Vlad-Cristian Constantin||Testing of Self-adaptive Systems||Rasha|
|T3||15 min||Florian Wirschem||Self-adaptive Systems Design Using Control Engineering Approaches||Rasha|
|10:00||Puffer + Pause|
|10:15||T7||15 min||Raghad Matar||Security threats caused by compiler optimizations||Jasmin|
|T8||20 min||Poorvi Sahai||Computing use cases for edge computing||Jasmin|
|T9||20 min||Junhan Sui||Performance in microservice-based systems||Jasmin|
|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|
|T14||15 min||Florian Weick||Co-operative adaptive Cruise control (CACC) in real world traffic scenarios||Nishanth|
|12:50||Puffer + Pause|
|13:10||T16||15 min||Theogene Urimubenshi||A Survey on research challenges and engineering practices for Smart Embedded System||Anil|
|T22||15 min||Rudolf Wagner||Writing of successful research paper in the Dependability Community||Emilia|
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.
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.
- 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.
Rasha Abu Qasem
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.
- 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.
Rasha Abu Qasem
T3 (Bachelor, Master - Englisch - Personen: 1) : Self-adaptive Systems Design Using Control Engineering Approaches
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.
- 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.
Rasha Abu Qasem
T4 (Master - Englisch Deutsch - Personen: 1) : Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis
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.
Brian Tewanima Löwe
T5 (Bachelor, Master - Englisch Deutsch - Personen: 1-3) : Survey of hardware platforms for automotive model demonstrators in a research context
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 capability & features
- existing toolkits
- API features
- supported development environments
- size and quality of documentation
- Scientific community
- existing research projects
- known problems
Brian Tewanima Löwe
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.
- The Correctness-Security Gap in Compiler Optimization, D'Silva et al., 2015 - https://ieeexplore.ieee.org/document/7163211
- What You Get is What You C: Controlling Side Effects in Mainstream C Compilers, L. Simon, 2018 - https://ieeexplore.ieee.org/document/8406587
- Secure Compilation and Hyperproperty Preservation, M. Patrignani, 2017 - https://ieeexplore.ieee.org/document/8049734
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.
- Comparison of edge computing implementations: Fog computing, cloudlet and mobile edge computing, K. Dolui, 2017 - https://ieeexplore.ieee.org/document/8016213
- Fog at the Edge: Experiences Building an Edge Computing Platform, Nam Ky Giang, 2018 - https://ieeexplore.ieee.org/document/8473371
- Edge Computing Perspectives: Architectures, Technologies, and Open Security Issues, M. Caprolu, 2019 - https://ieeexplore.ieee.org/document/8812214
- Embedded Deep Learning for Vehicular Edge Computing, J. Hochstelter, 2018 - https://ieeexplore.ieee.org/document/8567683
- MVR: An Architecture for Computation Offloading in Mobile Edge Computing, X. Wei, 2017 - https://ieeexplore.ieee.org/document/8029283
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.
- Performance evaluation in the migration process from a monolithic application to microservices, D. Guaman et al., 2018 - https://ieeexplore.ieee.org/document/8399148
- Microservices: The Journey So Far and Challenges Ahead, P. Jamshidi, 2018 - https://ieeexplore.ieee.org/abstract/document/8354433
T9 (Bachelor, Master - Englisch Deutsch - Personen: 1) : Explainable Artificial Intelligence - An overview
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.
- Explainable Artificial Intelligence: Understanding, Visualizing and Interpreting Deep Learning Models. Wojciech Samek, Thomas Wiegand, Klaus-Robert Müller. 2017. https://arxiv.org/abs/1708.08296
- F. K. Došilović, M. Brčić and N. Hlupić, "Explainable artificial intelligence: A survey," 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, 2018, pp. 0210-0215. doi: 10.23919/MIPRO.2018.8400040 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8400040&isnumber=8399814
- A. Adadi and M. Berrada, "Peeking Inside the Black-Box: A Survey on Explainable Artificial Intelligence (XAI)," in IEEE Access, vol. 6, pp. 52138-52160, 2018. doi: 10.1109/ACCESS.2018.2870052 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8466590&isnumber=8274985
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.
- 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
T11 (Bachelor, Master - Englisch Deutsch - Personen: 1-2) : Overview of Importance Measures for Basic Events in Fault Trees
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.
- Borgonovo, Emanuele. "Differential, criticality and Birnbaum importance measures: An application to basic event, groups and SSCs in event trees and binary decision diagrams." Reliability Engineering & System Safety 92.10 (2007): 1458-1467 - https://www.sciencedirect.com/science/article/pii/S095183200600216X
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?
- 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.
- Anderl, R., et al. "Aspects of the research roadmap in application scenarios." Federal Ministry for Economic Affairs and Energy, Tech. Rep. (2016)
T13 (Bachelor, Master - Englisch - Personen: 1) : Co-operative adaptive Cruise control (CACC) in real world traffic scenarios
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.
- 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.
T14 (Bachelor, Master - Englisch - Personen: 1-2) : Why autonomous driving? A non-technical use-case analysis
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.
T15 (Bachelor - Englisch - Personen: 1) : A Survey on research challenges and engineering practices for Smart Embedded System
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.
- 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).
T16 (Master - Englisch - Personen: 1) : Scenario based edge case and corner case studies for Autonomous Vehicles
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.
- 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.
T17 (Bachelor, Master - Englisch - Personen: 1-3) : Adaptation of Service-oriented Architectures to different domains
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?
- 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
- 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.
To apply for seminar topics, please proceed as follows:
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.
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.
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.
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-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.|
The seminar will be held in English. Bachelor students are free to choose between German or English.
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).