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...
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...
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.