Reliable Software Technologies -- Ada-Europe 2006

1. Front Matter

   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

6. Reliability

   1. A Software Reliability Model Based on a Geometric Sequence of Failure Rates

      • Stefan Wagner, Helmut Fischer

      Pages 143-154

   2. Adaptive Random Testing Through Iterative Partitioning

      • T. Y. Chen, De Hao Huang, Zhi Quan Zhou

      Pages 155-166

   3. Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

      • Jingde Cheng

      Pages 167-178

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

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.

• Ada programming
• Ada programming language
• C++ programming language
• Java
• Linux
• UML
• Unified Modeling Language (UML)
• XML
• dependable computing
• distributed systems
• embedded systems
• formal methods
• middleware
• real-time system
• verification

• Polytechnic Institute of Porto, Porto, Portugal

  Luís Miguel Pinho

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

  Michael González Harbour

Policies and ethics