Ada-Europe 2005: York, UK

Tullio Vardanega, Andy J. Wellings (Eds.): 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 3555 Springer 2005, ISBN 3-540-26286-5 BibTeX

Applications

Neville Rowden:
ILTIS - The Legacy of a Successful Product. 1-12
Electronic Edition (link) BibTeX
Francisco J. Ortiz, Diego Alonso, Bárbara Álvarez, Juan A. Pastor:
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle. 13-24
Electronic Edition (link) BibTeX
Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa:
An Ada Framework for QoS-Aware Applications. 25-38
Electronic Edition (link) BibTeX

Design and Scheduling Issues

Sergio Saez, Vicent Lorente, Silvia Terrasa, Alfons Crespo:
Efficient Alternatives for Implementing Fixed-Priority Schedulers. 39-50
Electronic Edition (link) BibTeX
Matteo Bordin, Tullio Vardanega:
A New Strategy for the HRT-HOOD to Ada Mapping. 51-66
Electronic Edition (link) BibTeX
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon:
Using the AADL to Describe Distributed Applications from Middleware to Software Components. 67-78
Electronic Edition (link) BibTeX

Formal Methods

Diyaa-Addein Atiya, Steve King:
Extending Ravenscar with CSP Channels. 79-90
Electronic Edition (link) BibTeX
Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau:
Dynamic Tasks Verification with Quasar. 91-104
Electronic Edition (link) BibTeX
Ricky E. Sward, Leemon C. Baird III:
Proving Functional Equivalence for Program Slicing in SPARK™. 105-114
Electronic Edition (link) BibTeX

Ada and Education

Daniel Simon, Gunther Vogel, Erhard Plödereder:
Teaching Software Engineering with Ada 95. 115-128
Electronic Edition (link) BibTeX
Benjamin M. Brosgol:
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java ^TM. 129-143
Electronic Edition (link) BibTeX

Certification and Verification

Peter Amey, Roderick Chapman, Neil White:
Smart Certification of Mixed Criticality Systems. 144-155
Electronic Edition (link) BibTeX
Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov:
Non-intrusive System Level Fault-Tolerance. 156-166
Electronic Edition (link) BibTeX

Distributed Systems

Devaraj Ayavoo, Michael J. Pont, Stephen Parker:
Observing the Development of a Reliable Embedded System. 167-179
Electronic Edition (link) BibTeX
José María Martínez, Michael González Harbour:
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet. 180-195
Electronic Edition (link) BibTeX
Miguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll:
Distributing Criticality Across Ada Partitions. 196-207
Electronic Edition (link) BibTeX

Language Issues

Javier Miranda, Edmond Schonberg, Gary Dismukes:
The Implementation of Ada 2005 Interface Types in the GNAT Compiler. 208-219
Electronic Edition (link) BibTeX
Mario Aldea Rivas, Javier Miranda, Michael González Harbour:
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. 220-235
Electronic Edition (link) BibTeX
Patrick Rogers, Andy J. Wellings:
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95. 236-247
Electronic Edition (link) BibTeX

Ravenscar Technology

José F. Ruiz:
GNAT Pro for On-board Mission-Critical Space Applications. 248-259
Electronic Edition (link) BibTeX
Romain Berrendonner, Jérôme Guitton:
The ESA Ravenscar Benchmark. 260-271
Electronic Edition (link) BibTeX