Reliable Software Technology Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005,

This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005.

The 21 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.