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

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Pinho, Luís Miguel (Επιμελητής έκδοσης), González Harbour, Michael (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Σειρά:Lecture Notes in Computer Science, 4006
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.