Logo Leibniz Universität Hannover
Logo: SRA/Leibniz Universität Hannover
Logo Leibniz Universität Hannover
Logo: SRA/Leibniz Universität Hannover
  • Zielgruppen
  • Suche

Prof. Dr.-Ing. habil. Daniel Lohmann

Leibniz Universität Hannover
Bereich Informatik
Institut für Systems Engineering

Fachgebiet System- und Rechnerarchitektur

Appelstraße 4
30167 Hannover, Germany
Raum: 105

Telefon:0511 762 19725

Bild von Prof. Dr.-Ing. habil. Daniel Lohmann


Note: While this page is still under construction, more details about my research can be found on my former homepage at FAU Erlangen-Nürnberg.


Topic: Configurable System Software

System software provides no business value of its own. Its sole purpose is to ease the development and integration of applications, that is, to serve application developers and integrators with a "virtual machine" that provides the "right" instruction set (abstractions) and nonfunctional properties (timeliness, throughput, memory thriftiness) for their particular problems. Especially in cost-sensitive domains, such as embedded systems, system software can almost never be reused "as is", but has to be tailored towards the requirements of the particular application.

I do research in principles, methods, and techniques for the engineering of (automatically) tailorable system software that is configurable with respect to all of its functional and nonfunctional properties.


  • Operating systems, especially architecture and design
  • Embedded systems, especially small ones
  • Dependable and real-time systems
  • Engineering and implementation of software product lines
  • Static analysis and generative programming
  • Aspect-Oriented Software Development (AOSD)

Ongoing Projects

  • danceOS: Dependability aspects in embedded Operating Systems (DFG: LO 1719/1-3, SPP 1500 "Dependable Embedded Systems")
  • dosek: A Dependability-Oriented Static Embedded Kernel (part of danceOS)
  • CADOS: Configurability-Aware Development of Operating Systems (DFG: LO 1719/3-1)
  • iRTSS: invasive Runtime Support System (DFG: SFB/TRR 89 "Invasive Computing", Project C1)

Recently Finished Projects

  • ISEco: Industrial Software Ecosystems (Siemens CT)
  • Sloth: Minimal-effort RTOS kernels for embedded systems
  • CiAO: Design and implementation of an aspect-oriented operating-system product line (DFG)
  • VAMOS: Variability Management in Operating Systems (DFG)
  • PLiC: Decomposition and Composition of Software Product Lines (Siemens CT)
  • AspectC++: An aspect-oriented extension to the C++ programming language


  Conferences and Workshops