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

Applications

Neville Rowden:
ILTIS - The Legacy of a Successful Product. 1-12
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
Luís Miguel Pinho, Luís Nogueira, Ricardo Barbosa:
An Ada Framework for QoS-Aware Applications. 25-38

Design and Scheduling Issues

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

Formal Methods

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

Ada and Education

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

Certification and Verification

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

Distributed Systems

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

Language Issues

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

Ravenscar Technology

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

Last update Mon May 21 02:19:50 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page