Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the ?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in?uential in shaping the Ada language and in the progress on real-time computing worldwide. This year’s conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20–24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors.
Author(s): Neville Rowden (auth.), Tullio Vardanega, Andy Wellings (eds.)
Series: Lecture Notes in Computer Science 3555 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 276
Tags: Software Engineering; Computer Communication Networks; Special Purpose and Application-Based Systems; Programming Techniques; Programming Languages, Compilers, Interpreters; Management of Computing and Information Systems
Front Matter....Pages -
ILTIS – The Legacy of a Successful Product....Pages 1-12
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle....Pages 13-24
An Ada Framework for QoS-Aware Applications....Pages 25-38
Efficient Alternatives for Implementing Fixed-Priority Schedulers....Pages 39-50
A New Strategy for the HRT-HOOD to Ada Mapping....Pages 51-66
Using the AADL to Describe Distributed Applications from Middleware to Software Components....Pages 67-78
Extending Ravenscar with CSP Channels....Pages 79-90
Dynamic Tasks Verification with Quasar ....Pages 91-104
Proving Functional Equivalence for Program Slicing in SPARK TM ....Pages 105-114
Teaching Software Engineering with Ada 95....Pages 115-128
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM ....Pages 129-143
Smart Certification of Mixed Criticality Systems....Pages 144-155
Non-intrusive System Level Fault-Tolerance....Pages 156-166
Observing the Development of a Reliable Embedded System....Pages 167-179
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet....Pages 180-195
Distributing Criticality Across Ada Partitions....Pages 196-207
The Implementation of Ada 2005 Interface Types in the GNAT Compiler....Pages 208-219
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks....Pages 220-235
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95....Pages 236-247
GNAT Pro for On-board Mission-Critical Space Applications....Pages 248-259
The ESA Ravenscar Benchmark....Pages 260-271
Back Matter....Pages -
