DROPS - The Dresden Real-Time Operating System Project
- Overview
- Papers and reports
- Software projects
- Download!
- Building and Using
- People behind DROPS
- Related work
- What's new
Quick links:
Papers, reports, and articles
- Recent new publications
- L4 µ-kernel and L4Linux-related publications
- DROPS µ-Kernel-based real-time systems related publications
- System-Security-related publications
- DSP-related publications
- Quality-of-Service-related publications
- Other publications
In each section, the references are sorted by age and relevance (the
most recent publications coming first). The most relevant publications
have been marked with 
.
Recent new publications
- Hamann, Reuther, Wolter, Härtig:
Quality-Assuring Scheduling
- Feske, Helmuth:
Design of the Bastei OS Architecture
- Roitzsch, Pohlack:
Principles for the Prediction of Video Decoding Times applied to MPEG-1/2 and MPEG-4 Part 2 Video
- Roitzsch:
Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding
- Roitzsch, Härtig:
Ten Years of Research on L4-Based Real-Time Systems
- Pohlack, Döbel, Lackorzynski:
Towards Runtime Monitoring in Real-Time Systems
L4 µ-kernel and L4Linux-related publications
-
F. Mehnert:
Kapselung von Standard-Betriebssystemen
(Dissertation, July 2005, Dresden, Germany)-
H. Härtig, J. Loeser, F. Mehnert, L. Reuther, M. Pohlack, A. Warg:
An I/O Architecture for Mikrokernel-Based Operating Systems
(TU Dresden technical report TUD-FI03-08, July 2003, Dresden, Germany)
\cite{haertig03:ioarch}-
M. Hohmuth:
Pragmatic nonblocking synchronization for real-time systems
(Dissertation, TU Dresden, September 2002, Dresden, Germany)
\cite{hohmuth02:pragmatic}M. Hohmuth, H. Härtig:
Pragmatic nonblocking synchronization for real-time systems
(In the proceedings of USENIX Annual Technical 2001, June 2001, Boston, MA, USA)
\cite{hohmuth01:pragmatic}-
J. Loeser, M. Hohmuth
Omega0 — a portable interface to interrupt hardware for L4 systems
(In the proceedings of the First Workshop on Common Microkernel System Platforms, December 1999, Kiawah Island, SC, USA)
\cite{loeser99:omega0} H. Härtig, M. Hohmuth, J. Wolter:
Taming Linux
(In the proceedings of PART '98)
\cite{haertig98:taming_linux} H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, J. Wolter:
The Performance of µ-Kernel-based Systems
(appeared at 16th SOSP; also in ``Wiss. Beiträge zur Informatik'', TU Dresden, Fakultät Informatik, Heft 1/1997)
\cite{sosp3} J. Liedtke, K. Elphinstone, S. Schönberg, H. Härtig, G. Heiser, N. Islam, T. Jaeger:
Achieved IPC Performance (Still The Foundation For Extensibility)
(appeared at HotOS IV)
\cite{ipcperf} H. Härtig, J. Wolter, J. Liedtke:
Flexible sized page objects
(In the proceedings of IWOOOS, Seattle, November 1996)
\cite{flexpages}-
M. Borriss, M. Hohmuth, J. Wolter, H. Härtig:
Portierung von Linux auf den µ-Kern L4
In German. (appeared at the ``Int. wiss. Kolloquium Ilmenau Sept. 1997'')
\cite{borriss97:linuxport}-
M. Hohmuth, J. Wolter:
Prinzessin auf der Erbse - Linux-Portierung auf den Mikrokern L4
In German. (appeared in iX 1/1997)-
S. Schönberg:
The L4 Microkernel on Alpha — Design and Implementation
(TU Dresden master's thesis, 1997, Dresden, Germany)-
M. Hohmuth:
Linux-Emulation auf einem Mikrokern
In German; the slides are in English. (TU Dresden master's thesis, August 1996, Dresden, Germany)
\cite{hohmuth96:l4linux}-
R. Baumgartl, M. Borriss, H. Haertig, M. Hohmuth, J. Wolter:
Linux-Portierung auf den Mikrokern L4
In German. (appeared in ``Wiss. Beiträge zur Informatik,'' TU Dresden, Fakultät Informatik, Heft 1/1996; ISSN 0863-0798)-
M. Hohmuth:
Linux Architecture-Specific Kernel Interfaces-
F. Mehnert:
Portierung des SCSI-Gerätetreibers von Linux auf L3
In German. (TU Dresden term paper, November 1996, Dresden, Germany)
\cite{mehnert96:beleg}-
R. Stange:
Systematische Übertragung von Gerätetreibern von einem monolithischen Betriebssystem auf eine mikrokernbasierte Architektur
In German. (TU Dresden master's thesis, May 1996, Dresden, Germany)
\cite{stange96:diplom}-
M. Hohmuth, S. Rudolph:
Steps Towards Porting a Unix Single Server to the L3 Microkernel
(TU Dresden term paper, April 1996, Dresden, Germany)
\cite{hohmuth96:lites-l3}-
J. Wolter:
Emulation des UNIX-Prozeßkonzepts auf dem Mikrokern L3
In German. (TU Dresden master's thesis; also technical report TUD-FI95-12, November 1995, Dresden, Germany)The following collections include papers written by non-TUD authors:
DROPS (µ-Kernel-based real-time systems related) publications
Roitzsch, Pohlack:
Principles for the Prediction of Video Decoding Times applied to MPEG-1/2 and MPEG-4 Part 2 Video
(In Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, 2006)-
Roitzsch:
Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding
(In Work-in-Progress Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, 2006)-
Roitzsch, Härtig:
Ten Years of Research on L4-Based Real-Time
(In Proceedings of the Eighth Real-Time Linux Workshop, Lanzhou, China, 2006)-
M. Pohlack, B. Döbel, A. Lackorzynski:
Towards Runtime Monitoring in Real-Time Systems
(In Proceedings of the Eighth Real-Time Linux Workshop, Lanzhou, China, 2006)U. Steinberg, J. Wolter, H. Härtig:
Fast Component Interaction for Real-Time Systems
(In Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS'05), July 2005, Palma de Mallorca, Spain)-
J. Loeser, J. Wolter:
Scheduling support for Hard Real-Time Ethernet Networking
(In Proceedings of the Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04), December 2004, Lisbon, Portugal)-
J. Loeser, H. Härtig:
Using Switched Ethernet for Hard Real-Time Communication
(In Proceedings of the International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), September 2004, Dresden, Germany)J. Loeser, H. Härtig:
Low-latency Hard Real-Time Communication over Switched Ethernet
(In Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), June 2004, Catania, Italy)
\cite{loeser04:ecrts}-
J. Loeser:
Measuring Microsecond Delays
(TU Dresden technical report TUD-FI03-16, November 2003, Dresden, Germany)-
J. Loeser:
Buffer Bounds of a FIFO Multiplexer
(TU Dresden technical report TUD-FI03-15, November 2003, Dresden, Germany)N. Feske, H. Härtig:
Demonstration of DOpE — a Window Server for Real-time and Embedded Systems
(In Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), December 2003, Cancun, Mexico)
\cite{feske03:dope}S. Schönberg:
Impact of PCI-Bus Load on Applications in a PC Architecture
(In Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), December 2003, Cancun, Mexico)
\cite{schoenberg03:pci}L. Reuther, M. Pohlack:
Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS)
(In Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), December 2003, Cancun, Mexico)
\cite{reuther03:das}-
N. Feske, H. Härtig:
DOpE — a Window Server for Real-Time and Embedded Systems
(TU Dresden technical report TUD-FI03-10, September 2003, Dresden, Germany)
\cite{dope-tr03}-
L. Reuther, M. Pohlack:
Work-in-Progress Report: Using SATF Scheduling in Real-Time Systems
(In Proceedings of the 2nd USENIX Conference on File and Storage Technologies (FAST-2003), March 2003, San Francisco, CA, USA)S. Schönberg:
Using PCI-Bus Systems in Real-Time Environments
(Dissertation, TU Dresden, September 2002, Dresden, Germany)
\cite{schoenberg02:pci_rt}F. Mehnert, M. Hohmuth, H. Härtig:
Cost and benefit of separate address spaces in real-time operating systems
(In Proceedings of the 23th IEEE Real-Time Systems Symposium (RTSS-XXIII), December 2002, Austin, TX, USA)
\cite{mehnert02:address-spaces}-
J. Loeser, H. Härtig:
Cache Influence on Worst Case Execution Time of Network Stacks
(TU Dresden technical report TUD-FI02-07, July 2002, Dresden, Germany)
\cite{loeser01:cache}-
J. Loeser, H. Härtig:
Real Time on Ethernet using off-the-shelf Hardware
(In Proceedings of the 1st Intl Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), June 2002, Vienna, Austria)
\cite{loeser02:ether}-
F. Mehnert, M. Hohmuth, S. Schönberg, H. Härtig:
RTLinux with Address Spaces
(In Proceedings of the 3rd Real-Time Linux Workshop, November 2001, Milano, Italy)
\cite{mehnert01:rtws}Cl.-J. Hamann, J. Loeser, L. Reuther, S. Schönberg, J. Wolter, H. Härtig
Quality Assuring Scheduling — Deploying Stochastic Behavior to Improve Resource Utilization
(In proceedings of the 22th IEEE Real-Time Systems Symposium (RTSS-XXII), December 2001, London, UK)
\cite{qas01}-
J. Loeser, H. Härtig, L. Reuther:
A Streaming Interface for Real-Time Interprocess Communication
(TU Dresden technical report TUD-FI01-09, August 2001, Dresden, Germany)
\cite{loeser01:dsi_tech}-
J. Loeser, H. Härtig, L. Reuther:
Position Summary: A Streaming Interface for Real-Time Interprocess Communication
(In Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), May 2001, Schloss Elmau, Bavaria, Germany)
\cite{loeser01:dsi}U. Dannowski, H. Härtig:
Policing Offloaded
(In Proceedings of the Sixth IEEE Real-Time Technology and Application Symposium (RTAS 2000), May 2000, Washington D.C, USA)
\cite{dannowski00}-
A. Haeberlen, J. Liedtke, Y. Park, L. Reuther, V. Uhlig:
Stub-code performance is becoming important.
(In Proceedings of the First Workshop on Industrial Experiences with Systems Software (WIESS), October 2000, San Diego, USA)-
L. Reuther, V. Uhlig, R. Aigner:
Component Interfaces in a Microkernel-based System
(In Proceedings of the Third Workshop on System Design Automation (SDA), March 2000, Rathen, Germany)
\cite{reuther00:component}H. Härtig, L. Reuther, J. Wolter, M. Borriss, T. Paul:
Cooperating Resource Managers
(In Proceedings of Workshop on QoS Support for Real-Time Internet Applications, June 1999, Vancouver, Canada)
\cite{rtas99}H. Härtig, R. Baumgartl, M. Borriss, Cl.-J. Hamann, M. Hohmuth, F. Mehnert, L. Reuther, S. Schönberg, J. Wolter:
DROPS — OS Support for Distributed Multimedia Applications
(In the proceedings of the Eigth ACM SIGOPS European Workshop (EW 98), September 7—10, 1998, Sintra, Portugal)
\cite{haertig98:drops}-
R. Baumgartl, M. Borriss, H. Härtig, Cl.-J. Hamann, M. Hohmuth, L. Reuther, S. Schönberg, J. Wolter:
Dresden Realtime Operating System
(In the proceedings of the Workshop of System-Designed Automation (SDA'98), March 1998, Dresden, Germany)
\cite{SDA98}J. Liedtke, H. Härtig, M. Hohmuth:
OS-Controlled Cache Predictability for Real-Time Systems
(In the proceedings of the Third IEEE Real-time Technology and Applications Symposium (RTAS'97), June 9—11, 1997, Montreal, Canada)
\cite{liedtke/haertig/hohmuth:pred}
System-Security-related publications
-
N.Feske, C. Helmuth:
Design of the Bastei OS Architecture.
(TU Dresden technical report TUD-FI06-07, December 2006, Dresden, Germany)Lenin Singaravelu (Georgia Tech), Calton Pu (Georgia Tech), Hermann Haertig (TU Dresden) and Christian Helmuth (TU Dresden):
Reducing TCB Complexity for Security-Sensitive Applications: Three Case Studies
(In proceedings of the First European Systems Conference (EuroSys 1), Leuven, Belgium, April 2006)H. Härtig, M. Hohmuth, N. Feske, C. Helmuth, A. Lackorzynski, F. Mehnert, M. Peter:
The Nizza Secure-System Architecture.
(Presented at The First International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2005), San Jose, California, USA, December 2005)N. Feske, C. Helmuth:
A Nitpicker's guide to a minimal-complexity secure GUI.
(In proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), Tucson, Arizona, USA, December 2005)
\cite{feske05:nitpicker}-
C. Helmuth, A. Warg, and N. Feske:
Mikro-SINA—Hands-on Experiences with the Nizza Security Architecture.
(In Proceedings of the D.A.CH Security 2005, Darmstadt, Germany, March 2005)
\cite{helmuth05:mikrosina}M. Hohmuth, M. Peter, H. Härtig, J. S. Shapiro:
Reducing TCB size by using untrusted components — small kernels versus virtual-machine monitors
(In the proceedings of the 11th ACM SIGOPS European Workshop (EW 2004), September 20—22, 2004, Leuven, Belgium)
\cite{hohmuth04:reducingtcb}-
N. Feske, C. Helmuth:
Overlay Window Management: User interaction with multiple security domains
(TU Dresden technical report TUD-FI04-02, March 2004, Dresden, Germany)
\cite{feske:ovl-tr}-
C. Helmuth, A. Westfeld, M. Sobirey:
µSINA - Eine mikrokernbasierte Systemarchitektur für sichere Systemkomponenten
In German. (In: Bundesamt für Sicherheit in der Informationstechnik (Hrsg.): IT-Sicherheit im verteilten Chaos, Tagungsband 8. Deutscher IT-Sicherheitskongress des BSI, S439-453, Secumedia-Verlag Ingelsheim 2003)
Best paper!
\cite{helmuth03:mikrosina}-
A. Westfeld:
Detecting Low Embedding Rates
In German. (In: Fabien A. P. Petitcolas (Hrsg.): Information Hiding. 5th International Workshop, IH 2002, Noordwijkerhout, The Netherlands, October 2002, Revised Papers, p. 324-339, LNCS 2578, Springer-Verlag Berlin Heidelberg 2003)
\cite{westfeld:ihw02}H. Härtig:
Security Architectures Revisited
(In the proceedings of the 10th ACM SIGOPS European Workshop (EW 2002), September 22—25 2002, Saint-Emilion, France
\cite{haertig02:secarch}-
A. Westfeld:
Unsichtbare Botschaften
In German. (In: c't Magazin für Computertechnik 9/2001, S. 170-181) A. Westfeld:
F5 — A Steganographic Algorithm: High Capacity Despite Better Steganalysis
(In: Ira S. Moskowitz (Hrsg.): Information Hiding. 4th International Workshop, IH'01, Pittsburgh, USA, April 2001, Proceedings, LNCS 2137, Springer-Verlag Berlin Heidelberg 2001)-
A. Westfeld:
F5 - Ein steganographischer Algorithmus: Hohe Kapazität trotz verbesserter Angriffe
In German. (In: Dirk Fox, Marit Köhntopp, Andreas Pfitzmann (Hrsg.): Verlässliche IT-Systeme 2001. Sicherheit in komplexen IT-Infrastrukturen, S. 241-255, DuD Fachbeiträge, Vieweg Braunschweig Wiesbaden 2001)-
S. Lehmann, A. Westfeld:
Kapselung ausführbarer Binärdateien.
slcaps: Implementierung von Capabilitys für Linux.
In German. (In: Dirk Fox, Marit Köhntopp, Andreas Pfitzmann (Hrsg.): Verlässliche IT-Systeme 2001. Sicherheit in komplexen IT-Infrastrukturen, S. 21-35, DuD Fachbeiträge, Vieweg Braunschweig Wiesbaden 2001)
\cite{lehmann01:slcaps} H. Härtig, L. Reuther:
Encapsulating Mobile Objects
(In the proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS), Baltimore, IEEE Computer Society Press, p. 355—362, May 1997, June 9-11, 1997 in Montreal, Canada)
\cite{icdcs97}-
L. Reuther, H. Härtig
Kapselung mobiler Programme
In German. (14. ITG/GI-Fachtagung Architektur von Rechensystemen ARCS '97 Rostock, September 1997) H. Härtig, O. Kowalski, W. Kühnhauser
The BirliX Security Architecture
(Journal of Computer Security 2, 1993, p. 5—21)M. Groß:
Vertrauenswürdiges Booten als Grundlage authentischer Basissysteme
In German. (In: Verläßliche Informationssysteme, Proceedings der GI-Fachtagung VIS'91, Darmstadt, Informatik-Fachberichte Nr. 271, Springer-Verlag, Heidelberg 1991, S. 190-207)
DSP-related publications
R. Baumgartl, H. Härtig:
DSPs as flexible Multimedia Accelerators
(In the proceedings of EDRC'98, Paris, September 1998)
\cite{BH98}R. Baumgartl, K. Stuhlemmer, H. Härtig:
Data Dependency in MPEG Audio Frame Decoding Time on a DSP Accelerator
(In the proceedings of ICSPAT'98, Toronto, September 1998)
\cite{BSH98}R. Baumgartl, H. Härtig:
Efficient communication mechanisms for DSP-based multimedia accelerators
(In the proceedings of ICSPAT'97, San Diego, September 1997)
\cite{BaHa97}R. Baumgartl, H. Härtig:
On the Integration of DSP Hardware into a Microkernel-based Operating System
(In the proceedings of ICSPAT'96, Boston, October 1996)
\cite{BaHa96}-
R. Baumgartl:
Integration von Signalprozessorhardware in ein Echtzeitbetriebssystem
In German. (TU Dresden master's thesis, November 1995, Dresden, Germany)
\cite{baumgartl95:diplom}
Quality-of-Service-related publications
-
Cl.-J. Hamann, L. Reuther, J. Wolter, H. Härtig
Quality-Assuring Scheduling
(TU Dresden technical report TUD-FI06-09, December 2006, Dresden, Germany)-
Hamann, Zschaler
Scheduling Real-Time Components Using Jitter-Constrained Streams
(In the Proceedings of 10th IEEE The Enterprise Computing Conference (EDOC) Hong Kong 2006)-
Härtig, Zschaler, Pohlack, Aigner, Göbel, Pohl, Röttger
Enforceable Component-Based Realtime Contracts - Supporting Realtime Properties from Software Development to Execution
(Realtime Systems Journal. The original publication is available at www.springerlink.com)-
Cl.-J. Hamann
Schwankungsbeschränkte Ströme
In German. (TU Dresden technical report TUD-FI05-11, August 2005, Dresden, Germany)-
R. Aigner, C. Pohl, M. Pohlack, S. Zschaler:
Tailor-Made Containers: Modeling Non-functional Middleware Service
(Will be presented at the Workshop on Models for Non-Functional Aspects of Component-Based Software (NFC'04) colocated with UML 2004, Lisbon, Portugal, October 2004
\cite{aigner04:tailormade}-
S. Göbel, C. Pohl, R. Aigner, M. Pohlack, S. Röttger, S. Zschaler:
The COMQUAD Component Container Architecture
(In Proceedings of the Fourth IEEE/IFIP Working Conference on Software Architecture (WICSA-4), Oslo, Norway, June 2004
\cite{comquad-arch-tr04}-
S. Göbel, C. Pohl, R. Aigner, M. Pohlack, S. Röttger, S. Zschaler:
The COMQUAD Component Container Architecture and Contract Negotiation
(TU Dresden technical report TUD-FI04-04, April 2004, Dresden, Germany)-
M. Pohlack, R. Aigner, H. Härtig:
Connecting Real-Time and Non-Real-Time Components
(TU Dresden technical report TUD-FI04-01, February 2004, Dresden, Germany)-
R. Aigner, M. Pohlack, S. Röttger, and S. Zschaler:
Towards Pervasive Treatment of Non-Functional Properties at Design and Run-Time
(In the Proceedings of 16th International Conference "Software & Systems Engineering and their Applications (ICSSEA 2003)", Paris, December 2003)
\cite{comquad-pervasive-03}-
S. Röttger, R. Aigner:
Modeling of Non-Functional Contracts in Component-based Systems using a Layered Architecture
(In Proceedings of Component Based Software Engineering and Modeling Non-functional Aspect (SIVOES-MONA), Workshop at UML 2002, Dresden, Germany, October 2002)
\cite{roettger02modeling}-
Cl.-J. Hamann, A. Märcz, K. Meyer-Wegener
Buffer optimization in realtime media streams using jitter-constrained periodic streams
(TU Dresden technical report, January 2001, Dresden, Germany)-
Cl.-J. Hamann, L. Reuther:
Pufferdimensionierung für schwankungsbeschränkte Ströme in DROPS
In German. (10. GI/ITG Fachtagung MMB'99, Semptember 1999, Trier, Germany)M. Borriss, H. Härtig:
Design and Implementation of a Real-Time ATM-Based Protocol Server
(Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS'98), December 1998, Madrid, Spain.)
\cite{borrissa:98}-
M. Borriss, U. Dannowski, H. Härtig:
TCP Performance over ATM on Linux and Windows NT
(Proceedings of the 1st IEEE Conference on ATM (ICATM), June 1998, Colmar, France)
\cite{borriss:98}Cl.-J. Hamann:
On the Quantitative Specification of Jitter Constrained Periodic Streams
(In the proceedings of MASCOTS' 97, Haifa (Israel) January 1997)
\cite{hamann97:jitter}-
H. Härtig et al.:
Multimediaunterstützung in Betriebssystemen
In German. (In: Wissenschaftliche Beiträge zur Informatik Fak. Informatik, TU Dresden, Heft 2/1995. February 1995)
Other publications
-
Cl.-J. Hamann:
Zum Beweis eines Satzes über ratenmonotones Scheduling
In German. (In: Wissenschaftliche Beiträge zur Informatik Fak. Informatik, TU Dresden, Heft 2/1995. February 1995)-
M. Borriss:
Simulation von Warteschlangennetzen mit BNETD
In German. (MMB Mitteilungen, November 1995)-
J. Wittenberger:
Integration flexibler Hardware (FPGA's)
In German. (TU Dresden technical report, 1995, Dresden, Germany)-
M. Schalm:
Verwaltung persistenter Daten in einem verteilten objektbasierten Betriebssystem
In German. (In: Wissenschaftliche Beiträge zur Informatik Fak. Informatik, TU Dresden, Heft 2/1995 February 1995)
Last modified: Tue Mar 06 2007, 13.51:10 CET maintained by Norman Feske