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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.