Oliver Horst

Contact


Picture of Oliver Horst

Oliver Horst

Technical University of Munich

Informatics 13 - Associate Professorship of Integrated Computing Systems- (N.N.)

Postal address

Postal:
Boltzmannstr. 3
85748 Garching b. München

Short Biography

Dipl.-Inf. Oliver Horst is employed as a staff researcher in the research group Trusted Applications at fortiss. Before this, he was a research engineer jointly at the Fraunhofer ESK and University of Augsburg for four years. There, he concentrated on future automotive software architectures, with a particular emphasis on virtualization techniques and electro mobility. He attended the diploma program "Kerninformatik" at the Technical University of Dortmund, which he completed in 2009. During his studies he focused on computer architecture, embedded systems and simulation. In his diploma thesis, he researched ways to reuse existing motor control software on new hardware platforms without recompilation at the corporate research department of Robert Bosch GmbH near Stuttgart. In his time as a student, he was working as part time software developer for various companies. Today, Mr. Horst is concerned with dependable software architectures and communication algorithms for cyber-physical systems, with special emphasis on multi-core platforms and mixed-criticality environments.

Areas of Research

  • Embedded real-time systems
  • Open and adaptive CPS
  • Trusted Apps for open CPS
  • Mixed criticality systems
  • Virtualization of embedded devices

Open Thesis

BA/IDP: Evaluating the Reliability of Automotive Real-time Schedules

To assess a newly developed assurance method regarding the correct execution and communication between apps on a vehicular control unit, this thesis shall realize an evaluation framework with the help of established benchmarks on an embedded platform.

In the course of the PASS project (http://www.pass-projekt.de/), we are investigating the possibility to flexibly extend vehicles with new functionality without compromising safety and security. A particular challenge in this context is to evaluate the developed assurance methods regarding correct execution and communication between apps. For this purpose, an existing concept for an evaluation framework [1] shall be implemented in the course of this bachelor thesis and extended based on established benchmarks and a suitable measurement environment.

Your Tasks

  • Implement the evaluation framework concept presented in [1] for FreeRTOS on a the Xilinx ZCU102 evaluation board
  • Extend the evaluation framework with existing benchmark functions (e.g. Mälardalen WCET benchmark programs [2] and TACLe benchmarks [3])
  • Conceptualize and setup a suitable measurement environment for the evaluation framework

Your Profile

  • Good knowledge in C programming
  • Enjoy dealing with embedded systems
  • Knowledge on benchmarking would be advantageous

What you can expect

  • Collaboration with a young international team
  • Your own contribution to the exciting research project PASS (http://www.pass-projekt.de/)
  • Implementation of your ideas and concepts on real embedded hardware as used by major automotive suppliers and producers

 

Interested and eager to tackle the challenge? Please get in touch with Oliver Horst.

 

[1]

Napier, Keegan, Oliver Horst, and Christian Prehofer. "Comparably evaluating communication performance within mixed-criticality systems." WMC 2016 4th International Workshop on Mixed Criticality Systems. 2016.

[2]

http://www.mrtc.mdh.se/projects/wcet/benchmarks.html

[3]

https://github.com/tacle/tacle-bench


Advised Theses

2019:

  • Implementation and Validation of a Clock Drift Algorithm for FreeRTOS, bachelor thesis
  • Qualitative comparison of various EDF scheduler implementations for FreeRTOS, bachelor thesis

2018:

  • Evaluation of a Multi-core Processor Regarding Response Time and Load Limit for Interrupt Processing, bachelor thesis
  • Exploration of hybrid metaheuristic concepts within a massively distributed genetic algorithm framework, master thesis
  • Construction and Evaluation of a Distributed Hash Table as a Decentralized Fitness Value Pool for Genetic Algorithms on HPC Systems, master thesis
  • Development of a Measurement Environment to Identify Characteristical Properties of the Xilinx UltraScale+ MPSoC, bachelor thesis
  • Expandable evaluation of the approximation quality of machine learning algorithms for cycle accurate timing measurements, bachelor thesis
  • Implementation of a bus bandwidth reservation manager for ARMv8 architectures, IDP

2016:

  • Secure run-time binary loading in a trusted real-time environment, master thesis

2015:

  • Entwicklung einer auf OT1 basierenden Applikations-Tracing und Profiling Infrastruktur für FreeRTOS, bachelor thesis

2014:

  • Hardware Assisted Embedded Virtualization, master thesis
  • Portierung von lwIP auf FreeRTOS und Konzipierung einer AVB-Erweiterung , bachelor thesis
  • Developement of a Benchmark for the Evaluation of Different IPC Mechanisms on Embedded Multicore Systems, bachelor thesis

Publications

  • Horst, Oliver; Baumgarten, Uwe; Prehofer, Christian: Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms. Proceedings of the 8th Real-Time Scheduling Open Problems Seminar (RTSOPS) held in conjunction with the 29th Euromicro Conference on Real-Time Systems (ECRTS), 2017 more…
  • Prehofer, C.; Horst, O.; Dodi, R.; Geven, A.; Kornaros, G.; Montanari, E.; Paolino, M.: Towards Trusted Apps platforms for open CPS. 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), 2016 more…
  • Ruhland, Andreas; Prehofer, Christian; Horst, Oliver: embSFI: An Approach for Software Fault Isolation in Embedded Systems. 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, 2016co-located with the IEEE Real-Time Systems Symposium 2016 more…
  • Napier, Keegan; Horst, Oliver; Prehofer, Christian: Comparably Evaluating Communication Performance within Mixed-Criticality Systems. 4th International Workshop on Mixed Criticality Systems (WMC), 2016 more…
  • Horst, O.; Schmidt, A.: Operating system concepts for embedded multicores. Proceedings of the Embedded World Conference, WEKA Fachmedien, 2014 more…
  • Horst, Oliver; Heinrich, Patrick; Langer, Falk: ICT-Architecture for Multi-Modal Electric Vehicles. Conference on Future Automotive Technology (CoFAT), 2014 more…
  • Schmidt, A.; Horst, O.: Software-Based Online Monitoring of Cache Contents on Platforms without Coherence Fabric. 19th Asia-Pacific Software Engineering Conference, 2012 more…
  • Horst, Oliver; Prehofer, Christian: Multi-staged virtualization for embedded systems. Procedings of the Work in Progress Session held in connection with the 37th Conference on Software Engineering and Advanced Applications and the 14th Conference on Digital System Design -- DSD/SEAA (SEA-Publications of the Institute for Systems Engineering and Automation SEA-SR-30), 2011 more…