Systems Architecture Research Group

As part of the Laboratory for Digitalisation, the Systems Architecture Research Group does research on modern, free and open architectures for industrial embedded systems with a strong focus on safety- and mixed-critical systems.

In parallel, the Software Engineering Group of Digitalisation Laboratory develops quantitative techniques that support safety certification efforts for OSS components when being used in safety-critical environments.

The Systems Architecture Research Group has profound experience with the following processor architectures:

• ARM (32/64 Bit)
• PowerPC
• RISC-V
• x86 (Intel, AMD)

Tailored Hardware/Software Stacks: Precisely Fitting Industrial Architectures

Embedded Virtualisation

Running Projects

• EEArch: Automotive E/E Architectures
• Jail-V: Jailhouse on RISC-V
• Grinch: The LfD's Operating System for RISC-V

People

Lead

Doctoral Students

Research Master Students

Master Students

Bachelor Students

Alumni

Theses

Open

Running

Finished

Central Publications

2022

OSSJ Conference
Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models

Benno Bielmeier, Wolfgang MauererOpen Source Summig Japan (OSSJ)2022.
PDF [BibTex]

×

BibTex Entry

@inproceedings{bielmeier:22:ossj,
 author = {Bielmeier, Benno and Mauerer, Wolfgang},
 booktitle = {Open Source Summig Japan (OSSJ)},
 entrysubtype = {Conference},
 keywords = {embedded linux, formal verification, runtime behaviour, real-time},
 language = {en},
 month = {12},
 title = {Semi-Formal Verification of Embedded Linux Systems Using Trace-Based Models},
 url = {https://www.youtube.com/watch?v=w42ab8-CH1o},
 userd = {OSSJ},
 venue = {Tokyo, Japan},
 year = {2022}
}

Close

Conference
Static Hardware Partitioning on RISC-V - Shortcomings, Limitations, and Prospects

Ralf Ramsauer, Stefan Huber, Konrad Schwarz, Jan Kiszka, Wolfgang Mauerer8th IEEE World Forum on Internet of Things (IEEE WFIoT2022)2022.
PDF 10.1109/WF-IoT54382.2022.10152063 [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:22:riscv,
 author = {Ramsauer, Ralf and Huber, Stefan and Schwarz, Konrad and Kiszka, Jan and Mauerer, Wolfgang},
 booktitle = {8th IEEE World Forum on Internet of Things (IEEE WFIoT2022)},
 doi = {10.1109/WF-IoT54382.2022.10152063},
 entrysubtype = {Conference},
 keywords = {static hardware partitioning, RISC-V, hypervisor},
 language = {en},
 month = {11},
 title = {Static Hardware Partitioning on RISC-V - Shortcomings, Limitations, and Prospects},
 url = {https://arxiv.org/abs/2208.02703},
 year = {2022}
}

Close

Thesis
Design Space Exploration and Implementation of Efficient Memory Snapshots

Mario Mintel2022.
PDF [BibTex]

×

BibTex Entry

@mastersthesis{mintel:22:master,
 author = {Mintel, Mario},
 entrysubtype = {Thesis},
 month = {09},
 school = {OTH Regensburg},
 title = {Design Space Exploration and Implementation of Efficient Memory Snapshots},
 year = {2022}
}

Close

Thesis
Kernel-Assisted Copy-on-Write Snapshots for Main-Memory HTAP Databses

Lucas Wolf2022.
PDF [BibTex]

×

BibTex Entry

@mastersthesis{wolf:22:master,
 author = {Wolf, Lucas},
 entrysubtype = {Thesis},
 month = {09},
 school = {OTH Regensburg},
 title = {Kernel-Assisted Copy-on-Write Snapshots for Main-Memory HTAP Databses},
 year = {2022}
}

Close

Thesis
Socio-Technical Distillation – From Micro-Level Responsibilities to Macro-Level Architecture Views

Pia Eichinger2022.
PDF [BibTex]

×

BibTex Entry

@mastersthesis{eichinger:22:master,
 author = {Eichinger, Pia},
 entrysubtype = {Thesis},
 month = {09},
 school = {OTH Regensburg},
 title = {Socio-Technical Distillation -- From Micro-Level Responsibilities to Macro-Level Architecture Views},
 year = {2022}
}

Close

QPU-System Co-Design for Quantum HPC Accelerators

Karen Wintersperger, Hila Safi, Wolfgang MauererProceedings of the 35th GI/ITG International Conference on the Architecture of Computing SystemsGesellschaft für Informatik2022.
PDF 10.1007/978-3-031-21867-5_7 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{wintersperger:22:codes,
 author = {Wintersperger, Karen and Safi, Hila and Mauerer, Wolfgang},
 booktitle = {Proceedings of the 35th GI/ITG International Conference on the Architecture of Computing Systems},
 doi = {10.1007/978-3-031-21867-5_7},
 editor = {Schulz, Martin and Trinitis, Carsten and Papadopoulou, Nikela
and Pionteck, Thilo"},
 isbn = {978-3-031-21867-5},
 month = {8},
 pages = {100--114},
 publisher = {Gesellschaft für Informatik},
 title = {QPU-System Co-Design for Quantum HPC Accelerators},
 year = {2022}
}

Close

FGDB
Applicability of Quantum Computing on Database Query Optimization

Manuel Schönberger, Stefanie Scherzinger, Wolfgang MauererFrühjahrstreffen Fachgruppe Datenbanken in Potsdam (Poster Presentation)2022.
PDF [BibTex]

×

BibTex Entry

@inproceedings{mintel:22:fgdb,
 author = {Schönberger, Manuel and Scherzinger, Stefanie and Mauerer, Wolfgang},
 booktitle = {Frühjahrstreffen Fachgruppe Datenbanken in Potsdam (Poster Presentation)},
 month = {3},
 title = {Applicability of Quantum Computing on Database Query Optimization},
 userd = {FGDB '22},
 venue = {Potsdam, Germany},
 year = {2022}
}

Close

FGBS
Fork à la carte für In-Memory-Datenbanken

Mario Mintel, Ralf Ramsauer, Daniel Lohmann, Stefanie Scherzinger, Wolfgang MauererFrühjahrstreffen Fachgruppe Betriebssysteme in Hannover2022.
PDF [BibTex]

×

BibTex Entry

@inproceedings{mintel:22:fgbs,
 author = {Mintel, Mario and Ramsauer, Ralf and Lohmann, Daniel and Scherzinger, Stefanie and Mauerer, Wolfgang},
 booktitle = {Frühjahrstreffen Fachgruppe Betriebssysteme in Hannover},
 month = {3},
 title = {Fork à la carte für In-Memory-Datenbanken},
 userd = {FGBS '22},
 venue = {Hanover, Germany},
 year = {2022}
}

Close

2021

Conference
Silentium! Run-Analyse-Eradicate the Noise out of the DB/OS Stack

Wolfgang Mauerer, Ralf Ramsauer, Edson Lucas, Daniel Lohmann, Stefanie ScherzingerBTW 2021Gesellschaft für Informatik, Bonn2021.
PDF 10.18420/btw2021-21 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{mauerer:21:btw,
 address = {Bonn},
 author = {Mauerer, Wolfgang and Ramsauer, Ralf and Lucas, Edson and Lohmann, Daniel and Scherzinger, Stefanie},
 booktitle = {BTW 2021},
 doi = {10.18420/btw2021-21},
 editor = {Kai-Uwe Sattler and Melanie Herschel and Wolfgang Lehner},
 entrysubtype = {Conference},
 keywords = {Low-latency databases, tail latency, real-time databases, bounded-time query processing, DB-OS co-engineering},
 language = {en},
 month = {4},
 pages = {397--421},
 publisher = {Gesellschaft für Informatik, Bonn},
 title = {Silentium! Run-Analyse-Eradicate the Noise out of the {DB/OS} Stack},
 url = {https://arxiv.org/abs/2102.06219},
 venue = {Virtual Event},
 year = {2021}
}

Close

Thesis
OSS Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective

Ralf Ramsauer PHD thesisLeibniz Universität HannoverHannover: Institutionelles Repositorium der Leibniz Universität Hannover2021.
PDF 10.15488/11722 [BibTex]

×

BibTex Entry

@phdthesis{ramsauer:21:phd,
 author = {Ralf Ramsauer},
 copyright = {CC BY 3.0 DE},
 doi = {10.15488/11722},
 entrysubtype = {Thesis},
 language = {en},
 publisher = {Hannover: Institutionelles Repositorium der Leibniz Universität Hannover},
 school = {Leibniz Universität Hannover},
 title = {{OSS} Architecture for Mixed-Criticality Systems: A Dual View from a Software and System Engineering Perspective},
 url = {https://www.repo.uni-hannover.de/handle/123456789/11815},
 year = {2021}
}

Close

Under Review
Principles and Practice of Hypervisor-Assisted Real-World Hardware Partitioning

Ralf Ramsauer, Jan Kiszka, Daniel Lohmann, Wolfgang Mauerer2021.
[BibTex]

×

BibTex Entry

@article{ramsauer:21:,
 author = {Ralf Ramsauer and Jan Kiszka and Daniel Lohmann and Wolfgang Mauerer},
 title = {Principles and Practice of Hypervisor-Assisted Real-World Hardware Partitioning},
 year = {2021}
}

Close

2018

ELCE
Spectre and Meltdown vs. Real-Time: How Much do Mitigations Cost?

Ralf Ramsauer, Jan Kiszka, Wolfgang MauererEmbedded Linux Conference Europe2018.
[BibTex]

×

BibTex Entry

@inproceedings{ramsauer:18:spectre,
 author = {Ramsauer, Ralf and Kiszka, Jan and Mauerer, Wolfgang},
 booktitle = {Embedded Linux Conference Europe},
 month = {10},
 title = {Spectre and Meltdown vs. Real-Time: How Much do Mitigations Cost?},
 url = {https://www.youtube.com/watch?v=nqU4j2M_Ul4},
 userd = {ELCE '18},
 venue = {Edinburgh, UK},
 year = {2018}
}

Close

FGBS
Implementierung gemischt kritischer Systeme durch statische Hardwarepartitionierung

Ralf Ramsauer, Jan Kiszka, Wolfgang MauererFrühjahrstreffen Fachgruppe Betriebssysteme in Hannover2018.
[BibTex]

×

BibTex Entry

@inproceedings{ramsauer:18:fgbs,
 author = {Ramsauer, Ralf and Kiszka, Jan and Mauerer, Wolfgang},
 booktitle = {Frühjahrstreffen Fachgruppe Betriebssysteme in Hannover},
 month = {3},
 title = {Implementierung gemischt kritischer Systeme durch statische Hardwarepartitionierung},
 userd = {FGBS '18},
 venue = {Hanover, Germany},
 year = {2018}
}

Close

Meltdown & Spectre — Werden wir alle sterben? Technischer Überblick und Analyse neuester Erkentnisse über ungewolltes Prozessorverhalten

Ralf Ramsauer, Joachim Weber, Wolfgang Mauerer2018.
[BibTex]

×

BibTex Entry

@conference{ramsauer:18:oth,
 address = {Ostbayerische Technische Hochschule, Regensburg},
 author = {Ramsauer, Ralf and Weber, Joachim and Mauerer, Wolfgang},
 day = {15},
 month = {1},
 title = {{Meltdown \& Spectre — Werden wir alle sterben? Technischer Überblick und Analyse neuester Erkentnisse über ungewolltes Prozessorverhalten}},
 year = {2018}
}

Close

2017

OSPERT Workshop B
Look Mum, no VM Exits! (Almost)

Ralf Ramsauer, Jan Kiszka, Daniel Lohmann, Wolfgang MauererProceedings of the 13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '17)2017.
PDF Slides [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:17:ospert,
 author = {Ralf Ramsauer and Jan Kiszka and Daniel Lohmann and Wolfgang Mauerer},
 booktitle = {Proceedings of the 13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '17)},
 entrysubtype = {Workshop},
 month = {6},
 title = {Look Mum, no {VM} Exits! (Almost)},
 url = {http://arxiv.org/abs/1705.06932},
 userc = {CORE18:B},
 userd = {OSPERT '17},
 venue = {Dubrovnik, Croatia},
 year = {2017}
}

Close

2016

Conference
GPU-Assisted hard real-time processing: Problems and Potentials

Wolfgang MauererProc. Embedded World Conference2016.
[BibTex]

×

BibTex Entry

@article{mauerer:16:ewc,
 author = {Wolfgang Mauerer},
 entrysubtype = {Conference},
 journal = {Proc. Embedded World Conference},
 title = {GPU-Assisted hard real-time processing: Problems and Potentials},
 year = {2016}
}

Close

2014

Journal
Real-Time Android: Achieving determinism and ease of use

Wolfgang Mauerer, J. Sawallisch, G. Hillier, S. Oberthür, S. HönickEmbedded Wold Conference2014.
PDF [BibTex]

×

BibTex Entry

@article{mauerer:14,
 author = {Wolfgang Mauerer and J. Sawallisch and G. Hillier and S. Oberthür and S. Hönick},
 day = {21},
 entrysubtype = {Journal},
 journal = {Embedded Wold Conference},
 month = {2},
 title = {Real-Time Android: Achieving determinism and ease of use},
 url = {https://www.embedded.com/real-time-android-achieving-determinism-and-ease-of-use/},
 year = {2014}
}

Close

Conference
Supershrink Linux – and beyond

Wolfgang MauererProc. Embedded World Conference2014.
[BibTex]

×

BibTex Entry

@article{mauerer:14:ewc,
 author = {Wolfgang Mauerer},
 entrysubtype = {Conference},
 journal = {Proc. Embedded World Conference},
 title = {Supershrink Linux – and beyond},
 year = {2014}
}

Close

2013

Magazin
Linux durchleuchtet

Gernot Hillier, Wolfgang Mauererc’t Magazin für Computertechnik, Heise Verlag2013.
[BibTex]

×

BibTex Entry

@article{hillier:13:ct,
 author = {Gernot Hillier and Wolfgang Mauerer},
 entrysubtype = {Magazin},
 journal = {c’t Magazin für Computertechnik, Heise Verlag},
 month = {3},
 title = {Linux durchleuchtet},
 year = {2013}
}

Close

Conference
Linux Platform Debugging: It’s not just for Kernel Hackers

Wolfgang MauererProc. Embedded World Conference2013.
[BibTex]

×

BibTex Entry

@article{mauerer:13:ewc,
 author = {Wolfgang Mauerer},
 entrysubtype = {Conference},
 journal = {Proc. Embedded World Conference},
 title = {Linux Platform Debugging: It’s not just for Kernel Hackers},
 year = {2013}
}

Close

Magazin
Performance-Analyse mit Perf

G. Hiller, Wolfgang Mauererc’t Sonderheft Linux, Heise Verlag2013.
[BibTex]

×

BibTex Entry

@article{hiller:13:ct,
 author = {G. Hiller and Wolfgang Mauerer},
 entrysubtype = {Magazin},
 journal = {c’t Sonderheft Linux, Heise Verlag},
 title = {Performance-Analyse mit Perf},
 year = {2013}
}

Close

2012

Sicherheit von Android-Systemen

S. Oberthür, Wolfgang MauererGI-Edition Lecture Notes in Informatics2012.
[BibTex]

×

BibTex Entry

@article{mauerer:12:gi,
 author = {S. Oberthür and Wolfgang Mauerer},
 journal = {GI-Edition Lecture Notes in Informatics},
 title = {Sicherheit von Android-Systemen},
 url = {http://www.bytesex.de/papers/android.pdf},
 year = {2012}
}

Close

2011

Magazin
Am offenen Kern

Wolfgang Mauerer, Gernot Hillierc’t Magazin für Computertechnik, Heise Verlag2011.
[BibTex]

×

BibTex Entry

@article{Mauerer:11:ct,
 author = {Wolfgang Mauerer and Gernot Hillier},
 entrysubtype = {Magazin},
 journal = {c’t Magazin für Computertechnik, Heise Verlag},
 title = {Am offenen Kern},
 year = {2011}
}

Close

2010

Magazin
Rundreise durch den Linux-Kernel

Wolfgang Mauerer, Gernot Hillierc’t kompakt Linux, Heise Verlag2010.
[BibTex]

×

BibTex Entry

@article{Mauerer:10:ct,
 author = {Wolfgang Mauerer and Gernot Hillier},
 entrysubtype = {Magazin},
 journal = {c’t kompakt Linux, Heise Verlag},
 title = {Rundreise durch den Linux-Kernel},
 year = {2010}
}

Close

2008

Conference
Chasing the Penguin: State and Evolution of the Kernel

Wolfgang MauererProceedings Linux-Kongress 2008(UpTimes 02/2008), GUUG/Lehmanns2008.
[BibTex]

×

BibTex Entry

@article{mauerer:08:lk,
 author = {Wolfgang Mauerer},
 entrysubtype = {Conference},
 journal = {Proceedings Linux-Kongress 2008(UpTimes 02/2008), GUUG/Lehmanns},
 title = {Chasing the Penguin: State and Evolution of the Kernel},
 year = {2008}
}

Close

Book
Professional Linux Kernel Architecture

Wolfgang MauererJohn Wiley & Sons20089780470343432.
[BibTex]

×

BibTex Entry

@book{Mauerer:08:book,
 address = {Hoboken},
 author = {Mauerer, Wolfgang},
 entrysubtype = {Book},
 isbn = {9780470343432},
 publisher = {John Wiley \& Sons},
 title = {Professional Linux Kernel Architecture},
 year = {2008}
}

Close

2003

Book
Linux-Kernelarchitektur Konzepte, Strukturen und Algorithmen von Kernel 2.6

Wolfgang MauererHanser20039783446225664.
[BibTex]

×

BibTex Entry

@book{mauerer:03:book,
 address = {München \& Wien},
 author = {Mauerer, Wolfgang},
 entrysubtype = {Book},
 isbn = {9783446225664},
 publisher = {Hanser},
 title = {Linux-Kernelarchitektur Konzepte, Strukturen und Algorithmen von Kernel 2.6},
 year = {2003}
}

Close

1998

Magazin
Einführung in den Linux-Kernel

Wolfgang MauererLinux Magazin, Linux New Media AG1998.
[BibTex]

×

BibTex Entry

@article{mauerer:98,
 author = {Wolfgang Mauerer},
 entrysubtype = {Magazin},
 journal = {Linux Magazin, Linux New Media AG},
 title = {Einführung in den Linux-Kernel},
 year = {1998}
}

Close

1997

Book
Textverarbeitung mit LATEX 2e [2 epsilon] unter UNIX

Wolfgang MauererHanser19979783446189096.
[BibTex]

×

BibTex Entry

@book{mauerer:97:book,
 address = {München \& Wien},
 author = {Mauerer, Wolfgang},
 entrysubtype = {Book},
 isbn = {9783446189096},
 publisher = {Hanser},
 title = {Textverarbeitung mit LATEX 2e [2 epsilon] unter UNIX},
 year = {1997}
}

Close