TU Dresden Operating Systems Research Day 2004 (TUD:OS '04) Dresden (Germany), Friday, December 17, 2004, 10:30 a.m.--5:30 p.m. Saxon State and University Library (SLUB) Dresden, Lyceum (Vortragssaal) Co-located with the GI Betriebssysteme-Fachgruppentreffen Herbst 2004 (Thursday, December 16, Dresden) Dear Colleague, you are cordially invited to TUD:OS '04, the TU Dresden Operating Systems Research Day 2004. Please join us to discuss mutual interests, some of the results of our work in the recent years, and some of our future plans. Registration for TUD:OS '04 is now open and is free of charge. TUD:OS '04 features three technical sessions with talks held by members of our group as well as a number of demonstrations showing our technology at work. Each session focuses on one of our main research areas: - Microkernel-based operating systems - Secure computing - Real-time computing The complete program is attached to the end of this email. REGISTRATION AND HOTEL INFORMATION: Please register informally via email or by phone until December 10. Registration is free of charge and includes complimentary lunch on Friday. Email: <tudos-register@os.inf.tu-dresden.de> or simply reply to this email Phone: +49 351 463-38281 (Mon--Fri 9 a.m.--3 p.m.) or +49 351 463-38534 URGENT: Hotel rooms have to be booked separately. We have prereserved room blocks in two hotels UNTIL NOVEMBER 1ST. We suggest making hotel reservations early because December is one of Dresden's tourist high seasons. Please see our hotel recommendations. Dresden offers many tourist attractions, especially in December. For more information, see our sightseeing tips. Please feel free to forward this invitation to your colleagues. TUD:OS '04 Home page: http://os.inf.tu-dresden.de/tudos/ Registration: http://os.inf.tu-dresden.de/tudos/eng_register.html Program: http://os.inf.tu-dresden.de/tudos/eng_program.html Hotel information: http://os.inf.tu-dresden.de/tudos/eng_hotels.html Sightseeing tips: http://os.inf.tu-dresden.de/tudos/eng_sightseeing.html Need more information? Call us at +49 351 463-38281 or +49 351 463-38534. This message has been sent through a moderated low-traffic mailing list we have compiled from our list of existing contacts, which is used only for TUD:OS call-for-participation information. We apologize if you have received this email in error. UNSUBSCRIBE from this mailing list and never receive TUD:OS announcements again: http://os.inf.tu-dresden.de/mailman/options/tudos (or reply to this message and mention "unsubscribe" in your email) Kind regards, Prof. Hermann Härtig Dr. Michael Hohmuth TU Dresden Operating Systems Group -- Dr. Michael Hohmuth hohmuth@inf.tu-dresden.de Technische Universität Dresden http://os.inf.tu-dresden.de/tudos/ Fakultät Informatik, Betriebssysteme Tel.: +49 351 463-38281 D-01062 Dresden, GERMANY Fax: +49 351 463-38284 TUD:OS '04 - Program Saxon State and University Library (SLUB) Dresden, Lyceum (Vortragssaal) Thursday, December 16, 2004 TUD:OS '04 is co-located with the GI Betriebssysteme- Fachgruppentreffen Herbst 2004, which takes place on the day before TUD:OS '04, that is, on Thursday, December 16. This meeting's program will be available soon. Friday, December 17, 2004 Friday, 10:30 a.m. - Session 1 Microkernel-based operating systems L4Linux or Support for legacy operating systems One of the core assumptions for our work is that systems (will) run applications with different requirements on the same machine at the same time. For example, we assume that real-time and non-real-time applications will share desktops. Or, we assume that mobile phones will be used for sensible applications with higher security requirements such as bank transfers, as well as for games and other less critical applications. To support this scenario, many years ago we developed L4Linux, a user-level server that provides Linux kernel functionality with binary compatibility. Real-time and security-sensitive applications run besides L4Linux on a small core platform. An important aim is to reuse as much functionality residing in L4Linux for real-time and security-sensitive applications as possible. Another important aspect is the encapsulation of L4Linux such that real-time and security sensitive applications can run besides L4Linux. Future direction of work will concentrate on minimizing the changes needed for the Linux kernel to run and on providing a virtual-machine monitor that supports legacy operating systems as they are, without any changes. Friday, 12:00 noon - Lunch We offer complimentary lunch to all registered attendees. Friday, 2:00 p.m. - Session 2 Microkernel-based real-time computing First, we present a mathematical model, Quality-Assuring Scheduling (QAS), for admission and scheduling flexible applications that can tolerate occasional deadline misses. For that reason, resource requirements are split into a mandatory part that must be available and some optional parts which should be available at least with a certain percentage. The model uses the variations in the execution times of periodic applications. Thus, we can move away from worst-case reservations and drastically reduce the amount of reserved resources. We then show how this model is mapped to different resources. For CPU, the kernel provides reservation based scheduling. We introduce the provided reservation interfaces, the feedback mechanism used to handle error conditions, and the integration with inter-process communication (IPC). Third, the talk describes the application of QAS to the scheduling of disk requests. Disk drives impose a large variation on the execution times of disk requests, therefore real-time systems can significantly benefit from the use of statistical approaches such as QAS. The implementation of QAS has to bring in line the demand to meet the statistical guarantees with the need to optimize disk utilization. We will present our approach to solve this problem. Another focus of our real-time research is real-time networking. Our approach applies traffic shaping techniques on top of standard Switched Ethernet technology. Real-time operating system support is needed for two things: first, to ensure timeliness of the traffic shaping process within the network drivers, and second, to ensure the application-to-application delays and bandwidth guarantees within the network stacks. Using standard Fast (and Gigabit) Ethernet network equipment, we achieve sub-millisecond application-to-application latencies with nearly full network utilization. We will provide a live real-time demonstration of the application our models to file-system, network, and CPU scheduling. The demonstration will visualize approaches to deal with quality of service guarantees even in overload situations. It will also show how to leverage a split applications into real-time and non-real-time and into trusted and untrusted. Friday 3:30 p.m. - Coffee Break and Demo Session During the break, attendees have the opportunity to check out the live demonstrations of our system's real-time and security properties. Friday 4:00 p.m. - Session 3 Microkernel-based secure computing Our security subgroup focuses on the construction of dependable and secure systems based on our microkernel technology. Our main goal is enabling the creating of robust and trusted systems. Our approach is to combine software of different trust levels into one system. We split applications into untrusted and trusted components, which are encapsulated from each other. We allow using untrusted components for security-critical applications through introducing trusted wrappers. This approach allows us to keep the size and complexity of trusted components very small. In our talk, we explain and demonstrate our technology using our Mikro-SINA and NIZZA projects.