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

Invited Papers

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

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

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

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

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

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

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

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

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

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

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

Last update Fri May 24 00:00:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page