 |
 |
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
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
- Engineering and implementation of software product lines
- Aspect-Oriented Software Development (AOSD)
- Generative Programming
Ongoing Projects
- danceOS: Dependability aspects in embedded Operating Systems
- Sloth: Minimal-effort kernels for embedded systems
- CiAO: Design and implementation of an aspect-oriented operating-system product line
- VAMOS: Variability Management in Operating Systems
- iRTSS: invasive Runtime Support System (SFB/TRR 89 Invasive Computing, Project C1)
- KESO: A Multi-JVM for Deeply Embedded Systems
- PLiC: Decomposition and Composition of Software Product Lines
- AspectC++: An aspect-oriented extension to the C++ programming language
Selected Publications
The following papers provides a good overview of my research and research topics:
Configurable Operating Systems
| 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)
|
|
| 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)
|
|
| 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)
|
|
Aspect-Oriented and Generative Programming
| 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)
|
|
| 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)
|
|
| GPCE '04 |
Lohmann, Daniel ; Blaschke, Georg ; Spinczyk, Olaf: Generic Advice: On the Combination of AOP with Generative Programming in AspectC++
. In: Karsai, G. ; Visser, E. (Ed.) : Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE '04) (Generative Programming and Component Engineering (GPCE '04) Vancouver, Canada October 2004). New York : Springer Verlag, 2004, pp 55-74. (Lecture Notes in Computer Science Vol. 3286) (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)
|
|
Software Product Lines
| TAOSD IV |
Urban, Matthias ; Lohmann, Daniel ; Spinczyk, Olaf: Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++
. In: Schwanninger, Christine ; Joosen, Wouter (Arr.): Transactions on Aspect-Oriented Software Development (TAOSD). Vol. VIII. Berlin : Springer, 2011, (LNCS, No. 6580), pp 141-162. [doi>10.1007/978-3-642-22031-9_5] (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)
|
|
| TAOSD II |
Lohmann, Daniel ; Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang: Lean and Efficient System Software Product Lines: Where Aspects Beat Objects
. In: Rashid, A. ; Aksit, M. (Arr.): Transactions on Aspect-Oriented Software Development. Vol. II. Berlin Heidelberg : Springer-Verlag, 2006, (Lecture Notes in Computer Science, No. 4242), pp 227-255. - ISBN 978-3-540-32972-5 [doi>10.1007/11922827_8] (BibTeX)
|
|
PhD Thesis
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
|
 |