Ada-Europe 1999: Santander, Spain

Invited Papers

• C. Douglas Locke:
  An Architectual Perspective of Real-Time Ada Applications. 1-11
  

Ravenscar Profile and High Integrity Systems

• Kristina Lundqvist, Lars Asplund, Stephen Mitchell:
  A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. 12-25
  
• J. Michael Kamrad II, Barry A. Spinney:
  An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch. 26-38
  
• Roderick Chapman, Robert Dewar:
  Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT. 39-51
  
• Jacob Frost:
  An Ada95 Solution for Certification of Embedded Safety Critical Applications. 52-63
  

Software Architectures and Design

• David E. Emery:
  Architectural Frameworks: Defining the Contents of Architectural Descriptions. 64-75
  
• Alfred Strohmeier:
  Mapping Object-Oriented Designs to Ada. 76-90
  
• Ricardo Jiménez-Peris, Marta Patiño-Martínez, Francisco J. Ballesteros, Sergio Arévalo:
  Efficient and Extensible Multithreaded Remote Servers. 91-102
  

Testing

• Bruno Hémeury:
  Report on the VERA Experiment. 103-113
  
• José L. Fernández:
  Acceptance Testing of Object Oriented Systems. 114-123
  

Formal Methods

• Apolinar González, Alfons Crespo:
  Environment for the Development and Specification of Real-Time Ada Programs. 124-135
  
• Johann Blieberger, Bernd Burgstaller, Bernhard Scholz:
  Interprocedural Symbolic Evaluation of Ada Programs with Aliases. 136-145
  
• Eric Bruneton, Jean-François Pradat-Peyre:
  Automatic Verification of Concurrent Ada Programs. 146-157
  
• Francisco José García Izquierdo, José Luis Villarroel:
  Translating Time Petri Net Structures into Ada 95 Statements. 158-169
  

Education

• Pierre Breguet, Luigi Zaffalon:
  Railway Scale Model Simulator. 170-180
  
• Alexandr Korochkin:
  Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraine. 181-186
  

Distributed Systems

• Dominique Canazzi:
  yaRTI, an Ada 95 HLA Run-Time Infrastructure. 187-198
  
• Emilio Tuosto:
  An Ada95 Implementation of a Network Coordination Language with Code Mobility. 199-210
  
• Laurent Pautet, Thomas Quinot, Samuel Tardieu:
  CORBA & DSA: Divorce or Marriage? 211-225
  
• Francisco Javier Miranda González, Francisco Guerra Santana, José Martín, Alexis González:
  How to Modify the GNAT Frontend tp Experiment with Ada Extensions. 226-237
  
• Helge Hagenauer:
  On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems. 238-249
  
• J. Michael Kamrad II:
  An Application (Layer 7) Routing Switch with Ada95 Software. 250-262
  
• Johann Blieberger, Johann Klasek, eva Kühn:
  Ada Binding to a Shared Object Layer. 263-274
  

Real-Time Scheduling and Kernels

• Jorge Real, Andy J. Wellings:
  The Ceiling Protocol in Multi-moded Real-Time Systems. 275-286
  
• Hongfeng Shen, Arnaud Charlet, Theodore P. Baker:
  A ``Bare-Machine'' Implementation of Ada Multi-tasking Beneath the Linux Kernel. 287-297
  
• José F. Ruiz, Jesús M. González-Barahona:
  Implementing a New Low-Level Tasking Support for the GNAT Runtime System. 298-307
  

Tools

• Fabrice Kordon:
  MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. 308-319
  
• Thierry Millan, Myriam Lamolle, Frédéric Mulatero:
  An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence. 320-331
  
• Xavier Franch, Josep Pinyol, Joan Vancells:
  Browsing a Component Library Using Non-functional Information. 332-343
  

The Role of Ada in Hardware/Software Codesign

• William Fornaciari, Donatella Sciuto:
  HW/SW Co-design of Embedded Systems. 344-355
  
• Adrian López, Maite Veiga, Eugenio Villar:
  Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL. 356-370
  
• Jean Mermet:
  System on Chip Specification and Design Languages Standardization. 371-384
  

Fault Tolerance

• Patrick Rogers, Andy J. Wellings:
  An Incremental RecoveryCache Supporting Sotware Fault Tolerance. 385-396
  
• Jörg Kienzle, Alfred Strohmeier:
  Shared Recoverable Objects. 397-411
  
• Thomas Wolf, Alfred Strohmeier:
  Fault Tolerance by Transparent Replication for Distributed Ada 95. 412-424
  

Case Studies

• Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen:
  A Case Study in the Reuse of On-board Embedded Real-Time Software. 425-436
  
• Alfred Rosskopf:
  Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches. 437-449