Applications -- ILTIS – The Legacy of a Successful Product -- A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle -- An Ada Framework for QoS-Aware Applications -- Design and Scheduling Issues -- Efficient Alternatives for Implementing Fixed-Priority Schedulers -- A New Strategy for the HRT-HOOD to Ada Mapping -- Using the AADL to Describe Distributed Applications from Middleware to Software Components -- Formal Methods -- Extending Ravenscar with CSP Channels -- Dynamic Tasks Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education -- Teaching Software Engineering with Ada 95 -- A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTM -- Certification and Verification -- Smart Certification of Mixed Criticality Systems -- Non-intrusive System Level Fault-Tolerance -- Distributed Systems -- Observing the Development of a Reliable Embedded System -- RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet -- Distributing Criticality Across Ada Partitions -- Language Issues -- The Implementation of Ada 2005 Interface Types in the GNAT Compiler -- Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks -- The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 -- Ravenscar Technology -- GNAT Pro for On-board Mission-Critical Space Applications -- The ESA Ravenscar Benchmark.