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.
Author(s): José A. Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan A. de la Puente (auth.), Luís Miguel Pinho, Michael González Harbour (eds.)
Series: Lecture Notes in Computer Science 4006 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 244
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Special Purpose and Application-Based Systems; Management of Computing and Information Systems
Front Matter....Pages -
Hierarchical Scheduling with Ada 2005....Pages 1-12
A Comparison of Ada and Real-Time Java TM for Safety-Critical Applications....Pages 13-26
POSIX Trace Based Behavioural Reflection....Pages 27-39
Static Detection of Access Anomalies in Ada95....Pages 40-55
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code....Pages 56-70
Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering....Pages 71-82
SPARK Annotations Within Executable UML....Pages 83-93
Runtime Verification of Java Programs for Scenario-Based Specifications....Pages 94-105
Secure Execution of Computations in Untrusted Hosts....Pages 106-118
A Systematic Approach to Developing Safe Tele-operated Robots....Pages 119-130
Towards Developing Multi-agent Systems in Ada....Pages 131-142
A Software Reliability Model Based on a Geometric Sequence of Failure Rates....Pages 143-154
Adaptive Random Testing Through Iterative Partitioning....Pages 155-166
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems....Pages 167-178
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++....Pages 179-190
Using Mathematics to Improve Ada Compiled Code....Pages 191-202
Replication-Aware Transactions: How to Roll a Transaction over Failures....Pages 203-214
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems....Pages 215-226
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution....Pages 227-240
Back Matter....Pages -
