Skip to main content
SpringerLink
Log in

Reliable Software Technologies -- Ada-Europe 2006

11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Luís Miguel Pinho

    1. Polytechnic Institute of Porto, Porto, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael González Harbour

    1. Departamento de Electrónica y Computadores, Universidad de Cantabria, SPAIN

    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 4006)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Ada-Europe 2006.

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 (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Real-Time Systems

    1. Hierarchical Scheduling with Ada 2005

      • José A. Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan A. de la Puente
      Pages 1-12

    2. A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications

      • Benjamin M. Brosgol, Andy Wellings
      Pages 13-26

    3. POSIX Trace Based Behavioural Reflection

      • Filipe Valpereiro, Luís Miguel Pinho
      Pages 27-39

  3. Static Analysis

    1. Static Detection of Access Anomalies in Ada95

      • Bernd Burgstaller, Johann Blieberger, Robert Mittermayr
      Pages 40-55

    2. One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code

      • Peter T. Breuer, Simon Pickin
      Pages 56-70

    3. Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering

      • Aoun Raza, Gunther Vogel, Erhard Plödereder
      Pages 71-82

  4. Verification

    1. SPARK Annotations Within Executable UML

      • Damian Curtis
      Pages 83-93

    2. Runtime Verification of Java Programs for Scenario-Based Specifications

      • Li Xuandong, Wang Linzhang, Qiu Xiaokang, Lei Bin, Yuan Jiesong, Zhao Jianhua et al.
      Pages 94-105

  5. Applications

    1. Secure Execution of Computations in Untrusted Hosts

      • S. H. K. Narayanan, M. T. Kandemir, R. R. Brooks, I. Kolcu
      Pages 106-118

    2. A Systematic Approach to Developing Safe Tele-operated Robots

      • Diego Alonso, Pedro Sánchez, Bárbara Álvarez, Juan A. Pastor
      Pages 119-130

    3. Towards Developing Multi-agent Systems in Ada

      • G. Aranda, J. Palanca, A. Espinosa, A. Terrasa, A. García-Fornes
      Pages 131-142

  7. Compilers

    1. Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

      • Javier Miranda, Edmond Schonberg
      Pages 179-190

    2. Using Mathematics to Improve Ada Compiled Code

      • Ward Douglas Maurer
      Pages 191-202

  8. Distributed Systems

    1. Replication-Aware Transactions: How to Roll a Transaction over Failures

      • Mohsen Sharifi, Hadi Salimi
      Pages 203-214

    2. The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems

      • Santiago Urueña, Juan Zamorano, Daniel Berjón, José A. Pulido, Juan A. de la Puente
      Pages 215-226

    3. Interchangeable Scheduling Policies in Real-Time Middleware for Distribution

      • Juan López Campos, J. Javier Gutiérrez, Michael González Harbour
      Pages 227-240
Back to top

Other volumes

  1. Reliable Software Technologies – Ada-Europe 2006

Keywords

About this book

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.

Editors and Affiliations

  • Polytechnic Institute of Porto, Porto, Portugal

    Luís Miguel Pinho

  • Departamento de Electrónica y Computadores, Universidad de Cantabria, SPAIN

    Michael González Harbour

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation