![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ada-Europe 2005: York, UK
- Tullio Vardanega
, Andy J. Wellings:
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 Angel 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 Sáez
, 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.