Spring Meeting of the German SIG on Operating Systems (GI-FGBS)2023-03-07
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, CLASSY-FI and ATLAS projects.
Lars Wrenger Receives GI-FGBS Award for Best Master Thesis2023-03-06
Lars Wrenger receives the award for best master thesis in the field of operating systems. The award is granted annually by the SIG on Operating Systems of the German Computer Assiciation (GI Fachgruppe Betriebssysteme) solely on the base of scientific excellence. It includes a price money of...
New Colleague at SRA2022-12-15
Alexander Halbuer joins the SRA team as a Doctoral Researcher. He will strengthen our research team in the ParPerOS project and assist us in new lectures. Welcome, Alexander!
SRA @ Tag der Fakultät2022-12-02
On the day of the faculty (Tag der Fakultät) all graduates of the faculty are officially sent off, including several of our thesis workers. We wholeheartedly wish Lukas Berg(B.Sc.) and Maximilian Werner(M.Sc.) the best for their continued career, while Dominik Töllner, Lars Wrenger and Tim-Marek...
SRA @ SAFECOMP 2022: SailFAIL and ACTOR2022-09-07
SRA has two papers on fault injection of transient hardware faults at SAFECOMP'22: Christian Dietrich presents SailFAIL, where we explain how to derive fault-injection platforms form formal CPU models. Tim-Marek Thomas presents ACTOR, an method how to use dynamic timeout detectors to speed up...
Best Student Paper: TASTING - Reuse Test-case Execution by Global AST Hashing at ICSOFT '222022-07-11
Tobias Landsberg presents our paper TASTING: Reuse Test-case Execution by Global AST Hashing at the 17th International Conference on Sofware Technologies (ICSOFT '22) in Lisbon. In the paper we describe TASTING, an approach for efficiently selecting and reusing regression-test executions across...
RTOS-Independent Interaction Analysis in ARA at OSPERT '222022-07-05
Gerion Entrup presents our paper RTOS-Independent Interaction Analysis in ARA at the 16th Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT '22) in Modena. In the paper we describe our approach towards RTOS-independent interaction analyses in the ARA framework...
New DFG Grant: Parallel Persistency OS (SPP 2377)2022-06-13
ParPerOS: Parallel Persistency OS (DFG: LO 1719/8-1 and DI 2840/2-1) In ParPerOS, we examine new abstractions for unified but efficient and optionally crash-consistent low-level memory management for data objects in heterogeneous memory systems that consist of volatile, persistent, distributed...
New Colleague at SRA2022-06-01
Lars Wrenger joins the SRA team as a Doctoral Researcher. He will strengthen our research team in the ParPerOS project and assist us in new lectures. Welcome, Lars!
New Guest at SRA2022-05-22
Nishal Kulkarni, a third-year bachelor student from of VIT-University Vellore, India is visting us for 2 months as with help from a DAAD WISE scholarship. During his time over here, he will be working on data structure support for Multiverse in the CADOS project. Welcome, Nishal!
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 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, current...
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.