The core capabilites of the group encompass all aspects of developing dependable, predictable and adaptive infrastructure software. Accordingly the group has done substantial work in the fields of aspect-oriented, generic and generative programming as well as operating system product lines.
On this basis we currently conduct research in the following areas:
Matthias Meier successfully received his doctorate with the thesis "Co-Konfiguration von Hardware- und Systemsoftware-Produktlinien".
We congratulate the winners of this year's programming contest in Betriebssystembau (Operating-System Construction)! Participants of the lecture had the possibility to extend their own operating system with further components (e.g., a game) and present it to the other participants during the last lecture. The audience picked the most innovative/creative/funny solution as the winner.
|2017-02-02||The paper "Reproducible Load Tests for Android Systems with Trace-based Benchmarks" has been accepted for the International Workshop on Load Testing and Benchmarking of Software Systems (LTB 2017).|
|2017-01-24||The paper "Generic Soft-Error Detection and Correction for Concurrent Data Structures" has been accepted for the IEEE Transactions on Dependable and Secure Computing and is available as Open Access article.|
|2016-12-23||In cooperation with the universities Tübingen, Erlangen and Rio Grande do Sul (Brazil) the article "Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems" has been authored, which has been accepted for the conference ARCS 2017.|
|2016-12-07||The chapter "Measuring Energy" written by Kerstin Eder, Steve Kerrison, Jose Junez-Nanez and Markus Buschhoff has been accepted for the book "ICT – Energy Concepts for Energy Efficiency and Sustainability" and will be released in 2017.|
Prof. Olaf Spinczyk wins the Lehrer-Lämpel Award for the best computer science lecture of the semester another time with his lecture on construction of operating systems. The project "Software in Automobiles" has also been elected as best project of the semester.
The project group 595: Solar Doorplate has won the P5 award of the faculty.
|2016-11-17||The paper "Evolutionary planning of virtualized cyber-physical compute and control clusters" has been accepted for the Journal of Systems Architecture.|
|2016-11-11||The paper "On Reducing Busy Waiting in AUTOSAR via Task-Release-Delta-based Runnable Reordering" has been accepted for the conference DATE 2017.|
Final presentation of PG 595: Solar Doorplate. The project group constructed a system of interconnected door plates, which are powered by solar cells out of indoor light. The technological basis for the doorplates is researched in SFB-876 (A4), namely the operating system Kratos and the PhyNode board.
Horst Schirmeier successfully received his doctorate with the thesis "Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance".
|2016-06-07||The paper "Towards versatile Models for Contemporary Hardware Platforms" has been accepted at the workshop OSPERT 2016.|
|2016-05-12||The paper "CrossCheck: a Holistic Approach for Tolerating Crash-Faults and Arbitrary State Corruptions" has been accepted at the conference EDCC 2016. (Project homepage)|
|2016-05-02||We created a project homepage for FederatedCloudSim. (Project homepage)|
|2016-04-19||Prof. Spinczyk co-founded a new GI-Fachbereich, see news by TU Dortmund.|
|2016-03-04||The paper "Evaluation of SLA-based Decision Strategies for VM Scheduling in Cloud Data Centers" has been accepted at the workshop CrossCloud 2016.|
|2016-02-22||The paper "Evaluating the Radiation Reliability of Dependability-Oriented Real-Time Operating Systems" has been accepted at the workshop SELSE 2016. (Project homepage)|
|2016-02-22 – 2016-02-26||Horst Schirmeier and Prof. Olaf Spinczyk will speak at the Winter School on Operating Systems in Graz.|
|2016-02-21||The new version 2.0 of AspectC++ was released. The new default C++ frontend is now clang, with better error messages, support for new C++1x standards and many other improvements. (Download)|
We congratulate the winners of this year's BSB challenge! Participants of the lecture had the possibility to extend their own operating system with further components (e.g. a game) as last exercise and present it to the other participants during the last lecture. The audience voted for the three most innovative/creative/funny solutions. (BSB lecture 2015)