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
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.
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 2016more…
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…
