Skip to main content
SpringerLink
Log in
Book cover

Reliable Software Technologies - Ada-Europe 2004

9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Albert Llamosí

    1. Department of Mathematics and Computer Science, The University of the Balearic Islands, Palma de Mallorca, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alfred Strohmeier

    1. School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: Ada-Europe 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Benefits and Problems of Formal Methods

      • Martin Gogolla
      Pages 1-15

    2. On the Role of Conceptual Schemas in Information Systems Development

      • Antoni Olivé
      Pages 16-34

    3. An Overview of Middleware

      • Steve Vinoski
      Pages 35-51

  3. Static Analysis

    1. Static Deadlock Detection in the Linux Kernel

      • Peter T. Breuer, Marisol García Valls
      Pages 52-64

    2. Extracting Ada 95 Objects from Legacy Ada Programs

      • Ricky E. Sward
      Pages 65-77

    3. On the Tree Width of Ada Programs

      • Bernd Burgstaller, Johann Blieberger, Bernhard Scholz
      Pages 78-90

  4. Distributed Systems

    1. The Chance for Ada to Support Distribution and Real-Time in Embedded Systems

      • Juan López Campos, J. Javier Gutiérrez, Michael González Harbour
      Pages 91-105

    2. PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications

      • Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
      Pages 106-119

    3. Event Language for Real-Time On-the-Fly Control According to the Initial Requirements

      • Stepan P. Nadrchal
      Pages 120-131

  5. Real-Time Systems

    1. Implementing Execution-Time Clocks for the Ada Ravenscar Profile

      • Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente
      Pages 132-143

    2. Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux

      • Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo
      Pages 144-155

    3. Supporting Deadlines and EDF Scheduling in Ada

      • Alan Burns, Andy J. Wellings, S. Tucker Taft
      Pages 156-165

  6. Reflection and XML

    1. OpenAda: Compile-Time Reflection for Ada 95

      • Patrick Rogers, Andy J. Wellings
      Pages 166-177

    2. XML4Ada95 Accessing XML Using the DOM in Ada95

      • Zdenko Vrandečić, Daniel Simon
      Pages 178-189

  7. Testing

    1. A Randomised Test Approach to Testing Safety Critical Ada Code

      • Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar
      Pages 190-199

    2. Good Random Testing

      • Kwok Ping Chan, Tsong Yueh Chen, Dave Towey
      Pages 200-212

    3. Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada

      • Bárbara Álvarez, Juan A. Pastor, Francisco Ortiz, Pedro Sánchez, Pedro Navarro
      Pages 213-224

  8. Critical Systems Modeling

    1. High Integrity Ada in a UML and C World

      • Peter Amey, Neil White
      Pages 225-236

    2. Ada Meets Giotto

      • Helge Hagenauer, Norbert Martinek, Werner Pohlmann
      Pages 237-248
Back to top

Other volumes

  1. Reliable Software Technologies - Ada-Europe 2004

Keywords

About this book

The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14–18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: – S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire – Martin Gogolla, University of Bremen, Germany Bene?ts and problems of formal methods – Antoni Oliv´ e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems’ development – Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable? Wewouldliketoexpressoursinceregratitudetothesedistinguishedspeakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di?erentcountries.

Editors and Affiliations

  • Department of Mathematics and Computer Science, The University of the Balearic Islands, Palma de Mallorca, Spain

    Albert Llamosí

  • School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland

    Alfred Strohmeier

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation