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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Pinho, Luís Miguel (Editor), González Harbour, Michael (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4006
• Subjects: Computer science.; Computer communication systems.; Special purpose computers.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Management information systems.; Computer Science.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Management of Computing and Information Systems.

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...

Table of Contents:

• Real-Time Systems
• Hierarchical Scheduling with Ada 2005
• A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications
• POSIX Trace Based Behavioural Reflection
• Static Analysis
• Static Detection of Access Anomalies in Ada95
• One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code
• Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering
• Verification
• SPARK Annotations Within Executable UML
• Runtime Verification of Java Programs for Scenario-Based Specifications
• Applications
• Secure Execution of Computations in Untrusted Hosts
• A Systematic Approach to Developing Safe Tele-operated Robots
• Towards Developing Multi-agent Systems in Ada
• Reliability
• A Software Reliability Model Based on a Geometric Sequence of Failure Rates
• Adaptive Random Testing Through Iterative Partitioning
• Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems
• Compilers
• Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
• Using Mathematics to Improve Ada Compiled Code
• Distributed Systems
• Replication-Aware Transactions: How to Roll a Transaction over Failures
• The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems
• Interchangeable Scheduling Policies in Real-Time Middleware for Distribution.