Systems Research and Architecture Group (SRA)

Fachgebiet System- und Rechnerarchitektur

Our Research and Teaching 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.

Cherrapunjee Rain Forests" ( CC BY-SA 2.0) by  ashwin kumar

Embedded

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.

Tailored

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.

Systems

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.

News and Trivia

2018-03-01 1. Frühjahrstreffen des GI Fachbereichs SYS
Systemsoftware für die Industrie von morgen und das Internet der Dinge

Mit Unterstützung der Kollegen vom IKT findet das erste Gesamttreffen des neu gegründeten Fachbereich SYS der Gesellschaft für Informatik (GI) am 1. und 2. März 2018 hier in Hannover statt. Mit mehr als zwölf Beiträgen aus dem Bereich der Betriebssysteme, Kommunikationssysteme und Verteilten Systeme erwartet die 70 angmeldeten Teilnehmer ein spannendes Programm.

2018-01-01 Two New Colleagues at SRA
With Björn Fiedler and Florian Rommel two new Doctoral Researchers join the SRA team to strenghten our research team in the AHA and CADOS DFG projects. On the teaching side, they will help us to develop new projects and courses in the systems domain. Welcome, Björn! Welcome, Florian!
2017-11-21 New DFG Grant: Automated Hardware Abstraction in Operating-System Engineering
AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)
Goal of AHA is to improve nonfunctional properties of system software by a very deep, but fully automated specialization of the application-hardware bridge represented by the operating system. We investigate, how alternative implementations that are mapped more directly to hardware features, can be generated from a concrete application and their actual interactions with the operating system.
The German research foundation DFG is now supporting our AHA project for three years with two positions for doctoral researchers (E13), two positions for student researchers, and some additional lab equippment.
2017-10-05 Automatic Kernel Verification at FMCAD 2017
Christian Dietrich presents the paper Automatic Verification of Application-Tailored OSEK Kernels at the ACM / IEEE Conference on Formal Methods in Computer-Aided Design in Vienna. In the paper, which is joint work with the Theoretical Computer Science group of Lutz Schröder and Stefan Milius (FAU), we describe a new approach to verify an RTOS kernel not against its abstract specification, but only the semantics actually used by the concrete application.
2017-10-01 New Colleague at SRA
Gerion Entrup joins the SRA team as Doctoral Researcher. He will manage our new Master's seminar on Linux Kernel Architecture and strenghten our research team in the field of static analysis and code generation for the AHA project. Welcome, Gerion!
2017-07-13 Best Paper: cHash at USENIX ATC 2017
Christian Dietrich presents our paper cHash: Detection of Redundant Compilations via AST Hashing at the USENIX ATC 2017 conference. In the paper we describe a new approach to quickly decide which files really need to be recompiled after some change to the source code. We got an Best Paper Award for this work.
2017-06-22 The OSEK-V application-specific processor at LCTES 2017
Christian Dietrich presents the paper OSEK-V: Application-Specific RTOS Instantiation in Hardware at the ACM SIGPLAN / SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems in Barcelona. In the paper we describe our approach to automatically tailor the RTOS functionality needed by an OSEK application to integrate it directly into the processor pipeline of the Rocket RISC-V core.

News Archive and Hall of Fame