Ada-Europe 2003: Toulouse, France

Jean-Pierre Rosen, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings. Lecture Notes in Computer Science 2655 Springer 2003, ISBN 3-540-40376-0

Invited Papers

Pascal Leroy:
An Invitation to Ada 2005. 1-23
Mira Mezini, Klaus Ostermann:
Modules for Crosscutting Models. 24-44
Jörg Kienzle:
Software Fault Tolerance: An Overview. 45-67

Ravenscar

Peter Amey, Brian Dobbing:
High Integrity Ravenscar. 68-79
Alan Burns, Tse-Min Lin:
Adding Temporal Annotations and Associated Verification to Ravenscar Profile. 80-91
Niklas Holsti, Thomas Långbacka:
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. 92-101

Language Issues

Ehud Lamm:
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design. 102-112
Benjamin M. Brosgol, Andy J. Wellings:
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. 113-128
Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers:
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. 129-141

Static Analysis

Johann Blieberger, Bernd Burgstaller, Bernhard Scholz:
Busy Wait Analysis. 142-152
Johann Blieberger, Bernd Burgstaller:
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. 153-167
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau:
Quasar: A New Tool for Concurrent Ada Programs Analysis. 168-181

Distributed Information Systems

Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández:
A Graphical Environment for GLADE. 182-195
Mário Amado Alves, Alípio Jorge, Matthew Heaney:
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project. 196-207
Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky:
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. 208-219

Metrics

Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente:
Getting System Metrics Using POSIX Tracing Services. 220-231
William M. Evanco, June M. Verner:
Some Architectural Features of Ada Systems Affecting Defects. 232-245
Silke Kuball, Gordon Hughes:
Evidential Volume Approach for Certification. 246-257

Software Components

Christoph Grein, Dmitry A. Kazakov, Fraser Wilson:
A Survey of Physical Unit Handling Techniques in Ada. 258-270
Matthew Heaney:
Charles: A Data Structure Library for Ada95. 271-282
Xavier Franch, Jordi Marco:
A Quality Model for the Ada Standard Container Library. 283-296

Formal Specification

Tommi Mikkonen:
Experiences on Developing and Using a Tool Support for Formal Specification. 297-308
Tse-Min Lin, John A. McDermid:
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. 309-321

Real-Time Kernel

Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo:
Running Ada on Real-Time Linux. 322-333
Alan Burns, Michael González Harbour, Andy J. Wellings:
A Round Robin Scheduling Policy for Ada. 334-343
Francisco Javier Miranda González, Michael González Harbour:
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. 344-358

Testing

Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano:
A Test Environment for High Integrity Software Development. 359-267
Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Normalized Restricted Random Testing. 368-381
Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam:
Testing Safety Critical Ada Code Using Non Real Time Testing. 382-392

Real-Time Systems Design

Francis Thom:
The Standard UML-Ada Profile. 394-404
Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega:
HRT-UML: Taking HRT-HOOD onto UML. 405-416
Francisco J. Ortiz, Bárbara Álvarez, Juan A. Pastor, Pedro Sánchez:
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST. 417-428

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