Inaugural Lecture by Christian Dietrich: New Directions for Managing Memory2022-04-07
Our former SRA member and current project partner in the ATLAS and ParPerOS projects, Christian Dietrich (TUHH) helds his inaugural lecture on New Directions for Managing Memory: Abstract: Traditionally, memory is the scarce resource that operating systems virtualize for their users. However,...
Spring Meeting of the German SIG on Operating Systems (GI-FGBS)2022-03-17
SRA is participating in the Spring Meeting of the German SIG on Operating Systems (Frühjahrstreffen der GI Fachgruppe Betriebssysteme) with three talks in the context of the ParPerOS and ATLAS projects: Lars Wrenger presents his thesis Lo(ck|g)-free Page Allocator for Non-Volatile Memory in the...
New Colleague at SRA2022-03-01
Dominik Töllner joins the SRA team as a Doctoral Researcher. He will strengthen our research team in the ATLAS project and assist us in our OS lectures (Betriebssystembau, Projekt SRA). Welcome, Dominik!
New Guest at SRA2022-02-02
Gabriele Serra, a PhD Student of Allessandro Biondi from the ReTiS Lab at Scuola Superiore Sant'Anna joins the SRA team as a visiting Doctoral Researcher for the next six month. Welcome, Gabriele!
New DFG Grant: Adaptable Thread-Level Address spaces2021-12-23
ATLAS: Adaptable Thread-Level Address Spaces (DFG: LO 1719/7-1 and DI 2840/1-1) In the ATLAS project, we investigate dynamic specialization and containment by means of thread-level address-space variations. The German research foundation DFG is supporting our ATLAS project for two years with two...
PhD Defense: Ralf Ramsauer - OSS Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective2021-12-21
Ralf Ramsauer successfully defends his PhD Thesis OSS Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective. Congrats, Ralf! Abstract: Computer-based automation in industrial appliances led to a growing number of logically dependent, but...
New Colleague at SRA2021-12-01
Tim-Marek Thomas joins the SRA team as a Doctoral Researcher. He will strengthen our research team in the CLASSY-FI project and assist us in our OS lectures (Grundlagen der Betriebssysteme). Welcome, Tim-Marek!
New DFG Grant: Configurability-Aware Design of Operating Systems2021-09-01
CADOS: Configurability-Aware Development of Operating Systems (DFG: LO 1719/3-2) In the CADOS project, we investigate scalable methods and tools to deal with the implementation of variability across all implementation layers of modern system software. The German research foundation DFG is...
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults at LCTES '212021-06-22
Oskar Pusz presents Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults at the Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21). In the paper, we describe Data-Flow–Sensitive Fault-Space Pruning (DFP), a new precise and...
ARA: Static Initialization of Dynamically-Created System Objects at RTAS '212021-05-21
Björn Fiedler presents our paper ARA: Static Initialization of Dynamically-Created System Objects at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '21). In the paper, we present ARA, a framework for static specialization of operating systems for embedded...
Our Research Overview and Studies Overview activities are centered around the architecture of computing systems: From hardware over system software up to languages and compilers with a focus on constructive methods for the design and development of adaptable and versatile system software. The group is led by Prof. Daniel Lohmann.
Those machines that are closest to our everyday life are special-purpose systems embedded into the physical world. Due to this embedding, we know a lot about the surroundings of a system. We exploit this knowledge in the design of hardware and system software.
The requirements for every system are special. However, we often favor unspecific general-purpose components over special-purpose solutions. With the techniques of automatic tailoring, we can achieve specialized systems at moderate development costs.
During the architectural design, the required functionalities are often well understood. Nonfunctional aspects are decisive for choosing a system for a given task. Especially for embedded systems, we can optimize various aspects towards the given application scenario.