Reliable Software Technologies – Ada-Europe 2006

Chapter 1 Hierarchical Scheduling with Ada 2005

Chapter 2 A Comparison of Ada and Real-Time Java TM for Safety-Critical Applications

Chapter 3 POSIX Trace Based Behavioural Reflection

Chapter 4 Static Detection of Access Anomalies in Ada95

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

Chapter 6 Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering

Chapter 7 SPARK Annotations Within Executable UML

Chapter 8 Runtime Verification of Java Programs for Scenario-Based Specifications

Chapter 9 Secure Execution of Computations in Untrusted Hosts

Chapter 10 A Systematic Approach to Developing Safe Tele-operated Robots

Chapter 11 Towards Developing Multi-agent Systems in Ada

Chapter 12 Reliable Software Technologies – Ada-Europe 2006

Chapter 13 Adaptive Random Testing Through Iterative Partitioning

Chapter 14 Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

Chapter 15 Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

Chapter 16 Using Mathematics to Improve Ada Compiled Code

Chapter 17 Replication-Aware Transactions: How to Roll a Transaction over Failures

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

Chapter 19 Interchangeable Scheduling Policies in Real-Time Middleware for Distribution