Ada-Europe 1999: Santander, Spain

Michael González Harbour, Juan Antonio de la Puente (Eds.): Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings. Lecture Notes in Computer Science 1622 Springer 1999, ISBN 3-540-66093-3 BibTeX

@proceedings{DBLP:conf/adaEurope/1999,
  editor    = {Michael Gonz{\'a}lez Harbour and
               Juan Antonio de la Puente},
  title     = {Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe
               International Conference on Reliable Software Technologies, Santander,
               Spain, June 7-11, 1999, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1622},
  year      = {1999},
  isbn      = {3-540-66093-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

C. Douglas Locke:
An Architectual Perspective of Real-Time Ada Applications. 1-11
Electronic Edition (Springer LINK) BibTeX

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
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX
Roderick Chapman, Robert Dewar:
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT. 39-51
Electronic Edition (Springer LINK) BibTeX
Jacob Frost:
An Ada95 Solution for Certification of Embedded Safety Critical Applications. 52-63
Electronic Edition (Springer LINK) BibTeX

Software Architectures and Design

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

Testing

Bruno Hémeury:
Report on the VERA Experiment. 103-113
Electronic Edition (Springer LINK) BibTeX
José L. Fernández:
Acceptance Testing of Object Oriented Systems. 114-123
Electronic Edition (Springer LINK) BibTeX

Formal Methods

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

Education

Pierre Breguet, Luigi Zaffalon:
Railway Scale Model Simulator. 170-180
Electronic Edition (Springer LINK) BibTeX
Alexandr Korochkin:
Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraine. 181-186
Electronic Edition (Springer LINK) BibTeX

Distributed Systems

Dominique Canazzi:
yaRTI, an Ada 95 HLA Run-Time Infrastructure. 187-198
Electronic Edition (Springer LINK) BibTeX
Emilio Tuosto:
An Ada95 Implementation of a Network Coordination Language with Code Mobility. 199-210
Electronic Edition (Springer LINK) BibTeX
Laurent Pautet, Thomas Quinot, Samuel Tardieu:
CORBA & DSA: Divorce or Marriage? 211-225
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX
Helge Hagenauer:
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems. 238-249
Electronic Edition (Springer LINK) BibTeX
J. Michael Kamrad II:
An Application (Layer 7) Routing Switch with Ada95 Software. 250-262
Electronic Edition (Springer LINK) BibTeX
Johann Blieberger, Johann Klasek, eva Kühn:
Ada Binding to a Shared Object Layer. 263-274
Electronic Edition (Springer LINK) BibTeX

Real-Time Scheduling and Kernels

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

Tools

Fabrice Kordon:
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. 308-319
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX
Xavier Franch, Josep Pinyol, Joan Vancells:
Browsing a Component Library Using Non-functional Information. 332-343
Electronic Edition (Springer LINK) BibTeX

The Role of Ada in Hardware/Software Codesign

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

Fault Tolerance

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

Case Studies

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