Practicals & Theses

list of practicals and theses at the Cyber-Physical Systems Group

Simulation of a Quadcopter with Matlab

CPS: Univ.Ass. Dipl.-Ing. BSc Denise Ratasich, 26. 02. 2016

<span id="thesisForm:description">An autonomously controlled quadcopter should be simulated and visualized in a 3D world. Various simulation environments shall be explored and the most suitable framework selected for implementation.</span>

details

Self-organizing Flight Formations

CPS: Univ.Prof. Dipl.-Ing. Dr.rer.nat. Radu Grosu, 16. 02. 2016

Long distance migrating birds, such as geese, are often observed travelling in v-shaped formations. This coordinated flight allows birds flying in the back to exploit an effect called upwash. This upwash gives individuals, flying in the right spot behind another bird, an aero dynamical benefit. As a result these birds require less energy and in turn the entire flock is able to conserve energy and hence travel further.

details

Deciphering the C. Elegans “Brain”

CPS: Univ.Prof. Dipl.-Ing. Dr.rer.nat. Radu Grosu, 13. 10. 2015

Deep neural networks are nowadays one of the most active areas of research. Google, Apple, IBM and Microsoft are all on the hunt for people with expertise in this area. For example, Google bought in 2014 the startup DeepMind for $500 Million (see http://techcrunch.com/2014/01/26/google-deepmind/).

Unfortunately, the learned deep neural networks, although very effective in classification tasks, for example, remain more or less a black box. One cannot say for sure, what every neuron in the learned network does. This is one of the main obstacles for the wide acceptance of such networks. Scientists and engineers want to understand the systems they design, such that they are able to also make predictions about their future behavior.

details

Data-Cache Analysis for a Time-predictable Processor

CPS: Univ.Ass. Dipl.-Ing. BSc Daniel Leo Prokesch, Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Peter Puschner, 01. 09. 2015

State-of-the-art and novel techniques for data cache analysis should be implemented in a compiler/worst-case execution time analysis framework for a time-predictable processor.

details

Optimizations for Time-predictable Code

CPS: Univ.Ass. Dipl.-Ing. BSc Daniel Leo Prokesch, Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Peter Puschner, 01. 09. 2015

Design and to implement optimisations that are tailored to single-path code generation.

details

Battery Management

CPS: Univ.Ass. Dipl.-Ing. BSc Denise Ratasich, 30. 06. 2015

The aim of this project is to develop a small battery management unit for one of our mobile robots.

details

Compilation for Predictable Real-Time Systems

CPS: Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Peter Puschner, 01. 03. 2010

Usually, the focus of compiler writers is to generate fast code. Contrasting this, the goal of this thesis is to work on code generation strategies that produce code with predictable timing, i.e., the stability of the timing and a simple prediction of the worst-case execution time are in the center of interest.

details

Worst-Case Execution-Time Analysis Tool for ARM Processor

CPS: Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Peter Puschner, 31. 03. 2009

In this project students develop a worst-case execution-time analysis tool for an ARM7 micro controller board.

details

Visualization of Disk Scheduling Policies

CPS: Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Peter Puschner, 30. 03. 2009

The goal of this project is to write simulation software that illustrates the operation of different disk scheduling strategies.

details

Predictable Cache Memory

CPS: Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Peter Puschner, 10. 03. 2006

Cache memories are used to boost the performance of computer memory systems. While the performance benefit of caches is indeed substantial, the use of caches makes the calculation of the run times of code very difficult. The goal of this work is therefore to conceive a new type of hierarchical memory system, that allows for both, a high performance of program execution and a good predictability of code timing.

details

Safety-Requirements to Validate Real-Time Systems

CPS: Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner, 08. 03. 2006

Within the project TeDES we have a research cooperation with industrial partners from the automotive industry to develop a test environment to systematically verify distributed safety-critical real-time systems.

Within this Masther's thesis one should study existing safety requirements on their impact on the systematic testing of real-time systems. The goal is to obtain a framework to specify test scenarious for the systematic test of distributed real-time systems.

The aim of this work is to remove or reduce the error-prone and tedios process of generating test cases manually. This work is also of high practical significance in industry.

details

Limitations on the Analyzability of Real-Time Systems

CPS: Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner, 08. 03. 2006

To operate real-time sytems in a safe way, it is required to know the maximum execution time of the program code. However, there are problems to reason about the program behavior in general (c.f., the Halting Problem).


It is the goal of this work to analyze the problem from the other side, i.e., by analyzing what code structures are predictable. For this one has to also look on program analysis methods to reason about what properties can be derived by such an analysis. It is the goal of this work to find restrictions on the program structures, such that the execution time analysis becomes feasible.

details

Formal Specification of Real-Time Systems

CPS: Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner, 08. 03. 2006

Within the project TeDES we have a research cooperation with industrial partners from the automotive industry to develop a test environment to systematically verify distributed safety-critical real-time systems.

Within this Masther's thesis one will work on model-based testing, with the focus on formal mechanisms for specifying real-time systems. Formal means, that the description has a well-defined meaning.

The aim of this work is to remove or reduce the error-prone and tedios process of generating test cases manually. This work is also of high practical significance in industry.

details

Execution Time Analysis of Matlab/Simulink Programs

CPS: Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner, 08. 03. 2006

A tool should be developed that allows to calculate the maximum loop iteration counts of program autmatically generated from Matlab/Simulink models. The analysis is feasible, because the code generated out of Matlab/Simulink models has typically a relative simple structure.

After the loop analysis the tool should call an existing timing analysis tool to calculate the maximum execution time and map it back to blocks in Matlab/Simulink.

details

Concepts of Execution Time Analysis studied on the Linux Kernel

CPS: Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner, 08. 03. 2006

By using the source code of the Linux kernel one should analyse, what constructs or mechanisms could influence the timing behavior of the operating system. Optionally, the analysis could be done using Real-Time Linux as a case study.

The analysis should cover synchronisation mechanisms as well as scheduling techniques.

details

Development of a Timing Analysis Tool for a specific Hardware Platform

CPS: Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner, 08. 03. 2006

The task is to develop a timing analysis tool that allows to calculate the maximum execution time of real-time programs. The part of the tool to calculate the execution time already exists. What has to be done is to add a front end that can read assembly code or object code and construct and to build a timing model for a specific processor (Motorola MC68k or PPC, ARM, ...)

details