Constitutes the proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. This book contains papers that are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, and distributed systems.