Abstract is missing.
- The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 [doi]
- ILTIS - The Legacy of a Successful ProductNeville Rowden. 1-12 [doi]
- A Reference Control Architecture for Service Robots Implemented on a Climbing VehicleFrancisco J. Ortiz, Diego Alonso, Bárbara Álvarez, Juan A. Pastor. 13-24 [doi]
- An Ada Framework for QoS-Aware ApplicationsLuís Miguel Pinho, Luís Nogueira, Ricardo Barbosa. 25-38 [doi]
- Efficient Alternatives for Implementing Fixed-Priority SchedulersSergio Saez, Vicente Lorente Garcés, Silvia Terrasa, Alfons Crespo. 39-50 [doi]
- A New Strategy for the HRT-HOOD to Ada MappingMatteo Bordin, Tullio Vardanega. 51-66 [doi]
- Using the AADL to Describe Distributed Applications from Middleware to Software ComponentsThomas Vergnaud, Laurent Pautet, Fabrice Kordon. 67-78 [doi]
- Extending Ravenscar with CSP ChannelsDiyaa-Addein Atiya, Steve King. 79-90 [doi]
- Dynamic Tasks Verification with QuasarSami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau. 91-104 [doi]
- Proving Functional Equivalence for Program Slicing in SPARK™Ricky E. Sward, Leemon C. Baird III. 105-114 [doi]
- Teaching Software Engineering with Ada 95Daniel Simon, Gunther Vogel, Erhard Plödereder. 115-128 [doi]
- A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java :::TM:::Benjamin M. Brosgol. 129-143 [doi]
- Smart Certification of Mixed Criticality SystemsPeter Amey, Roderick Chapman, Neil White. 144-155 [doi]
- Non-intrusive System Level Fault-ToleranceKristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov. 156-166 [doi]
- Observing the Development of a Reliable Embedded SystemDevaraj Ayavoo, Michael J. Pont, Stephen Parker. 167-179 [doi]
- RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard EthernetJosé María Martínez, Michael González Harbour. 180-195 [doi]
- Distributing Criticality Across Ada PartitionsMiguel Masmano, Jorge Real, Alfons Crespo, Ismael Ripoll. 196-207 [doi]
- The Implementation of Ada 2005 Interface Types in the GNAT CompilerJavier Miranda, Edmond Schonberg, Gary Dismukes. 208-219 [doi]
- Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada TasksMario Aldea Rivas, Javier Miranda, Michael González Harbour. 220-235 [doi]
- The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95Patrick Rogers, Andy J. Wellings. 236-247 [doi]
- GNAT Pro for On-board Mission-Critical Space ApplicationsJosé F. Ruiz. 248-259 [doi]
- The ESA Ravenscar BenchmarkRomain Berrendonner, Jérôme Guitton. 260-271 [doi]