Invited Papers |
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson |
On Architectural Stability and Evolution / Mehdi Jazayeri |
Encapsulating Failure Detection: From Crash to Byzantine Failures / Assia Doudou ; Benoit Garbinato ; Rachid Guerraoui |
Contextware: Bridging Physical and Virtual Worlds / Alois Ferscha |
Embedded Systems |
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors / Alexander Chatzigeorgiou ; George Stephanides |
OMC-INTEGRAL Memory Management / Jose Manuel Pérez Lobato ; Eva MartÃn Lobo |
Language Issues of Compiling Ada to Hardware / Michael Ward ; Neil C. Audsley |
Case Studies |
Software Development Reengineering - An Experience Report / Adrian Hoe |
Development of a Control System for Teleoperated Robots Using UML and Ada95 / Francisco J. Ortiz ; Alejandro S. MartÃnez ; Barbara Ãlvarez ; Andres Iborra ; José M. Fernández |
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable |
Execution of Dynamically Uploaded Applications / Walter Binder ; Balazs Lichtl |
Real-Time Systems |
A POSIX-Ada Interface for Application-Defined Scheduling / Mario Aldea Rivas ; Michael González Harbour |
High-Integrity Systems |
Closing the Loop: The Influence of Code Analysis on Design / Peter Amey |
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT / Paul Parkinson ; Franco Gasperoni |
Ada Language |
How to Use GNAT to Efficiently Preprocess New Ada Sentences / Javier Miranda ; Francisco Guerra ; Ernestina Martel ; Jose MartÃn ; Alexis González |
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada / Robert Dewar ; Olivier Hainque ; Dirk Craeynest ; Philippe Waroquiers |
Adding Design by Contract to the Ada Language / Ehud Lamm |
Program Analysis |
Static Dependency Analysis for Concurrent Ada 95 Programs / Zhenqiang Chen ; Baowen Xu ; Jianjun Zhao ; Hongji Yang |
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 / Krzysztof Czarnecki ; Michael Himsolt ; Ernst Richter ; Falk Vieweg ; Alfred Rosskopf |
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study / Yuen T. Yu ; Man F. Lau |
Tools |
About the Difficulties of Building a Pretty-Printer for Ada / Sergey Rybin ; Alfred Strohmeier |
A Tailorable Distributed Programming Environment |
Distributed Systems |
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components / Julio L. Medina ; J. Javier Gutiérrez ; José M. Drake |
Transparent Environment for Replicated Ravenscar Applications / LuÃs Miguel Pinho ; Francisco Vasques |
Concurrency Control in Transactional Drago / Marta Patiño-MartÃnez ; Ricardo Jimenez-Peris ; Jörg Kienzle ; Sergio Arévalo |
Libraries, APIs, and Bindings |
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard / Agustin Espinosa Minguet ; Ana Gargia Fornes ; Alfons Crespo i Lorente |
GNAT Ada Database Development Environment / Michael Erdmann |
Object-Orientation |
Ada, Interfaces and the Listener Paradigm / Jean-Pierre Rosen |
Using Object Orientation in High Integrity Applications: A Case Study / Alejandro Alonso ; Roberto López ; Tullio Vardanega ; Juan Antonio de la Puente |
Author Index |
Invited Papers |
Embedded Systems Unsuitable for Object Orientation / Maarten Boasson |
On Architectural Stability and Evolution / Mehdi Jazayeri |
Encapsulating Failure Detection: From Crash to Byzantine Failures / Assia Doudou ; Benoit Garbinato ; Rachid Guerraoui |
Contextware: Bridging Physical and Virtual Worlds / Alois Ferscha |
Embedded Systems |