Reliable Software Technology - Ada Europe 2005: 10th Ada-europe International Conference on Reliable Software Technologies, York, Uk, June 20-24, 2005, Proceedings - Lecture Notes in Computer Science / Programming and Software Engineering

Marc Notes: Includes bibliographical references and index.; Also issued online. Table of Contents: 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 Ada95.- 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."Publisher Marketing: 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.

Contributor Bio:  Wellings, Andy Andy Wellings is a Professor of Real-Time Systems in the Computer Science Department at University of York. He is interested in most aspects of the design and implementation of real-time dependable computer systems and, in particular, real-time programming languages and operating systems. He is European Editor-in-Chief for the Computer Science journal Software-Practice and Experience and a member of the International Expert Groups currently developing extensions to the Java platform for real-time, safety critical and distributed programming. He has authored over 200 papers and several books, including Real-time Systems and Programming Languages (3rd edition) and Concurrency in Ada (2nd Edition).