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

Front Cover
Springer Science & Business Media, May 26, 2006 - Business & Economics - 240 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Hierarchical Scheduling with Ada 2005
1
A Comparison of Ada and RealTime JavaTM for SafetyCritical Applications
13
POSIX Trace Based Behavioural Reflection
27
Static Detection of Access Anomalies in Ada95
40
Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code
56
Bauhaus A Tool Suite for Program Analysis and Reverse Engineering
71
SPARK Annotations Within Executable UML
83
Runtime Verification of Java Programs for ScenarioBased Specifications
94
A Software Reliability Model Based on a Geometric Sequence of Failure Rates
143
Adaptive Random Testing Through Iterative Partitioning
155
RunTime Detection of Tasking Deadlocks in RealTime Systems with the Ada 95 Annex of RealTime Systems
167
Conversions Discriminants and C++
179
Using Mathematics to Improve Ada Compiled Code
191
How to Roll a Transaction over Failures
203
A Ravenscar Compliant Communication Protocol for HighIntegrity Distributed Systems
215
Interchangeable Scheduling Policies in RealTime Middleware for Distribution
227

Secure Execution of Computations in Untrusted Hosts
106
A Systematic Approach to Developing Safe Teleoperated Robots
119
Towards Developing Multiagent Systems in Ada
131

Other editions - View all

Common terms and phrases

Bibliographic information