2018-01-18 Informationsveranstaltung: Führung am SRA

Organisiert durch den Fachrat Informatik gab es heute eine kleine Informationsveranstaltung für Erstsemester über Forschung und Lehre am SRA und die Bedeutung der systemnahen Informatik. Die dazu passenden Folien finden Sie hier: [Folien]

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

Für 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 ist nun das Programm verfügbar. Wir freuen uns über Ihre Anmeldung bis zum 31. Januar 2018.

2018-01-09 Schülerinfoveranstaltung: Evangelische Akademie Loccum

Im Rahmen einer Informationsveranstaltung an der Evangelischen Akademie Loccum wurde einer Gruppe von Schülern die Inhalte und Herausforderungen des Informatikstudiums näher gebracht. Die dazu passenden Folien finden Sie hier: [Folien]

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-12-04 Schülerinfoveranstaltung: Niedersachsen-Technikum

Im Rahmen des Niedersachsen-Technikums hat uns eine Gruppe interessierter Frauen besucht. Während des 6-monatigem Programms lernen sie im Rahmen eines bezahlten Unternehmenspraktikum und eines Schnupper-Studium das Arbeitsleben in einem MINT-Beruf kennen. [Folien]

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-11-20 1. Frühjahrstreffen des GI Fachbereichs SYS
Systemsoftware für die Industrie von morgen und das Internet der Dinge

Zusammen mit den Kollegen vom IKT organisieren wir 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. Wir freuen uns auf Ihre Beiträge bis zum 17. Dezember 2017.

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.
2017-04-18 Outstanding Paper: SysWCET at RTAS 2017
Christian Dietrich presented the paper SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems at the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium in Pittsburgh. We got an Outstanding Paper Award for this work.
2017-04-06 Rogue Lab is Ready
Our new student laboratory has been established. Equipped with 11 high-end PC workstations, we now have an excellent environment for our students working on their BA/MA thesis as well as new hands-on lectures and laboratories in systems.
2017-04-01 Journal Paper on control-flow based RTOS optimization in TECS
Our paper Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis finally appeared in issue 16.2 of ACM Transactions on Embedded Computing Systems. The paper is an extended version of our LCTES '15 paper Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems, where we originally described our approach to exploit the deterministic scheduling of OSEK and other event-driven RTOS to establish a global, cross-kernel/inter-task control flow analysis for aggressive tailoring and optimization. This journal version extends the original article by an algorithmic alternative that trades efficiency for precision and broader case studies.
2017-01-01 New Professor at SRA
Daniel Lohmann investigates together with his doctoral researchers Christian Dietrich und Oskar Pusz principles, methods and techniques for the development of highly adaptable systems software targeted as special-purpose systems. His teaching activities will focus on the topic of operating systems and the broader area of systems software development in general.
2016-11-16 Preis für gute Lehre des Freistaates Bayern
Daniel Lohmann wird von Staatsminister Dr. Ludwig Spaenle „in Würdigung seiner Vorbildfunktion mit dem Preis für gute Lehre 2015 des Freistaats Bayern“ ausgezeichnet. Der mit 5000 EUR dotierte Preis wird jährlich an 15 herausragende Wissenschaftlerinnen und Wissenschaftler vergeben.

Die Kriterien für die Auszeichnung sind eine herausragende Lehrleistung über die Dauer von wenigstens zwei Studienjahren an einer Universität in Bayern, eine Beteiligung der Studierenden an der Auswahl sowie der Vorschlag der jeweiligen Universität. Über alle Maßnahmen zur Sicherung der Qualität der Lehre, die von den Hochschulen praktiziert werden, spielen das persönliche Engagement und die pädagogisch-didaktischen Kompetenzen des Lehrenden eine große Rolle.