Tullio Vardanega, Andy J. Wellings
Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2005.

@proceedings{AdaEurope-2005,
	address       = "York, England, United Kingdom",
	editor        = "Tullio Vardanega and Andy J. Wellings",
	isbn          = "3-540-26286-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 3555,
	year          = 2005,
}

Contents (21 items)

8 ×#ada
2 ×#fault tolerance
2 ×#implementation
2 ×#named
2 ×#realtime
2 ×#using

AdaEurope-2005-Rowden #legacy #named

ILTIS — The Legacy of a Successful Product (NR), pp. 1–12.

AdaEurope-2005-OrtizAAP #architecture

A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle (FJO, DA, BÁ, JAP), pp. 13–24.

AdaEurope-2005-PinhoNB #ada #framework

An Ada Framework for QoS-Aware Applications (LMP, LN, RB), pp. 25–38.

AdaEurope-2005-SaezLTC #implementation #performance

Efficient Alternatives for Implementing Fixed-Priority Schedulers (SS, VLG, ST, AC), pp. 39–50.

AdaEurope-2005-BordinV #ada

A New Strategy for the HRT-HOOD to Ada Mapping (MB, TV), pp. 51–66.

AdaEurope-2005-VergnaudPK #component #distributed #middleware #using

Using the AADL to Describe Distributed Applications from Middleware to Software Components (TV, LP, FK), pp. 67–78.

AdaEurope-2005-AtiyaK #csp

Extending Ravenscar with CSP Channels (DAA, SK), pp. 79–90.

AdaEurope-2005-EvangelistaKPPR #verification

Dynamic Tasks Verification with Quasar (SE, CK, CP, JFPP, PR), pp. 91–104.

AdaEurope-2005-SwardB #equivalence #functional #proving #slicing

Proving Functional Equivalence for Program Slicing in SPARK™ (RES, LCBI), pp. 105–114.

AdaEurope-2005-SimonVP #ada #education #re-engineering

Teaching Software Engineering with Ada 95 (DS, GV, EP), pp. 115–128.

AdaEurope-2005-Brosgol #ada #comparison #java #realtime #specification

A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM (BMB), pp. 129–143.

AdaEurope-2005-AmeyCW #certification

Smart Certification of Mixed Criticality Systems (PA, RC, NW), pp. 144–155.

AdaEurope-2005-LundqvistSG #fault tolerance

Non-intrusive System Level Fault-Tolerance (KL, JS, SG), pp. 156–166.

AdaEurope-2005-AyavooPP #development #embedded #reliability

Observing the Development of a Reliable Embedded System (DA, MJP, SP), pp. 167–179.

AdaEurope-2005-MartinezH #communication #named #protocol #realtime #standard

RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.

AdaEurope-2005-MasmanoRCR #ada

Distributing Criticality Across Ada Partitions (MM, JR, AC, IR), pp. 196–207.

AdaEurope-2005-MirandaSD #ada #compilation #implementation #interface

The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.

AdaEurope-2005-RivasMH #ada #policy #scheduling

Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks (MAR, JM, MGH), pp. 220–235.

AdaEurope-2005-RogersW #ada #fault tolerance #using

The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 (PR, AJW), pp. 236–247.

AdaEurope-2005-Ruiz

GNAT Pro for On-board Mission-Critical Space Applications (JFR), pp. 248–259.

AdaEurope-2005-BerrendonnerG #benchmark #metric

The ESA Ravenscar Benchmark (RB, JG), pp. 260–271.