Advertisement

Reliable Software Technologies — Ada-Europe’ 99

1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings

  • Michael González Harbour
  • Juan A. de la Puente
Conference proceedings Ada-Europe 1999

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1622)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Paper

  3. Ravenscar Profile and High Integrity Systems

  4. Software Architectures and Design

    1. Alfred Strohmeier
      Pages 76-90
    2. Ricardo Jiménez-Peris, M. Patiño-Martínez, F. J. Ballesteros, S. Arévalo
      Pages 91-102
  5. Testing

    1. Bruno Hémeury
      Pages 103-113
    2. Jose L. Fernández
      Pages 114-123
  6. Formal Methods

    1. Apolinar González, Alfons Crespo
      Pages 124-135
    2. J. Blieberger, B. Burgstaller, B. Scholz
      Pages 136-145
    3. Eric Bruneton, Jean-François Pradat-Peyre
      Pages 146-157
    4. F. J. García, J. L. Villarroel
      Pages 158-169
  7. Education

    1. Pierre Breguet, Luigi Zaffalon
      Pages 170-180
  8. Distributed Systems

    1. Dominique Canazzi
      Pages 187-198
    2. Laurent Pautet, Thomas Quinot, Samuel Tardieu
      Pages 211-225
    3. J. Miranda, F. Guerra, J. Martín, A. González
      Pages 226-237
    4. Johann Blieberger, Johann Klasek, Eva Kühn
      Pages 263-274
  9. Real-Time Scheduling and Kernels

    1. Jorge Real, Andy Wellings
      Pages 275-286
    2. Hongfeng Shen, Arnaud Charlet, T. P. Baker
      Pages 287-297
    3. José F. Ruiz, Jesús M. González-Barahona
      Pages 298-307
  10. Tools

  11. The Role of Ada in Hardware/Software Codesign

    1. William Fornaciari, Donatella Sciuto
      Pages 344-355
    2. Adrian López, Maite Veiga, Eugenio Villar
      Pages 356-370
  12. Fault Tolerance

    1. Jörg Kienzle, Alfred Strohmeier
      Pages 397-411
    2. Thomas Wolf, Alfred Strohmeier
      Pages 412-424
  13. Case Studies

  14. Back Matter
    Pages 451-451

About these proceedings

Introduction

The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The conference is not just devoted to the Ada language, but rather to the more general area of reliable software technologies. In this sense, there are papers on formal methods, testing, software architectures and design, software engineering tools, etc. We believe that the role of reliable software technologies is becoming increasingly important, as computer applications control more and more of our everyday systems. The goal of our conference is to contribute to advancing the state of the art of all the technologies that help us in achieving better and more reliable software at a lower overall cost.

Keywords

Ada Programming language A Scheduling design distributed systems programming programming language software architecture testing tools

Editors and affiliations

  • Michael González Harbour
    • 1
  • Juan A. de la Puente
    • 2
  1. 1.Facultad de CienciasUniversidad de CantabriaSantanderSpain
  2. 2.ETSI TelecommunicacionUniversidad Politécnica de MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48753-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66093-4
  • Online ISBN 978-3-540-48753-1
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site