Daniel Lohmann
Friedrich-Alexander-Universität UnivisSucheEnglish FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo I4
Lehrstuhl für Informatik 4
Research
Publications
   > Selected Papers
   > All Papers
Teaching
   > Lectures
   > Theses
Miscellaneous
Contact:
EMail dl@cs.fau.de
Telefon +49.9131.8527904
Fax +49.9131.8528732

Address:
Dr.-Ing. habil. Daniel Lohmann

FAU Erlangen-Nürnberg
Informatik 4
Martensstraße 1
D-91058 Erlangen
 
Room 0.049 
 
Department Informatik  >  Informatik 4  >  Personen  >  Lohmann
Daniel Lohmann

Daniel Lohmann

Assistant Professor at the Chair of Computer Science IV (Distributed Systems and Operating Systems),
Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany.


Research

Topic: Configurable System Software

Areas of research with projects and selected publications.
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 '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

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

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 -. (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: ACM SIGSOFT (Org.) : Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE '14) (22nd International Symposium on Foundations of Software Engineering (FSE '14) Hong Kong Nov. 2014). New York, NY, USA : ACM Press, 2014, pp (accepted). (BibTeX)

GPCE '14

Ruprecht, 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

  Impressum Stand: 2014-10-17 16:39   Daniel Lohmann