Offene Abschlussarbeiten

Auf dieser Seite finden Sie Informationen zu aktuell von uns angebotenen Themen für Abschlussarbeiten. Informationen zu bereits laufenden oder fertiggestellten Arbeiten finden sich auf einer Unterseite. Beachten Sie, dass ausgeschriebene Arbeiten teilweise als Bachelor- und Masterarbeit oder auch als Projektarbeit ausgeschrieben sind. Je nachdem, was Studierende benötigen, wird in der Regel das Thema der gewählten Arbeit in Arbeitsumfang und Schwierigkeitsgrad angepasst.

Hinweis zur Sprache: Im Folgenden werden die verfügbaren Themen hauptsächlich auf Englisch aufgelistet. Bei der Bearbeitung eines Thema steht es Studierenden frei, sich entweder für Deutsch oder Englisch als Sprache für die Ausarbeitung zu entscheiden.

Aktuelle Ausschreibungen

„V2X-based Collision Avoidance System for MTB Trail Riding,“ Projektarbeit oder B.Sc./M.Sc. Thesis, F. Kargl (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
The alps see a surge of trail parks being built. These trails include frequent turns and jumps which are often ridden at high speeds. If bikes block the trail due to a stop or accident, limited line-of-sight can lead to collisions and severe accidents when following bikes crash into the blocking bike. With this work, we want to investigate if V2X communication can provide blocked trail warnings to approaching bikes so that riders can reduce their speed and avoid accidents. For this, a number of technologies that have been developed for collision warning in automotive and street-based scenarios need to be investigated, adapted, and tested for suitability. This includes the V2X communication module and antenna, that need to be adjusted to fit into a bike. Communication ranges and reliability have to be tested in realistic outdoor settings. Second, it needs to be reliably determined whether a bike actually blocks a trail or whether the rider just stopped next to it. For this purpose, GPS accuracy alone is insufficient and might have to coupled with crash detection using motion sensors or camera-based image recognition to detect whether a bike blocks a trail or not. Last but not least, a suitable user interface has to be developed and tested that allows to warn approaching drivers in a reliable and intuitive way which works even during trail rides. The envisioned thesis or project can address one or multiple of these challenges, multiple students could also collaborate on the topic. The project is collaboration between Ulm University and University of Trento. After prototype development, field tests in the Alps in South Tyrolia / Alto Adige are planned.
„Trust Assessment Framework for Connected, Cooperative, and Automated Mobility (CCAM),“ Bachelor oder Masterarbeit, N. Trkulja (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Connected, Cooperative, and Automated Mobility presents the vision for the future of automotive transportation in which all vehicles generate and share vast amounts of data between themselves and with the rest of the Vehicle-to-Everything (V2X) network. These data are used in a variety of safety-critical functions such as Cooperative Adaptive Cruise Control (CACC) or Cooperative Intersection Management (CIM). As such, it is important to not blindly trust this data, but to continuously evaluate the level of data's trustworthiness in order to infer trust and decide whether to use the data. For the purpose of doing this, a Trust Assessment Framework (TAF) needs to be build that will be implemented in each entity that is part of the CCAM ecosystem and which runs relevant functions. The goal of the TAF will be to assess trustworthiness of the different types of safety-critical functions, as well as the data that serve as input to the TAF, and decide whether a node or a data set can be trusted. Such trustworthiness decisions will be based upon trust sources that will serve as evidence and consist of a variety of security controls, as well as the outputs from the misbehavior detection system.
„Integration and evaluation of trust opinions in ETSI messages,“ Projektarbeit oder Bachelorarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
In the future, vehicles will be able to exchange information with each other and with infrastructure. In this way, safety-cirtical applications such as Cooperative Intersection Management (CIM) can be realized that use data sent by other entities such as vehicles or infrastructure. Since these applications are safety-critical, it is important for the application to evaluate the trustworthiness of the data provided by other entities before using them in these applications. How trustworthy the data is can be specified by the sender of the message. The structure of the messages sent by the entities is specified by ETSI (European Telecommunications Standards Institute). In the current standard of the messages, such trust opinions indicating the trustworhtiness of the data are not defined. Therefore, in this thesis/project ETSI messages such as CAMs are extened so that trust opinions can be set for the provided data. In the second step, these defined messages are implemented in a traffic and network simulation tool. Finally, the impact of the extended ETSI messages is compared to the standard ETSI messages based on certain performance metrics.
„Exploring the Current State-of-the-Art and Best Practices in Web Accessibility,“ Bachelor oder Masterarbeit, D. Meißner (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Web accessibility refers to the practice of designing and developing websites and web-based applications to be inclusive and usable for all individuals, regardless of their physical and cognitive abilities and the way they access the web. Over the years, various standards and guidelines have been established to enhance the capabilities of assistive technologies, such as screen readers. This thesis aims to provide an in-depth overview and survey of the current state-of-the-art and best practices in web accessibility. Additionally, the thesis will evaluate the effects of adhering to web accessibility guidelines, such as WCAG 2.0 and WAI-ARIA, by exploring how they impact the most widely-used assistive technologies. Optionally, a practical evaluation using an example website, such as the university website, can be included to demonstrate the implementation of these guidelines in real-world scenarios.
„Evidence based calculation of atomic trust opinions in the context of subjective logic,“ Projektarbeit oder Bachelor or Masterarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
In the context of Cooperative, connected and automated mobility, a vehicle relies on data from multiple sources to drive autonomously. On the one hand, it relies on data provided by an external entity, such as a road side unit or another vehicle, which is received over the V2X network. On the other hand, it relies on data provided by internal entities within the vehicle, such as a sensor installed in the vehicle or an ECU in the vehicle. Since the autonomous driving functionality is very safety critical, it is important for the function to evaluate the trustworthiness of the data provided by the internal and external entities. In this project/thesis, several entities in the context of an autonomous vehicle are selected. Examples of internal entities could be a GNSS sensor or a camera. Examples of external entities could be another vehicle or a road side unit. Based on the selected entities, trust sources are determined to provide evidence of whether the entity is trustworhty or not. Such trust sources could be security controls such as an IDS or Secure Boot. Finally, an approach is created that determines a trust opinion about the selected entitiy based on the selected trust sources in the context of subjective logic. This calcualated trust opinion describes the trustworthiness of this entity.
„Development of a Zero Trust Service Function Chaining Compatible Policy Language,“ Masterarbeit, Bachelorarbeit, B. Leonard (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Abstract: Policy Languages such as XACML or ALFA are well-known and well-defined in the area of access control. With Zero Trust Service Function Chaining (ZTSFC) [https://journal.ub.tu-berlin.de/eceasst/article/view/1138], an advanced Zero Trust (ZT) architecture, new requirements came up for such Policy Languages. The goal of the thesis is to set up a list of this requirements, to identify missing features in existing policy languages. Based on this, the most promising policy language is to be extended by this missing features.
„Conceptualization and implementation of a Cooperative Intersection Management System,“ Projektarbeit oder Bachelorarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Cooperative Intersection Management Systems are a promising approach to improve efficiency and safety at intersections. For this purpose, communicating vehicles are needed that can communicate with each other and with infrastructure, which is also referred to as V2X-Communication. Based on the information exchanged between the vehicles and the infrastructure, a Cooperative Intersection Management System can be realized. There exist various approaches to realized such a Cooperative Intersection Management System. Therefore, the first step of the thesis/project is to conduct a survey on existing approaches of a Cooperative Intersection Management System. Based on this survey, the most promising approach will be selected. In the next step, the selected approach will be implemented in a traffic simulation environment called CARLA. Finally, a performance analysis of the implemented approach will be conducted and compared to a state-of-the-art traffic light system.
„Automating Trust Modeling Based On Vehicular System Models,“ Bachelor oder Masterarbeit, N. Trkulja (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
An autonomous vehicle is equipped with a variety of sensors that produce large quantites of data which the vehicle uses to run a lot of different safety-critical functions, such as Cooperative Adaptive Cruise Control or Park Assist. In this thesis, we focus on the trust between the vehicle computer and other in-vehicle components that it relies upon to provide non-compromised data as input to different safety-critical functions. The goal of the thesis is to build a tool that will automate building of in-vehicular trust models based on a system model of a vehicle. A system model of a simplified vehicle will first need to be built by using the System Modeling Language (SysML). This model will serve as an input to the automation tool that needs to output a trust model in form of a Subjective Trust Network. The methodology for building such trust models within the framework of Subjective Logic will be provided.
„Comparison and Implementation of HTTPS-based Service Function Chaining Proof of Transit Solutions.,“ Projektarbeit, B. Leonard (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Verfügbar.
Service Function Chaining (SFC) is a technice to steer traffic through specific network services. To proof that the traffic was actually forwarded through the specified services, a Proof Of Transit (PoT) is used. In this project, different PoT approaches are compared and the most promising solution implemented in a HTTPS-based SFC environment.
„Test-Case-Generation Strategies for Network-Protocol-Model Refinements,“ Bachelor's oder Masterarbeit, S. Kleber (Betreuung), F. Kargl (Prüfer), Institut of Distributed Systems, Ulm University, 2019 – Verfügbar.
Security assessments of networked systems require knowledge about the utilized communication protocol. For proprietary protocols without known specification and with only limited access to the end-points, the only source of information is the communication itself. To correctly conclude from the captured byte stream to message-formats, -types, and finally a protocol model, structure, message- and field-boundaries, data-type, and semantics need to be inferred. After an initial inference procedure, it is desirable to refine the existing protocol model. Actively probing an entity for the validity of message syntaxes allows to targetedly enhance the knowledge about the protocol. To do this efficiently a smart method of automatically generating test-cases depending on the current protocol model needs to be developed.
Kontakt

Sekretariat

Marion Köhler
Lysha Lewis
Email-Adresse Sekretariat
Telefon: +49 731 50-24140
Telefax: +49 731 50-24142

Postanschrift

Institut für Verteilte Systeme
Universität Ulm
Albert-Einstein-Allee 11
89081 Ulm

Besucheranschrift

James-Franck-Ring
Gebäude O27, Raum 349
89081 Ulm
Sekretariat Montag bis Donnerstag Vormittag besetzt

Anfahrt

Themen nach Abschluss

Themen für Bachelor-Arbeiten

„V2X-based Collision Avoidance System for MTB Trail Riding,“ Projektarbeit oder B.Sc./M.Sc. Thesis, F. Kargl (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
The alps see a surge of trail parks being built. These trails include frequent turns and jumps which are often ridden at high speeds. If bikes block the trail due to a stop or accident, limited line-of-sight can lead to collisions and severe accidents when following bikes crash into the blocking bike. With this work, we want to investigate if V2X communication can provide blocked trail warnings to approaching bikes so that riders can reduce their speed and avoid accidents. For this, a number of technologies that have been developed for collision warning in automotive and street-based scenarios need to be investigated, adapted, and tested for suitability. This includes the V2X communication module and antenna, that need to be adjusted to fit into a bike. Communication ranges and reliability have to be tested in realistic outdoor settings. Second, it needs to be reliably determined whether a bike actually blocks a trail or whether the rider just stopped next to it. For this purpose, GPS accuracy alone is insufficient and might have to coupled with crash detection using motion sensors or camera-based image recognition to detect whether a bike blocks a trail or not. Last but not least, a suitable user interface has to be developed and tested that allows to warn approaching drivers in a reliable and intuitive way which works even during trail rides. The envisioned thesis or project can address one or multiple of these challenges, multiple students could also collaborate on the topic. The project is collaboration between Ulm University and University of Trento. After prototype development, field tests in the Alps in South Tyrolia / Alto Adige are planned.
„Trust Assessment Framework for Connected, Cooperative, and Automated Mobility (CCAM),“ Bachelor oder Masterarbeit, N. Trkulja (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Connected, Cooperative, and Automated Mobility presents the vision for the future of automotive transportation in which all vehicles generate and share vast amounts of data between themselves and with the rest of the Vehicle-to-Everything (V2X) network. These data are used in a variety of safety-critical functions such as Cooperative Adaptive Cruise Control (CACC) or Cooperative Intersection Management (CIM). As such, it is important to not blindly trust this data, but to continuously evaluate the level of data's trustworthiness in order to infer trust and decide whether to use the data. For the purpose of doing this, a Trust Assessment Framework (TAF) needs to be build that will be implemented in each entity that is part of the CCAM ecosystem and which runs relevant functions. The goal of the TAF will be to assess trustworthiness of the different types of safety-critical functions, as well as the data that serve as input to the TAF, and decide whether a node or a data set can be trusted. Such trustworthiness decisions will be based upon trust sources that will serve as evidence and consist of a variety of security controls, as well as the outputs from the misbehavior detection system.
„Integration and evaluation of trust opinions in ETSI messages,“ Projektarbeit oder Bachelorarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
In the future, vehicles will be able to exchange information with each other and with infrastructure. In this way, safety-cirtical applications such as Cooperative Intersection Management (CIM) can be realized that use data sent by other entities such as vehicles or infrastructure. Since these applications are safety-critical, it is important for the application to evaluate the trustworthiness of the data provided by other entities before using them in these applications. How trustworthy the data is can be specified by the sender of the message. The structure of the messages sent by the entities is specified by ETSI (European Telecommunications Standards Institute). In the current standard of the messages, such trust opinions indicating the trustworhtiness of the data are not defined. Therefore, in this thesis/project ETSI messages such as CAMs are extened so that trust opinions can be set for the provided data. In the second step, these defined messages are implemented in a traffic and network simulation tool. Finally, the impact of the extended ETSI messages is compared to the standard ETSI messages based on certain performance metrics.
„Exploring the Current State-of-the-Art and Best Practices in Web Accessibility,“ Bachelor oder Masterarbeit, D. Meißner (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Web accessibility refers to the practice of designing and developing websites and web-based applications to be inclusive and usable for all individuals, regardless of their physical and cognitive abilities and the way they access the web. Over the years, various standards and guidelines have been established to enhance the capabilities of assistive technologies, such as screen readers. This thesis aims to provide an in-depth overview and survey of the current state-of-the-art and best practices in web accessibility. Additionally, the thesis will evaluate the effects of adhering to web accessibility guidelines, such as WCAG 2.0 and WAI-ARIA, by exploring how they impact the most widely-used assistive technologies. Optionally, a practical evaluation using an example website, such as the university website, can be included to demonstrate the implementation of these guidelines in real-world scenarios.
„Evidence based calculation of atomic trust opinions in the context of subjective logic,“ Projektarbeit oder Bachelor or Masterarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
In the context of Cooperative, connected and automated mobility, a vehicle relies on data from multiple sources to drive autonomously. On the one hand, it relies on data provided by an external entity, such as a road side unit or another vehicle, which is received over the V2X network. On the other hand, it relies on data provided by internal entities within the vehicle, such as a sensor installed in the vehicle or an ECU in the vehicle. Since the autonomous driving functionality is very safety critical, it is important for the function to evaluate the trustworthiness of the data provided by the internal and external entities. In this project/thesis, several entities in the context of an autonomous vehicle are selected. Examples of internal entities could be a GNSS sensor or a camera. Examples of external entities could be another vehicle or a road side unit. Based on the selected entities, trust sources are determined to provide evidence of whether the entity is trustworhty or not. Such trust sources could be security controls such as an IDS or Secure Boot. Finally, an approach is created that determines a trust opinion about the selected entitiy based on the selected trust sources in the context of subjective logic. This calcualated trust opinion describes the trustworthiness of this entity.
„Conceptualization and implementation of a Cooperative Intersection Management System,“ Projektarbeit oder Bachelorarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Cooperative Intersection Management Systems are a promising approach to improve efficiency and safety at intersections. For this purpose, communicating vehicles are needed that can communicate with each other and with infrastructure, which is also referred to as V2X-Communication. Based on the information exchanged between the vehicles and the infrastructure, a Cooperative Intersection Management System can be realized. There exist various approaches to realized such a Cooperative Intersection Management System. Therefore, the first step of the thesis/project is to conduct a survey on existing approaches of a Cooperative Intersection Management System. Based on this survey, the most promising approach will be selected. In the next step, the selected approach will be implemented in a traffic simulation environment called CARLA. Finally, a performance analysis of the implemented approach will be conducted and compared to a state-of-the-art traffic light system.
„Automating Trust Modeling Based On Vehicular System Models,“ Bachelor oder Masterarbeit, N. Trkulja (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
An autonomous vehicle is equipped with a variety of sensors that produce large quantites of data which the vehicle uses to run a lot of different safety-critical functions, such as Cooperative Adaptive Cruise Control or Park Assist. In this thesis, we focus on the trust between the vehicle computer and other in-vehicle components that it relies upon to provide non-compromised data as input to different safety-critical functions. The goal of the thesis is to build a tool that will automate building of in-vehicular trust models based on a system model of a vehicle. A system model of a simplified vehicle will first need to be built by using the System Modeling Language (SysML). This model will serve as an input to the automation tool that needs to output a trust model in form of a Subjective Trust Network. The methodology for building such trust models within the framework of Subjective Logic will be provided.
„Test-Case-Generation Strategies for Network-Protocol-Model Refinements,“ Bachelor's oder Masterarbeit, S. Kleber (Betreuung), F. Kargl (Prüfer), Institut of Distributed Systems, Ulm University, 2019 – Verfügbar.
Security assessments of networked systems require knowledge about the utilized communication protocol. For proprietary protocols without known specification and with only limited access to the end-points, the only source of information is the communication itself. To correctly conclude from the captured byte stream to message-formats, -types, and finally a protocol model, structure, message- and field-boundaries, data-type, and semantics need to be inferred. After an initial inference procedure, it is desirable to refine the existing protocol model. Actively probing an entity for the validity of message syntaxes allows to targetedly enhance the knowledge about the protocol. To do this efficiently a smart method of automatically generating test-cases depending on the current protocol model needs to be developed.

Themen für Master-Arbeiten

„V2X-based Collision Avoidance System for MTB Trail Riding,“ Projektarbeit oder B.Sc./M.Sc. Thesis, F. Kargl (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
The alps see a surge of trail parks being built. These trails include frequent turns and jumps which are often ridden at high speeds. If bikes block the trail due to a stop or accident, limited line-of-sight can lead to collisions and severe accidents when following bikes crash into the blocking bike. With this work, we want to investigate if V2X communication can provide blocked trail warnings to approaching bikes so that riders can reduce their speed and avoid accidents. For this, a number of technologies that have been developed for collision warning in automotive and street-based scenarios need to be investigated, adapted, and tested for suitability. This includes the V2X communication module and antenna, that need to be adjusted to fit into a bike. Communication ranges and reliability have to be tested in realistic outdoor settings. Second, it needs to be reliably determined whether a bike actually blocks a trail or whether the rider just stopped next to it. For this purpose, GPS accuracy alone is insufficient and might have to coupled with crash detection using motion sensors or camera-based image recognition to detect whether a bike blocks a trail or not. Last but not least, a suitable user interface has to be developed and tested that allows to warn approaching drivers in a reliable and intuitive way which works even during trail rides. The envisioned thesis or project can address one or multiple of these challenges, multiple students could also collaborate on the topic. The project is collaboration between Ulm University and University of Trento. After prototype development, field tests in the Alps in South Tyrolia / Alto Adige are planned.
„Trust Assessment Framework for Connected, Cooperative, and Automated Mobility (CCAM),“ Bachelor oder Masterarbeit, N. Trkulja (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Connected, Cooperative, and Automated Mobility presents the vision for the future of automotive transportation in which all vehicles generate and share vast amounts of data between themselves and with the rest of the Vehicle-to-Everything (V2X) network. These data are used in a variety of safety-critical functions such as Cooperative Adaptive Cruise Control (CACC) or Cooperative Intersection Management (CIM). As such, it is important to not blindly trust this data, but to continuously evaluate the level of data's trustworthiness in order to infer trust and decide whether to use the data. For the purpose of doing this, a Trust Assessment Framework (TAF) needs to be build that will be implemented in each entity that is part of the CCAM ecosystem and which runs relevant functions. The goal of the TAF will be to assess trustworthiness of the different types of safety-critical functions, as well as the data that serve as input to the TAF, and decide whether a node or a data set can be trusted. Such trustworthiness decisions will be based upon trust sources that will serve as evidence and consist of a variety of security controls, as well as the outputs from the misbehavior detection system.
„Exploring the Current State-of-the-Art and Best Practices in Web Accessibility,“ Bachelor oder Masterarbeit, D. Meißner (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Web accessibility refers to the practice of designing and developing websites and web-based applications to be inclusive and usable for all individuals, regardless of their physical and cognitive abilities and the way they access the web. Over the years, various standards and guidelines have been established to enhance the capabilities of assistive technologies, such as screen readers. This thesis aims to provide an in-depth overview and survey of the current state-of-the-art and best practices in web accessibility. Additionally, the thesis will evaluate the effects of adhering to web accessibility guidelines, such as WCAG 2.0 and WAI-ARIA, by exploring how they impact the most widely-used assistive technologies. Optionally, a practical evaluation using an example website, such as the university website, can be included to demonstrate the implementation of these guidelines in real-world scenarios.
„Evidence based calculation of atomic trust opinions in the context of subjective logic,“ Projektarbeit oder Bachelor or Masterarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
In the context of Cooperative, connected and automated mobility, a vehicle relies on data from multiple sources to drive autonomously. On the one hand, it relies on data provided by an external entity, such as a road side unit or another vehicle, which is received over the V2X network. On the other hand, it relies on data provided by internal entities within the vehicle, such as a sensor installed in the vehicle or an ECU in the vehicle. Since the autonomous driving functionality is very safety critical, it is important for the function to evaluate the trustworthiness of the data provided by the internal and external entities. In this project/thesis, several entities in the context of an autonomous vehicle are selected. Examples of internal entities could be a GNSS sensor or a camera. Examples of external entities could be another vehicle or a road side unit. Based on the selected entities, trust sources are determined to provide evidence of whether the entity is trustworhty or not. Such trust sources could be security controls such as an IDS or Secure Boot. Finally, an approach is created that determines a trust opinion about the selected entitiy based on the selected trust sources in the context of subjective logic. This calcualated trust opinion describes the trustworthiness of this entity.
„Development of a Zero Trust Service Function Chaining Compatible Policy Language,“ Masterarbeit, Bachelorarbeit, B. Leonard (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Abstract: Policy Languages such as XACML or ALFA are well-known and well-defined in the area of access control. With Zero Trust Service Function Chaining (ZTSFC) [https://journal.ub.tu-berlin.de/eceasst/article/view/1138], an advanced Zero Trust (ZT) architecture, new requirements came up for such Policy Languages. The goal of the thesis is to set up a list of this requirements, to identify missing features in existing policy languages. Based on this, the most promising policy language is to be extended by this missing features.
„Automating Trust Modeling Based On Vehicular System Models,“ Bachelor oder Masterarbeit, N. Trkulja (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
An autonomous vehicle is equipped with a variety of sensors that produce large quantites of data which the vehicle uses to run a lot of different safety-critical functions, such as Cooperative Adaptive Cruise Control or Park Assist. In this thesis, we focus on the trust between the vehicle computer and other in-vehicle components that it relies upon to provide non-compromised data as input to different safety-critical functions. The goal of the thesis is to build a tool that will automate building of in-vehicular trust models based on a system model of a vehicle. A system model of a simplified vehicle will first need to be built by using the System Modeling Language (SysML). This model will serve as an input to the automation tool that needs to output a trust model in form of a Subjective Trust Network. The methodology for building such trust models within the framework of Subjective Logic will be provided.
„Comparison and Implementation of HTTPS-based Service Function Chaining Proof of Transit Solutions.,“ Projektarbeit, B. Leonard (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Verfügbar.
Service Function Chaining (SFC) is a technice to steer traffic through specific network services. To proof that the traffic was actually forwarded through the specified services, a Proof Of Transit (PoT) is used. In this project, different PoT approaches are compared and the most promising solution implemented in a HTTPS-based SFC environment.
„Test-Case-Generation Strategies for Network-Protocol-Model Refinements,“ Bachelor's oder Masterarbeit, S. Kleber (Betreuung), F. Kargl (Prüfer), Institut of Distributed Systems, Ulm University, 2019 – Verfügbar.
Security assessments of networked systems require knowledge about the utilized communication protocol. For proprietary protocols without known specification and with only limited access to the end-points, the only source of information is the communication itself. To correctly conclude from the captured byte stream to message-formats, -types, and finally a protocol model, structure, message- and field-boundaries, data-type, and semantics need to be inferred. After an initial inference procedure, it is desirable to refine the existing protocol model. Actively probing an entity for the validity of message syntaxes allows to targetedly enhance the knowledge about the protocol. To do this efficiently a smart method of automatically generating test-cases depending on the current protocol model needs to be developed.

Themen nach Schwerpunkt

Cloud Computing

Distributed Computing & Data-intensive Systems

Fehlertoleranz

IT-Sicherheit

„Trust Assessment Framework for Connected, Cooperative, and Automated Mobility (CCAM),“ Bachelor oder Masterarbeit, N. Trkulja (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Connected, Cooperative, and Automated Mobility presents the vision for the future of automotive transportation in which all vehicles generate and share vast amounts of data between themselves and with the rest of the Vehicle-to-Everything (V2X) network. These data are used in a variety of safety-critical functions such as Cooperative Adaptive Cruise Control (CACC) or Cooperative Intersection Management (CIM). As such, it is important to not blindly trust this data, but to continuously evaluate the level of data's trustworthiness in order to infer trust and decide whether to use the data. For the purpose of doing this, a Trust Assessment Framework (TAF) needs to be build that will be implemented in each entity that is part of the CCAM ecosystem and which runs relevant functions. The goal of the TAF will be to assess trustworthiness of the different types of safety-critical functions, as well as the data that serve as input to the TAF, and decide whether a node or a data set can be trusted. Such trustworthiness decisions will be based upon trust sources that will serve as evidence and consist of a variety of security controls, as well as the outputs from the misbehavior detection system.
„Integration and evaluation of trust opinions in ETSI messages,“ Projektarbeit oder Bachelorarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
In the future, vehicles will be able to exchange information with each other and with infrastructure. In this way, safety-cirtical applications such as Cooperative Intersection Management (CIM) can be realized that use data sent by other entities such as vehicles or infrastructure. Since these applications are safety-critical, it is important for the application to evaluate the trustworthiness of the data provided by other entities before using them in these applications. How trustworthy the data is can be specified by the sender of the message. The structure of the messages sent by the entities is specified by ETSI (European Telecommunications Standards Institute). In the current standard of the messages, such trust opinions indicating the trustworhtiness of the data are not defined. Therefore, in this thesis/project ETSI messages such as CAMs are extened so that trust opinions can be set for the provided data. In the second step, these defined messages are implemented in a traffic and network simulation tool. Finally, the impact of the extended ETSI messages is compared to the standard ETSI messages based on certain performance metrics.
„Evidence based calculation of atomic trust opinions in the context of subjective logic,“ Projektarbeit oder Bachelor or Masterarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
In the context of Cooperative, connected and automated mobility, a vehicle relies on data from multiple sources to drive autonomously. On the one hand, it relies on data provided by an external entity, such as a road side unit or another vehicle, which is received over the V2X network. On the other hand, it relies on data provided by internal entities within the vehicle, such as a sensor installed in the vehicle or an ECU in the vehicle. Since the autonomous driving functionality is very safety critical, it is important for the function to evaluate the trustworthiness of the data provided by the internal and external entities. In this project/thesis, several entities in the context of an autonomous vehicle are selected. Examples of internal entities could be a GNSS sensor or a camera. Examples of external entities could be another vehicle or a road side unit. Based on the selected entities, trust sources are determined to provide evidence of whether the entity is trustworhty or not. Such trust sources could be security controls such as an IDS or Secure Boot. Finally, an approach is created that determines a trust opinion about the selected entitiy based on the selected trust sources in the context of subjective logic. This calcualated trust opinion describes the trustworthiness of this entity.
„Development of a Zero Trust Service Function Chaining Compatible Policy Language,“ Masterarbeit, Bachelorarbeit, B. Leonard (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Abstract: Policy Languages such as XACML or ALFA are well-known and well-defined in the area of access control. With Zero Trust Service Function Chaining (ZTSFC) [https://journal.ub.tu-berlin.de/eceasst/article/view/1138], an advanced Zero Trust (ZT) architecture, new requirements came up for such Policy Languages. The goal of the thesis is to set up a list of this requirements, to identify missing features in existing policy languages. Based on this, the most promising policy language is to be extended by this missing features.
„Conceptualization and implementation of a Cooperative Intersection Management System,“ Projektarbeit oder Bachelorarbeit, A. Hermann (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Cooperative Intersection Management Systems are a promising approach to improve efficiency and safety at intersections. For this purpose, communicating vehicles are needed that can communicate with each other and with infrastructure, which is also referred to as V2X-Communication. Based on the information exchanged between the vehicles and the infrastructure, a Cooperative Intersection Management System can be realized. There exist various approaches to realized such a Cooperative Intersection Management System. Therefore, the first step of the thesis/project is to conduct a survey on existing approaches of a Cooperative Intersection Management System. Based on this survey, the most promising approach will be selected. In the next step, the selected approach will be implemented in a traffic simulation environment called CARLA. Finally, a performance analysis of the implemented approach will be conducted and compared to a state-of-the-art traffic light system.
„Automating Trust Modeling Based On Vehicular System Models,“ Bachelor oder Masterarbeit, N. Trkulja (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
An autonomous vehicle is equipped with a variety of sensors that produce large quantites of data which the vehicle uses to run a lot of different safety-critical functions, such as Cooperative Adaptive Cruise Control or Park Assist. In this thesis, we focus on the trust between the vehicle computer and other in-vehicle components that it relies upon to provide non-compromised data as input to different safety-critical functions. The goal of the thesis is to build a tool that will automate building of in-vehicular trust models based on a system model of a vehicle. A system model of a simplified vehicle will first need to be built by using the System Modeling Language (SysML). This model will serve as an input to the automation tool that needs to output a trust model in form of a Subjective Trust Network. The methodology for building such trust models within the framework of Subjective Logic will be provided.
„Comparison and Implementation of HTTPS-based Service Function Chaining Proof of Transit Solutions.,“ Projektarbeit, B. Leonard (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2022 – Verfügbar.
Service Function Chaining (SFC) is a technice to steer traffic through specific network services. To proof that the traffic was actually forwarded through the specified services, a Proof Of Transit (PoT) is used. In this project, different PoT approaches are compared and the most promising solution implemented in a HTTPS-based SFC environment.

Mobile Systeme

„V2X-based Collision Avoidance System for MTB Trail Riding,“ Projektarbeit oder B.Sc./M.Sc. Thesis, F. Kargl (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
The alps see a surge of trail parks being built. These trails include frequent turns and jumps which are often ridden at high speeds. If bikes block the trail due to a stop or accident, limited line-of-sight can lead to collisions and severe accidents when following bikes crash into the blocking bike. With this work, we want to investigate if V2X communication can provide blocked trail warnings to approaching bikes so that riders can reduce their speed and avoid accidents. For this, a number of technologies that have been developed for collision warning in automotive and street-based scenarios need to be investigated, adapted, and tested for suitability. This includes the V2X communication module and antenna, that need to be adjusted to fit into a bike. Communication ranges and reliability have to be tested in realistic outdoor settings. Second, it needs to be reliably determined whether a bike actually blocks a trail or whether the rider just stopped next to it. For this purpose, GPS accuracy alone is insufficient and might have to coupled with crash detection using motion sensors or camera-based image recognition to detect whether a bike blocks a trail or not. Last but not least, a suitable user interface has to be developed and tested that allows to warn approaching drivers in a reliable and intuitive way which works even during trail rides. The envisioned thesis or project can address one or multiple of these challenges, multiple students could also collaborate on the topic. The project is collaboration between Ulm University and University of Trento. After prototype development, field tests in the Alps in South Tyrolia / Alto Adige are planned.

Netzwerke

„V2X-based Collision Avoidance System for MTB Trail Riding,“ Projektarbeit oder B.Sc./M.Sc. Thesis, F. Kargl (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
The alps see a surge of trail parks being built. These trails include frequent turns and jumps which are often ridden at high speeds. If bikes block the trail due to a stop or accident, limited line-of-sight can lead to collisions and severe accidents when following bikes crash into the blocking bike. With this work, we want to investigate if V2X communication can provide blocked trail warnings to approaching bikes so that riders can reduce their speed and avoid accidents. For this, a number of technologies that have been developed for collision warning in automotive and street-based scenarios need to be investigated, adapted, and tested for suitability. This includes the V2X communication module and antenna, that need to be adjusted to fit into a bike. Communication ranges and reliability have to be tested in realistic outdoor settings. Second, it needs to be reliably determined whether a bike actually blocks a trail or whether the rider just stopped next to it. For this purpose, GPS accuracy alone is insufficient and might have to coupled with crash detection using motion sensors or camera-based image recognition to detect whether a bike blocks a trail or not. Last but not least, a suitable user interface has to be developed and tested that allows to warn approaching drivers in a reliable and intuitive way which works even during trail rides. The envisioned thesis or project can address one or multiple of these challenges, multiple students could also collaborate on the topic. The project is collaboration between Ulm University and University of Trento. After prototype development, field tests in the Alps in South Tyrolia / Alto Adige are planned.
„Test-Case-Generation Strategies for Network-Protocol-Model Refinements,“ Bachelor's oder Masterarbeit, S. Kleber (Betreuung), F. Kargl (Prüfer), Institut of Distributed Systems, Ulm University, 2019 – Verfügbar.
Security assessments of networked systems require knowledge about the utilized communication protocol. For proprietary protocols without known specification and with only limited access to the end-points, the only source of information is the communication itself. To correctly conclude from the captured byte stream to message-formats, -types, and finally a protocol model, structure, message- and field-boundaries, data-type, and semantics need to be inferred. After an initial inference procedure, it is desirable to refine the existing protocol model. Actively probing an entity for the validity of message syntaxes allows to targetedly enhance the knowledge about the protocol. To do this efficiently a smart method of automatically generating test-cases depending on the current protocol model needs to be developed.

Privacy

Web

„Exploring the Current State-of-the-Art and Best Practices in Web Accessibility,“ Bachelor oder Masterarbeit, D. Meißner (Betreuung), F. Kargl (Prüfer), Inst. of Distr. Sys., Ulm Univ., 2023 – Verfügbar.
Web accessibility refers to the practice of designing and developing websites and web-based applications to be inclusive and usable for all individuals, regardless of their physical and cognitive abilities and the way they access the web. Over the years, various standards and guidelines have been established to enhance the capabilities of assistive technologies, such as screen readers. This thesis aims to provide an in-depth overview and survey of the current state-of-the-art and best practices in web accessibility. Additionally, the thesis will evaluate the effects of adhering to web accessibility guidelines, such as WCAG 2.0 and WAI-ARIA, by exploring how they impact the most widely-used assistive technologies. Optionally, a practical evaluation using an example website, such as the university website, can be included to demonstrate the implementation of these guidelines in real-world scenarios.

Weitere Themen