Daniel Lohmann
Friedrich-Alexander-Universität UnivisSearchDeutsch FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Department of Computer Science 4
Research
Publications
   > Selected Papers
   > All Papers
Teaching
   > Lectures
   > Theses
Miscellaneous
Contact:
EMail dl@cs.fau.de

New Address:
Prof. Dr.-Ing.
  Daniel Lohmann
Leibniz Universität
  Hannover

Fachgebiet System-
  und Rechnerarchitektur

Appelstraße 4
D-30167 Hannover
 
Dept. of Computer Science  >  CS 4  >  People  >  Lohmann
Daniel Lohmann

Daniel Lohmann

was Associate Professor (Privatdozent) at the Chair of Computer Science IV (Distributed Systems and Operating Systems),
Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany until December 2016.

Starting January 2017 he is Professor at Leibniz Universität Hannover, where he leads the Systems Research and Architecture (SRA) group.


Research

Topic: Configurable System Software

Areas of research with projects and selected publications.
Papers marked with an * asterisk have received a Best Paper Award.
Most of my projects are funded by DFG

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.

Interests

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

Ongoing Projects

  • danceOS: Dependability aspects in embedded Operating Systems
  • dosek: A Dependability-Oriented Static Embedded Kernel (part of danceOS)
  • CADOS: Configurability-Aware Development of Operating Systems
  • Sloth: Minimal-effort kernels for embedded systems
  • iRTSS: invasive Runtime Support System (SFB/TRR 89 Invasive Computing, Project C1)
  • ISEco: Industrial Software Ecosystems
  • AspectC++: An aspect-oriented extension to the C++ programming language

Recently Finished Projects

  • CiAO: Design and implementation of an aspect-oriented operating-system product line
  • VAMOS: Variability Management in Operating Systems
  • PLiC: Decomposition and Composition of Software Product Lines

Selected Publications

Depending on the focus (Goal, Method, Technique) my research activites adress several disciplines of practical computer science. I publish most of my work on systems, real-time, and software-engineering conferences. The following papers provide a good overview of my research and research topics:

Systems

USENIX '17

Dietrich, Christian ; Rothberg, Valentin ; Füracker, Ludwig ; Ziegler, Andreas ; Lohmann, Daniel: cHash: Detection of Redundant Compilations via AST Hashing. In: USENIX Association (Ed.) : Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17) (2017 USENIX Annual Technical Conference (ATC '17) Santa Clara, CA 12.-14.7.2017). 2017, pp 527-538. - ISBN 978-1-931971-38-6 (BibTeX)

USENIX '14

Tartler, Reinhard ; Dietrich, Christian ; Sincero, Julio ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel: Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue. In: USENIX Association (Ed.) : Proceedings of the 2014 USENIX Annual Technical Conference (USENIX 2014) (2014 USENIX ATC Philadelphia, PA, USA June 19-20, 2014). 2014, pp 421-432. - ISBN 978-1-931971-10-2 (BibTeX)

EuroSys '11

Tartler, Reinhard ; Lohmann, Daniel ; Sincero, Julio ; Schröder-Preikschat, Wolfgang: Feature Consistency in Compile-Time Configurable System Software. In: Heiser, Gernoth ; Kirsch, Christoph (Ed.) : Proceedings of the EuroSys 2011 Conference (EuroSys '11) (EuroSys 2011 Salzburg 10-13 April 2011). New York, NY, USA : ACM, 2011, pp 47-60. - ISBN 978-1-4503-0634-8
[doi>10.1145/1966445.1966451] (BibTeX)

USENIX '09

Lohmann, Daniel ; Hofer, Wanja ; Schröder-Preikschat, Wolfgang ; Streicher, Jochen ; Spinczyk, Olaf: CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems. In: USENIX Association (Ed.) : Proceedings of the 2009 USENIX Annual Technical Conference (USENIX 2009) (2009 USENIX Annual Technical Conference (USENIX 2009) San Diego, CA, USA June 2009). Berkeley, CA, USA : USENIX Association, 2009, pp 215-228. - ISBN 978-1-931971-68-3 (BibTeX)

EuroSys '06

Lohmann, Daniel ; Scheler, Fabian ; Tartler, Reinhard ; Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang: A Quantitative Analysis of Aspects in the eCOS Kernel. In: European Chapter of ACM SIGOPS (Org.) : Proceedings of the EuroSys 2006 Conference (EuroSys 2006 Leuven, Belgium April 18-21, 2006). Belgium : ACM Press, 2006, pp 191-204. - ISBN 1-59593-322-0 (BibTeX)

Real-Time Systems

TECS 16:2

Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel: Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis. In: ACM Transactions on Embedded Computing Systems 16 (2017), No. 2, pp 35:-1–35:25
[doi>10.1145/2950053] (BibTeX)

RTAS '15

Zuepke, Alexander ; Bommert, Marc ; Lohmann, Daniel: AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel. In: West, Richard (Ed.) : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '15) (21st Real-Time and Embedded Technology and Applications Symposium (RTAS '15) Seattle, WA, USA April 2015). 2015, pp 133-144.
[doi>10.1109/RTAS.2015.7108435] (BibTeX)

ECRTS '14

Müller, Rainer ; Danner, Daniel ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel: Multi Sloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling. In: IEEE Computer Society (Org.) : Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14) (Euromicro Conference on Real-Time Systems Madrid, Spain July 2014). 2014, pp 189-198. - ISBN 978-1-4799-5798-9
[doi>10.1109/ECRTS.2014.30] (BibTeX)

RTAS '14

Danner, Daniel ; Müller, Rainer ; Schröder-Preikschat, Wolfgang ; Hofer, Wanja ; Lohmann, Daniel: Safer Sloth: Efficient, Hardware-Tailored Memory Protection. In: West, Richard (Ed.) : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '14) (IEEE Real-Time and Embedded Technology and Applications Symposium Berlin, Germany April 2014). Los Alamitos, CA, USA : IEEE Computer Society, 2014, pp 37-47. - ISBN 978-1-4799-4691-4 (BibTeX)

RTSS '12

Hofer, Wanja ; Danner, Daniel ; Müller, Rainer ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel: Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS. In: Lu, Chenyang ; Almeida, Luis (Ed.) : Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS 2012) (33rd IEEE Real-Time Systems Symposium (RTSS 2012) San Juan, Puerto Rico December 2012). Los Alamitos, CA, USA : IEEE Computer Society, 2012, pp 237-247. - ISBN 978-0-7695-4869-2
[doi>10.1109/RTSS.2012.75] (BibTeX)

RTSS '11

Hofer, Wanja ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: Sleepy Sloth: Threads as Interrupts as Threads. In: Almeida, Luis ; Brandt, Scott (Ed.) : Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS 2011) (32nd IEEE Real-Time Systems Symposium (RTSS 2011) Vienna, Austria November 2011). Los Alamitos, CA, USA : IEEE Computer Society, 2011, pp 67-77. - ISBN 978-0-7695-4591-2
[doi>10.1109/RTSS.2011.14] (BibTeX)

RTSS '09

Hofer, Wanja ; Lohmann, Daniel ; Scheler, Fabian ; Schröder-Preikschat, Wolfgang: Sloth: Threads as Interrupts. In: Baker, Theodore P. (Ed.) : Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS 2009) (30th IEEE Real-Time Systems Symposium (RTSS 2009) Washington, D.C., USA December 2009). Los Alamitos, CA, USA : IEEE Computer Society, 2009, pp 204-213. - ISBN 978-0-7695-3875-4
[doi>10.1109/RTSS.2009.18] (BibTeX)

Dependable Systems

RTAS '15

Hoffmann, Martin ; Lukas, Florian ; Dietrich, Christian ; Lohmann, Daniel: dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel. In: West, Richard (Ed.) : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '15) (21st Real-Time and Embedded Technology and Applications Symposium (RTAS '15) Seatlle, WA, USA April 2015). 2015, pp 259-270.
[doi>10.1109/RTAS.2015.7108449] (BibTeX)

ISORC '14

Hoffmann, Martin ; Borchert, Christoph ; Dietrich, Christian ; Schirmeier, Horst ; Kapitza, Rüdiger ; Spinczyk, Olaf ; Lohmann, Daniel: Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs. In: IEEE Computer Society (Ed.) : Proceedings of the 17th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '14) (IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Reno, NV, USA June 2014). 2014, pp 230-237.
[doi>10.1109/ISORC.2014.26] (BibTeX)

HASE '14

Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes. In: IEEE Computer Society (Ed.) : Proceedings of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE '14) (Symposium on High Assurance Systems Engineering Miami, FL, USA Januar 2014). 2014, pp 33-40. - ISBN 978-1-4799-3465-2
[doi>10.1109/HASE.2014.14] (BibTeX)

ISORC `11

Stilkerich, Michael ; Schedel, Jens ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel: Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems. In: Karsai, Gabor ; Polze, Andreas ; Kim, Doo-Hyun ; Steiner, Wilfried (Ed.) : Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '11) (IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Newport Beach, CA, USA March 2011). Los Alamitos, California : IEEE Computer Society, 2011, pp 163-170. - ISBN 978-0-7695-4368-0
[doi>10.1109/ISORC.2011.29] (BibTeX)

Software Engineering

FSE '14

Schultis, Klaus-Benedikt ; Elsner, Christoph ; Lohmann, Daniel: Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study. In: Cheung, Shing-Chi (Org.) : Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE 2014) (22nd International Symposium on Foundations of Software Engineering (FSE 2014) Hong Kong 11/16/2014). New York, NY, USA : ACM Press, 2014, pp 542-552. - ISBN 978-1-4503-3056-5
[doi>10.1145/2635868.2635876] (BibTeX)

GPCE '14

Ziegler, Andreas ; Heinloth, Bernhard ; Lohmann, Daniel: Automatic Feature Selection in Large-Scale System-Software Product Lines. In: Flatt, Matthew (Ed.) : Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences (13th International Conference on Generative Programming: Concepts & Experiences (GPCE '14) Västerås, Sweden Sep. 2014). New York, NY, USA : ACM Press, 2014, pp 39-48. - ISBN 978-1-4503-3161-6
[doi>10.1145/2658761.2658767] (BibTeX)

SPLC '12

Dietrich, Christian ; Tartler, Reinhard ; Schröder-Preikschat, Wolfgang ; Lohmann, Daniel: A Robust Approach for Variability Extraction from the Linux Build System. In: ACM Press (Ed.) : Proceedings of the 16th International Software Product Line Conference (16th International Software Product Line Conference Salvador - Brazil September 02 - 07, 2012). Vol. 1. New York : ACM Press, 2012, pp 21-30. - ISBN 978-1-4503-1094-9
[doi>10.1145/2362536.2362544] (BibTeX)

AOSD '11

Lohmann, Daniel ; Hofer, Wanja ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf: Aspect-Aware Operating System Development. In: Chiba, Shigeru (Ed.) : Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD 2011) (10th International Conference on Aspect-Oriented Software Development (AOSD 2011) Porto de Galinhas, Brazil March 2011). New York, NY, USA : ACM Press, 2011, pp 69-80. - ISBN 978-1-4503-0605-8
[doi>10.1145/1960275.1960285] (BibTeX)

SPLC `10

Elsner, Christoph ; Ulbrich, Peter ; Lohmann, Daniel ; Schröder-Preikschat, Wolfgang: Consistent Product Line Configuration Across File Type and Product Line Boundaries. In: Bosch, Jan ; Lee, Jaejoon (Ed.) : Proceedings of the 14th International Software Product Line Conference (SPLC 2010) (14th International Software Product Line Conference (SPLC 2010) Jeju Island, South Korea 09/13/2010). Berlin/Heidelberg, Germany : Springer, 2010, pp 181-195 --- Best Paper Award (out of 90 submitted / 28 accepted papers).
[doi>10.1007/978-3-642-15579-6_13] (BibTeX)

Knosys 20(7)

Spinczyk, Olaf ; Lohmann, Daniel: The Design and Implementation of AspectC++. In: Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software 20 (2007), No. 7, pp 636-651
[doi>10.1016/j.knosys.2007.05.004] (BibTeX)

More Papers

The complete list of my publications (including accepted but not yet published work), can be found on my separate publications page.

Teaching

Lectures

I give lectures in the fields of operating system engineering, aspect-oriented software development and software product lines construction. Details can be found on my separate lectures page [German].

Theses Supervising

Students who are interested in a topic for their thesis (Studienarbeit / Diplomarbeit) should take a look on the theses list [German].

Miscellaneous

  Imprint   Privacy Last modified: 2019-09-19 13:22   Daniel Lohmann