direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Available subjects for bachelor theses or term projects are listed below. We also can offer subjects not listed here, depending on your interests. Feel free and visit us.
Contact: Joachim Fellmuth

Security using Artificial Software Diversity in Safety-Critical Real-Time Systems

Cyber-Physical Systems (CPS) have an ever increasing impact on our life as more systems are controlled by computers, which are highly interconnected and even connected to the internet. Among these systems are hard real-time systems such as airbag or ABS controllers, where missing a deadline is considered a system failure. If such a functionality is safety-critical, e.g. the ignition of an airbag, the developer is required to provide guarantees on safety and timing properties.

When safety-critical systems are exposed to potential attackers, assuring safety implies also dealing with security issues. In particular, control-flow attacks are a threat to CPS. Existing countermeasures cannot be applied due to limited resources or limited operating system support.

The focus of our work is the development of methods that allow applying artificial software diversity, as a proven security measure, to safety-critical real-time systems. Our work involves analyses and manipulations of low-level code representations such as assembler, and different aspects of static worst-case execution time (WCET) analyses.

Example Topics:

  • developing a load-time diversity approach for real-time OS
  • extending existing WCET cache and branch prediction analyses to support diversity

Contact:

 

 

Model based Deployment for Industrial Internet of Things Applications

At the moment, we do not offer bachelor theses for this subject area.

With the growing interconnection of embedded systems, e.g. associated with smart factories and Industry 4.0, Industrial Internet of Things (IIoT) applications are gaining in importance. An example use case for such applications in the industry is the interconnection and monitoring of distributed production facilities.

To systematically develop IIoT applications, there are much less computer-aided development tools available than for conventional applications. Existing approaches in model based development mostly focus on the application's functionality and leave out the fundamental communication setup, the integration of existing components, partly with proprietary protocols, and the deployment of the application.

Against this background, in cooperation between SESE and an external PhD candidate, who works at HARTING IT Software Development, a framework is being developed to ease the model based development of IIoT applications. The framework is intended to automate the software development lifecycle phases as far as possible.

Informations derived from the abstract application model are supposed to be used to generate the fundamental IP based communication architecture, preferably automatically. Besides that, the automatic deployment of the whole application should be made possible.

Contact: Benjamin Feldner

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Contact

Joachim Fellmuth
+49 (30) 314 - 24789
Room TEL 1007