CHESS Seminar: Time-Portable Programming the JAviator in Tiptoe OS

Seminar | January 13 | 4-5 p.m. | 540 Cory Hall

Speaker/Performer: Christoph Kirsch, University of Salzburg

Sponsor: CHESS

The JAviator (Java Aviator) is a high-performance quadrotor model
helicopter that is built around a high-integrity frame, which is
horizontally and vertically symmetric, and supports high payloads
through light-weight materials and advanced brushless motors. The
JAviator is 1.3m in diameter, weighs 2.2kg in total, and generates a
maximum lift of 5.4kg, which translates into a theoretical maximum
payload of 3.2kg. Without payload the maximum &64258;ight time is around
40min.

We have designed and built the JAviator completely from scratch and
use it as test platform for software projects such as Exotasks, which
we developed in collaboration with IBM Research, and Tiptoe, which is
our own prototypical real-time operating system. Exotasks are an
alternative to Java threads, and enable time-portable programming of
hard real-time applications in Java, hence the name JAviator.
Time-portable programs do not change their relevant real-time behavior
across different hardware platforms and software workloads. Tiptoe
supports even stronger forms of time portability than Exotasks, in
particular, the execution of software processes whose real-time
behavior, even including system-level aspects such as their I/O
communication and memory management, can be predicted and maintained
per process, independently of any other processes.

The talk will give an overview of the JAviator&39;s hardware and flight
performance, and then focus on the latest developments in the Tiptoe
kernel, in particular, its time-portable process model, scheduler
design, and memory management.

This is joint work with S.S. Craciunas, H. Payer, H. Roeck, A.
Sokolova, H. Stadler, and R. Trummer.

Event Contact: 510-xxx-xxxx