Chair of software engineering: Dependability

Software Engineering Seminar

The chair SEDA organizes the joint Software Engineering Seminar for Bachelor and Master students in Winter semester 2021/22. 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

02.09.2021Registration is now possible. Further information can be found in the section Registration below.

The number of participants is greater than the number of available topics. Therefore, we ask you to look for Seminars in other departments as well.

Registration

To register for the seminar, please send us a short e-mail with the following information.

  • Name, matriculation number
  • Course of studies
  • Bachelor or Master

The deadline for registration is 04.10.2021. 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.

Note:- Due to the large number of participants in this Winter semester 2021/22, we cannot offer seminar topics for all participants. We can only offer topics according to the "first come, first served" principle. This means that those who applied well in advance have given the highest priority. 

Timeline

Kickoff-Meeting25.10.2021
Annotated table of contents29.11.2021
First version of written papers17.01.2022
Final version of written papers14.02.2022
Presentationsnot yet fixed


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 themodified 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

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.

Description :

A self-adaptive system (SAS) is capable of adjusting its own behavior in response to any change in its operating environment. It is able to automatically adapt at runtime by adjusting its own parameters or components of the system in order to cope with the dynamic surrounding environment. However, adaptation actions should be identified as per the particular change in the environment, i.e. “What kind of change is required?”. The aim of this literature study is to address the scope of dynamic integration of the new parameter or new component at runtime in SAS. The following set of questions is essential to fulfilling this literature study.

•    Which adaptation techniques are better?
•    How much reliable and safe it is?
•    Is it feasible to implement combination of techniques in SAS?
•    What are the impacts and cost factors?
•    How to increase the performance of the SAS with adaptation techniques?

Literature :

  1. Salehie, M., & Tahvildari, L. (2009). Self-adaptive software: Landscape and research challenges. ACM transactions on autonomous and adaptive systems (TAAS), 4(2), 14.
  2. Krupitzer, C., Breitbach, M., Roth, F. M., VanSyckel, S., Schiele, G., & Becker, C. (2018). A survey on engineering approaches for self-adaptive systems (extended version).
  3. Handte, M., Schiele, G., Matjuntke, V., Becker, C., & Marrón, P. J. (2012). 3PC: System support for adaptive peer-to-peer pervasive computing. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 7(1), 1-19.
  4. McKinley, P. K., Sadjadi, S. M., Kasten, E. P., & Cheng, B. H. (2004). Composing adaptive software. Computer, 37(7), 56-64.
  5. Epifani, I., Ghezzi, C., Mirandola, R., & Tamburrelli, G. (2009, May). Model evolution by run-time parameter adaptation. In 2009 IEEE 31st International Conference on Software Engineering (pp. 111-121). IEEE.
  6. Weyns, D., Schmerl, B., Grassi, V., Malek, S., Mirandola, R., Prehofer, C., & Göschka, K. M. (2013). On patterns for decentralized control in self-adaptive systems. In Software Engineering for Self-Adaptive Systems II (pp. 76-107). Springer, Berlin, Heidelberg.

Supervisor :

Anil Patel

Description :

Advancement of technology and their impact on the real-world can be assessed by how safe it is. It is a primary role of a safety engineer to assess the risk via a process relevant data and learning from past lessons. Due to advanced and autonomous technology, a study for continuous and dynamic risk assessment is required. Aim of this literature study is to address the dynamics of risk and AI-based assessment techniques. The following set of questions is essential to fulfilling this literature study.

•    What are the dynamics of risk?
•    Which quantitative/qualitative risk assessment techniques are available?
•    How AI-based risk analysis is feasible?
•    What is the impact of human factors on AI-based risk assessment?
•    Which AI-techniques can be useful for risk assessment?

Literature :

  1. Hegde, J., & Rokseth, B. (2020). Applications of machine learning methods for engineering risk assessment–A review. Safety science, 122, 104492.
  2. Paltrinieri, N., Comfort, L., & Reniers, G. (2019). Learning about risk: Machine learning for risk assessment. Safety science, 118, 475-486.
  3. Apostolakis, G. E. (2004). How useful is quantitative risk assessment? Risk Analysis: An International Journal, 24(3), 515-520.
  4. Aven, T., & Krohn, B. S. (2014). A new perspective on how to understand, assess and manage risk and the unforeseen. Reliability Engineering & System Safety, 121, 1-10.
  5. Villa, V., Paltrinieri, N., Khan, F., & Cozzani, V. (2016). Towards dynamic risk analysis: A review of the risk assessment approach and its limitations in the chemical process industry. Safety science, 89, 77-93.
  6. Adedigba, S. A., Khan, F., & Yang, M. (2017). Dynamic failure analysis of process systems using neural networks. Process Safety and Environmental Protection, 111, 529-543.
  7. Rausand, M. (2013). Risk assessment: theory, methods, and applications (Vol. 115). John Wiley & Sons.

Supervisor:

Anil Patel

Description :

The aim is to investigate which methods exist to evaluate the end-user acceptance of Digital Farming solutions and what the results of these methods are.

Literature :

Literature will be provided

Supervisor:

Felix Möhrle

Description :

The aim is to research what systems exist to connect different Digital Farming solutions (e.g. from different manufacturers) in arable farming. Examples are Agrirouter and Nevonex.

Literature :

Literature will be provided

Supervisor:

Felix Möhrle

Description :

The aim is to research which software engineering standards exist for the evaluation of management information systems (e.g. in medicine and agriculture). Examples are ISO 25010 (software quality) and Quamoco.

Literature :

Literature will be provided

Supervisor:

Felix Möhrle

Description :

The aim is to investigate what communities of practice exist in the agricultural sector that can be used, for example, to evaluate the end-user acceptance of products.

Literature :

Literature will be provided

Supervisor:

Marc Favier

Description :

The aim is to research what systems exist to connect different Digital Farming solutions (e.g. from different manufacturers) in livestock farming. Examples are Herde+ and ISOAGRINET.

Literature :

Literature will be provided

Supervisor:

Marc Favier

Description :

The goal is to investigate what data management solutions exist to ensure product traceability in the food and wine industry. Blockchain is one example, but others will be explored as well.

Literature :

Literature will be provided

Supervisor:

Marc Favier

Description :

We hear today a lot of confusing terms such as digitization, digitalization, and digital transformation. All of them emphasize the importance of bringing technology into the business, health, and education sectors. But what should be done? When? and how? The difference between these terms is not clear.

In this topic, you need to sketch a proper definition for these seemingly identical terms and to find the fine thread that draws the boundaries between them. Examples or use cases from different application domains would enrich your claims!.

Literature :

  1.  Digitalization, Digitization, and Innovation
  2.  Digitization, Digitalization, And Digital Transformation: Confuse Them At Your Peril
  3. Automation, digitization and digitalization and their implications for manufacturing processes

Supervisor :

Rasha Abu Qasem

Description :

Multi-criteria Decision Analysis (MCDA) is a method developed in operations research that is used often in the context of decision making. The Decision-making process is complex in nature. It uses a set of evaluation criteria and constraints to generate a set of optimized alternative decisions. It is required that the evaluation criteria and constraints are well defined from the beginning and have a clear expected range of values. But in real-life application, a lot of uncertainty is involved in the process. 

Your work on this topic is to:

  1. investigate how the uncertainty in defining the evaluation criteria and constraints would affect the quality of the set of the generated alternative decisions.
  2. show how uncertainty can be integrated into MCDA method.

Literature :

Dealing with Uncertainties in multi-criteria decision analysis

Supervisor :

Rasha Abu Qasem

Description :

Reasoning is the act of thinking about something in a logical and sensible way. Such reasoning aspects are of highly employed during design stages of systems engineering., however with the ever-changing topology of cyber physical systems, the need for runtime reasoning is slowly gathering pace and especially in the field of runtime safety assurance. It will be interesting to know different perspectives of runtime reasoning and their respective goals.

The work will comprise of SLR of runtime reasoning methods presently being researched upon, followed by a qualitative evaluation of how they can influence runtime safety assurance.

Literature :

Literature will be provided

Supervisor :

Nishanth Laxman

Description :

Machine learning (ML) algorithms are increasingly being used in data-driven approaches for systems development. Their venture into safety-critical application domains like autonomous driving, Industry 4.0, smart grid, etc. is of particular relevance. Unlike established safety-critical components, outcomes of components containing models based on ML algorithms, can neither be proven nor assumed to be correct in any situation. ML based components which are being used for runtime applications like detection and decision making are often subject to various uncertainties which in-turn might affect safety assurance. It will be vital to gather information on different possible uncertainties which arise because of using these ML based components.

The work will comprise of SLR of uncertainties in ML algorithms used in safety critical applications, followed by creation of a classification of these uncertainties.

Literature :

Literature will be provided

Supervisor :

Nishanth Laxman

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 Fri, 15.10.2021 at 12 hours. We will do our best to include as many of you as possible.

Zum Seitenanfang